トップページ⇒tech
989コメント254KB

D言語 Part22

■ このスレッドは過去ログ倉庫に格納されています
0001デフォルトの名無しさん2009/06/22(月) 01:38:41
プログラミング言語 D (D Programming Language) について語るスレッドです。
過去スレ、関連スレは >>2

■前スレ
http://pc12.2ch.net/test/read.cgi/tech/1234363551/

■本家
ttp://www.digitalmars.com/d/
ttp://www.kmonos.net/alang/d/ (和訳)

■コンパイラ
http://www.digitalmars.com/d/dcompiler.html (DMD, 本家)
http://dgcc.sourceforge.net/ (GDC, gccフロントエンド)
http://www.dsource.org/projects/ldc (LDC, バックエンドにLLVM)

■参考URL
ttp://f17.aaa.livedoor.jp/~labamba/ (D言語研究)
ttp://f17.aaa.livedoor.jp/~labamba/?D%B8%C0%B8%ECBOF (D言語BOF)
ttp://dsource.org/ (dsource)
ttp://tinyurl.com/candcpp2d (C/C++に疲れた人のD言語)
ttp://www.kmonos.net/alang/wnd/ (わかったつもりになるD言語)
ttp://shinh.skr.jp/d/ (SDL, SDL_*, OpenGL, GLU, glutのポーティングとか)
ttp://shoo.s20.xrea.com/shoo/programing (D言語とTangoの入門講座)
ttp://www.nicovideo.jp/mylist/4453698　(D言語で作られた芝ゲー niconico動画)
ttp://www.asahi-net.or.jp/~cs8k-cyu/ (ABA Games)

■ IDE
ttp://dronten.googlepages.com/dscite (DSciTE)
ttp://forums.codeblocks.org/index.php?board=20.0 (Code::Blocks)
ttp://www.dprogramming.com/entice.php (Entice Designer)
ttp://www.dsource.org/projects/descent (Descent)
ttp://www.dsource.org/projects/poseidon (Poseidon)
0074デフォルトの名無しさん2009/06/30(火) 20:28:35
>>73
"〜 is now 〜"は昔と違って今は〜だってニュアンスじゃなかったっけ?
0075デフォルトの名無しさん2009/06/30(火) 22:15:44
>>68
＞ではDの場合はどうでしょう? もう聞いたことがあるかもしれません - 名前のダジャレがやり過ぎな言語。
＞他の言語の専用ニュースグループでときどき話題になり、オフトピックな話題に厳しい人達が怒って止めさせるまで鬱陶しい。
＞友人に熱狂的なファンがいる。
＞あるいは単に、暇潰しに「この広いインターネットには、Dという名前の言語を作った馬鹿がいるに違いない」
＞と検索してみた結果、「ああ、やっぱりいた!」
噴いたｗｗｗｗｗ
0076デフォルトの名無しさん2009/07/01(水) 00:10:00
>>68
ところどころわかりにくいんだけど面白えｗ
アレキサンドレスクD好きすぎる。訳の人gjです。
0077デフォルトの名無しさん2009/07/01(水) 16:19:47
>>74 そうだよ
0078デフォルトの名無しさん2009/07/01(水) 17:05:37
>>68
これはおもしろい
0079デフォルトの名無しさん2009/07/01(水) 18:42:08
>>68 読んだら、D2へ移行したくなってきた。
0080デフォルトの名無しさん2009/07/02(木) 17:24:20
>>65
bugzillaに報告するといいよ
0081デフォルトの名無しさん2009/07/03(金) 05:53:57
alias Variant dynamic;
0082デフォルトの名無しさん2009/07/03(金) 13:46:49
ところでメソッドからdelegateを取ったときにref返値の情報が消えちゃって左辺にできないんだけどどうすればいいの？
0083デフォルトの名無しさん2009/07/03(金) 14:07:12
ほんとだな。

int x;
class C {
static ref int f() { return x; }
ref int g() { return x; }
}

void main() {
(&C.f)() = 0; // ok
(&(new C).g)() = 0; // error
}
0084デフォルトの名無しさん2009/07/03(金) 14:55:24
return書くの秋田
0085デフォルトの名無しさん2009/07/03(金) 15:39:53
C#のアロー記法みたいなのほしいよなあ。
0086デフォルトの名無しさん2009/07/03(金) 15:54:18
int delegate(int) dg = x \ x * 2; // == (int x){return x*2;}
int k = dg(1);
assert(k == 2);
こうなる予定だったよね？
0087デフォルトの名無しさん2009/07/03(金) 16:01:00
>>83 うまく英語で説明できないから誰か報告してみてちょー
0088デフォルトの名無しさん2009/07/03(金) 16:22:26
>>86
それなんかきもいな。
バックスラッシュはλの代わりだから前に書きたい。

> auto square = \x => x * 2;
>
> auto i = square(2); // typeof(i) == int
> auto d = square(2.5); // typeof(d) == double


強い静的型付き言語だけど、ソースコード上に型を書かなくていいような言語が使いたい。
0089デフォルトの名無しさん2009/07/03(金) 16:28:49
円マークがすごく悲しい構文です
0090デフォルトの名無しさん2009/07/03(金) 16:31:17
>>88
OCaml
型推論で80%の型名を書かなくていいネイティブ吐ける関数型言語
0091デフォルトの名無しさん2009/07/03(金) 16:37:04
Dは全然知らないのですが
アセンブラレベルでの呼び出し規約は
デフォルトで何を使ってるんですか？
ちょっと興味があったもので
0092デフォルトの名無しさん2009/07/03(金) 16:49:30
>>88
本質的じゃないが、それsquareじゃないだろ
0093デフォルトの名無しさん2009/07/03(金) 16:51:13
>>91
http://www.kmonos.net/alang/d/2.0/abi.html
0094デフォルトの名無しさん2009/07/03(金) 16:56:47
デリゲートのジェネリック化はできてほしいねえ
0095デフォルトの名無しさん2009/07/03(金) 17:02:29
>>93
ありがとう
完全に独自なのか

型情報をマングリングしたり
関数側でスタックを処理するのに
可変引数がサポートされたりしてて面白い
0096デフォルトの名無しさん2009/07/04(土) 13:49:54
class A {
　const(A) a;

}
0097デフォルトの名無しさん2009/07/04(土) 13:51:41
うわ途中投稿したorz

class A {
　const(B) b;
　void setB(in B b) {
　　this.b = b; // 駄目
　}
}
constな型とconstな変数が区別されてないのってなんでだろ？
このsetAみたいな事やろうとして八方塞りになった
0098972009/07/04(土) 13:52:28
○setB
×setA

慌てすぎで死んだ
0099デフォルトの名無しさん2009/07/04(土) 14:13:25
Rebindable
0100デフォルトの名無しさん2009/07/04(土) 14:20:15
>>97
クラス型が参照型（要するにポインタ）であることを考えれば、別に何もおかしいことではないと思う。

struct S { }
class A {
　const(S*) b;
　void setB(const S* b) {
　　this.b = b; // 駄目
　}
}

これに対する解決法は>>99だけど、言語のほうで何とかしてほしいのはたしか。

それと、これはまだ実装されてないけど、inはscopeを含むので、
in引数の内容をスコープ外にコピーすることはできない。
0101デフォルトの名無しさん2009/07/04(土) 14:38:06
>>97
最近同じポイントではまりました。

>>99 >>100
AとRebindable!(A)はisによる同一性比較が出来ないのが欠点。
なんでDはC++みたいに参照と値を分離しなかったのか…
0102デフォルトの名無しさん2009/07/04(土) 14:48:59
>>99-100
あーなるほど、なるほどなぁ
とりあえずは解決しそうです。ありがとうございました。

解決はするけど、確かにもうちょっとスマートになってほしいな
0103デフォルトの名無しさん2009/07/04(土) 20:32:31
Rebindableって参照がnullかどうか調べられないのか
0104デフォルトの名無しさん2009/07/04(土) 21:02:48
>>103

import std.typecons;
class A{}
void main()
{
Rebindable!(const(A)) a = new A();
// if( !a ){
// if( a is null ){
if( a.opDot is null ){
}
}
Rebindableそのものはstructなので!やis nullで直接調べられない
opDotでconst(A)を取り出さないとダメ
0105デフォルトの名無しさん2009/07/04(土) 21:28:57
>>104
そうか、opDotを直接呼べばいいのか
getがprivateだどうすんべとか言って悩んでたthx
0106デフォルトの名無しさん2009/07/05(日) 00:53:57
const関係の話は俺の貧弱な脳には意味不
0107デフォルトの名無しさん2009/07/05(日) 01:15:20
ｳｫﾙたんも混乱してる悪寒
0108デフォルトの名無しさん2009/07/05(日) 03:09:28
>>104 そんなんあったんだな
0109デフォルトの名無しさん2009/07/05(日) 08:03:21
ポインタでさしてたものがガベコレでずれるとか。
0110デフォルトの名無しさん2009/07/05(日) 10:47:44
Dで実装されたパーサジェネレータってある？
0111デフォルトの名無しさん2009/07/05(日) 13:13:44
http://prowiki.org/wiki4d/wiki.cgi?GrammarParsers
0112デフォルトの名無しさん2009/07/05(日) 15:41:31
export template
0113デフォルトの名無しさん2009/07/05(日) 15:41:57
>>111
ありがとう。でも、最新版のD2でコンパイル通るものはなかった
0114デフォルトの名無しさん2009/07/05(日) 19:57:03
D2に対応してるライブラリは少ないよ
規模が小さいものに手を入れるといいかと
0115デフォルトの名無しさん2009/07/05(日) 22:29:11
Tangoのおかげで未だD1にしがみついているのが多いんだよなー
0116デフォルトの名無しさん2009/07/05(日) 22:50:49
DWT放置プレイいつ終わるの？
0117デフォルトの名無しさん2009/07/05(日) 23:54:23
>>115
http://dsource.org/projects/tango/browser/branches/experimental/D2.0
0118デフォルトの名無しさん2009/07/06(月) 00:11:31
さっさとD2.0の仕様が固定されないとTangoも2.0に対応しないだろうよ…
branches/experimental/D2.0は何カ月も前からコンパイルできなかったと思うし
0119デフォルトの名無しさん2009/07/06(月) 14:21:27
http://www.digitalmars.com/d/2.0/changelog.html#new2_031
0120デフォルトの名無しさん2009/07/06(月) 15:42:12
case '1': .. case '9':

　＿＿＿
/　||￣￣||　∧＿∧
|.....||＿＿|| （ 　　　 ）　　どうしてこうなった・・・
|￣￣＼三⊂/￣￣￣/
|　　　　|　( ./　　　　 /
　＿＿＿
/　||￣￣||　∧＿∧
|.....||＿＿|| （ ＾ω＾ ）　　どうしてこうなった！？
|￣￣＼三⊂/￣￣￣/
|　　　　|　( ./　　　　 /

　＿＿＿ ♪　∧__,∧.∩
/　||￣￣||　ｒ（ ＾ω＾ ）ﾉ　　どうしてこうなった！
|.....||＿＿|| └‐、　　　ﾚ´｀ヽ　　　どうしてこうなった！
|￣￣＼三　 /￣￣￣/ノ´｀　♪
|　　　　|　( ./　　　　 /

　＿＿＿ 　　　　　　　♪　　∩∧__,∧
/　||￣￣||　　　　　　　　　_ ヽ（ ＾ω＾ ）7　　どうしてこうなった！
|.....||＿＿|| 　　　　　　　　/｀ヽJ　　　,‐┘　　　どうしてこうなった！　
|￣￣＼三　 /￣￣￣/ 　´｀ヽ､_　 ノ　　　　
|　　　　|　( ./　　　　 / 　　　　　｀) ）　♪
0121デフォルトの名無しさん2009/07/06(月) 16:10:31
だからa..bをRangeExpressionとしろとあれほど(ry
んで後ろを含む..=とか、前後の上下をはっきりさせた.<や.<=や.>や.>=を導入すれば良かっただろうに
0122デフォルトの名無しさん2009/07/06(月) 18:48:48
enum!!
0123デフォルトの名無しさん2009/07/06(月) 19:19:46
えーと。
D 2.031
・ルートを\dmdから\dmd2に
・with文でローカルのシンボルと重複すると隠すのでエラー
・final switch(expr)
・case 1: .. case 5:
・暗黙の整数変換で符号ビットが落ちる変換はエラー
・return exp;がないのは警告じゃなくてエラー
・dmdの吐くエラーはstderrに出すように
・フロントエンド高速化のパッチ
・std.algorithm : swapの高速化、あといくつか追加
・std.array : 関数追加
・std.conv : enum値を表示/解析するコードを追加
・std.ctype : isupperとtolowerをpureに
・std.date : benchmarkの返値をuint[]からulong[]に
・std.demangle : switchとcaseの新文法に対応して変更
・std.random : randomSample追加
・std.string : find系をdeprecatedに。starstWith、endsWithを削除
・std.traits : isSomeChar と isPointer追加
・std.typetuple : indexOfをindexOfTypeに。前の名前はaliasで残してdeprecated
・std.utf : エラーメッセージ改善
0124デフォルトの名無しさん2009/07/06(月) 19:33:14
>>123
final switchは「全条件について書く」、defaultなし、CaseRangeなし、enumを受ける場合enum全条件のcase強制、か。

以前に「gotoの行き先のラベルのアドレスが欲しい」という話があったが、
final switchだとほぼ同等のことができるな。defaultがないからほぼO(1)のルーチンに最適化可能のはず。
0125デフォルトの名無しさん2009/07/06(月) 19:56:04
case 1 .. 9:

ではいけない理由がわからないんだけど誰か教えて
0126デフォルトの名無しさん2009/07/06(月) 20:22:45
>>125 それでいいよなあ
何とかしてよドラえもん
0127デフォルトの名無しさん2009/07/06(月) 21:52:19
>>125
case 1 .. 9:
だとスライスの連想から、1<=x<9のような感じがするが、
case 1: .. case 9:
だと、いかにも9を含みそうな感じがする。

という説明がNGでなされている。
0128デフォルトの名無しさん2009/07/06(月) 21:59:01
ちなみにこの構文はandreiの発案。まじきもい
0129デフォルトの名無しさん2009/07/06(月) 22:06:36
ぶっちゃけ、case 1..9: でも、case 1: .. case 9: でも、どうせ使わないからどうでもいいとか言ってみる。
0130デフォルトの名無しさん2009/07/06(月) 22:23:56
>(fainal switchの)The case expressions cannot evaluate to a run time initialized value.
と言うことは、普通の switch 文なら case j: とか…

…できるじゃあないかッ！いつからこんなことが？
0131デフォルトの名無しさん2009/07/06(月) 22:31:32
andreiか
andreiじゃあしょうがないな
0132デフォルトの名無しさん2009/07/06(月) 22:33:08
昨年の4月から
0133デフォルトの名無しさん2009/07/06(月) 22:42:54
>>130
結構前から出来たと想うけど
0134デフォルトの名無しさん2009/07/06(月) 22:44:55
>>124
ラベルのアドレスならcaseの中から直接次のcaseへジャンプするように
書けるから同等ではないかと。それでもO(1) switchはかなりうれしいけど。
0135デフォルトの名無しさん2009/07/06(月) 22:48:06
switch-case-break自体がキモいのをどうにかしてほしかった
fallthroughなんかgoto caseがあればいいじゃないか…
0136デフォルトの名無しさん2009/07/06(月) 23:28:40
>>127
1<=x<=9のような感じを出したいならcase 1..=9:とすりゃいいのに
0137デフォルトの名無しさん2009/07/06(月) 23:33:46
>>135
C言語だとfall throughは結構使われる…が、確かにD言語だとcaseに複数指定可能でgoto caseがあるから無くした方が良い気もするな。
まぁC言語使いが混乱しないようにfall through禁止の上でbreak必須にするという所が現実的な気がする。
0138デフォルトの名無しさん2009/07/06(月) 23:37:08
ngでもugly ugly言われててワロタｗ
0139デフォルトの名無しさん2009/07/06(月) 23:52:29
もうswitch-caseを捨ててselect-caseを新設しようぜ
fall throughなしでbreakなしにするんだ
select(n)｛
case 0,　1,　2:
case 3 .. 5: // 3,4
case 5 ... 7: // 5,6,7
default:
｝
0140デフォルトの名無しさん2009/07/06(月) 23:58:58
>>139
case is構文の新設ですね、分かります。
0141デフォルトの名無しさん2009/07/07(火) 00:06:56
>>140 どゆこと？
0142デフォルトの名無しさん2009/07/07(火) 00:18:31
>>141
ヒント: http://www.geocities.jp/cbc_vbnet/kisuhen/bunki.html#selectbun
0143デフォルトの名無しさん2009/07/07(火) 02:00:53
>>142 VBはselect-caseなのか
0144デフォルトの名無しさん2009/07/07(火) 03:10:33
case-whenでもcondでもなんでもいい
0145デフォルトの名無しさん2009/07/07(火) 09:50:47
>>139
それでいいよ
0146デフォルトの名無しさん2009/07/07(火) 10:58:26
a..bでbを含まなくてa...bでbを含むってのはどこの言語がもとだっけ？
0147デフォルトの名無しさん2009/07/07(火) 11:01:12
rubyは逆で..で含む、...で含まないだからかなり分かりづらい
0148デフォルトの名無しさん2009/07/07(火) 11:46:31
今から..の意味を変えるのとどっちがわかりにくいかって話だな
0149デフォルトの名無しさん2009/07/07(火) 11:59:12
>>136のがいいんじゃね？
0150デフォルトの名無しさん2009/07/07(火) 12:00:44
...の方がより遠くを指しているように見えるから
a...bでbを含むでいいんじゃね？
別の言語と異なってもいいだろ別に
0151デフォルトの名無しさん2009/07/07(火) 12:03:55
CaseRangeに賛成意見述べてるのって、アンドレイとウォルたんだけなんだけど。
0152デフォルトの名無しさん2009/07/07(火) 12:12:07
>>151 テラカワイソスｗｗｗ
しかし引かぬ媚びぬ
0153デフォルトの名無しさん2009/07/07(火) 12:20:27
アンドレイ「おまえらはこの構文の美しさがわからんのか。少なくとも俺はuglyとはおもわねえ！」
その他「いや、俺は汚いと思うね」

ウォルター「スライスの..は末尾を含んで、CaseRangeの..は末尾を含まないから、混乱を避けるために全く別の構文にする必要がある」
その他「だから別の演算子導入すればいいって言ってるだろ！」

こういう応酬が延々と繰り広げられてるんだが…
0154デフォルトの名無しさん2009/07/07(火) 12:53:32
さすがにコレは嫌すぎるなあ…ｗ
なので英語圏の皆さんには頑張っていただきたい
0155デフォルトの名無しさん2009/07/07(火) 15:25:36
case '0':
..
case '9':
と複数行にすれば案外いけるかもしれん
0156デフォルトの名無しさん2009/07/07(火) 16:13:55
>>155
お前天才だろ…それならいけるわ。
0157デフォルトの名無しさん2009/07/07(火) 16:24:18
それよりそろそろ見慣れてきた俺ガイル
0158デフォルトの名無しさん2009/07/07(火) 16:42:24
一行に単独で..が現れたときは上下の行で異なっているところを変化させながら反復するマクロにしようぜ！

f!(0);
..
f!(9);

mixin("int a;");
..
mixin("int z;");
0159デフォルトの名無しさん2009/07/07(火) 16:43:37
かっけええええｗｗｗｗｗｗｗｗｗｗ
0160デフォルトの名無しさん2009/07/07(火) 16:45:39
>>158
それなら、mixinとか使わなくて、

int a;
..
int z;

でいいだろ…
0161デフォルトの名無しさん2009/07/07(火) 17:07:17
for文いらねー
writeln(1);
..
writeln(100000);
0162デフォルトの名無しさん2009/07/07(火) 17:09:01
writeln(i+0);
..
writeln(i+100000);
0163デフォルトの名無しさん2009/07/07(火) 17:35:16
goto caseなんかあったのか
0164デフォルトの名無しさん2009/07/08(水) 14:36:38
DMD2系+Eclipse+Descentで使おうと思っています。

googleで調べながら一通りインストールしてサンプルをビルドしようとしたら
「'DMDの起動'に問題が発生しました。Variable references empty selection: ${project_loc}」
というエラーが出てしまいます。

作業ディレクトリーが${project_loc}
引数が${resource_loc} -g
という設定にしているんですが、どうもここがまずそうです。
どういう設定にすればいいのでしょうか？
0165デフォルトの名無しさん2009/07/08(水) 15:23:47
エディター部分にフォーカスが無いとか?
0166デフォルトの名無しさん2009/07/08(水) 17:24:00
>>165
レスthx
プロジェクト・エクスプローラーでtest.dを選択した状態でビルドしたらうまくいきました。

ついでといってはなんですが、
ビルドしたサンプルは
ttp://www.kmonos.net/alang/d/2.0/wc.html
なんですけど、74行目でコンパイルエラーが発生してしまいます(Error: buf[0] isn't mutable)。
サンプルが間違っているんですかね？
0167デフォルトの名無しさん2009/07/08(水) 17:33:57
wcのサンプルってだいぶ古くないか・・・？
更新のたびにいちいち修正されてるのか？それならすごいけど・・・
0168デフォルトの名無しさん2009/07/08(水) 17:56:55
>>167
samplesディレクトリのは更新されてない。たぶんコンパイルとおらんだろう。
ドキュメントに書いてあるのは修正されてる。
0169デフォルトの名無しさん2009/07/08(水) 20:49:35
それはともかく>>166のは
サンプルがD2なのにstringの中身を変更してるだけかな？
0170デフォルトの名無しさん2009/07/08(水) 21:16:59
そこ直したらコンパイルは出来た
bufにstringはない罠
0171デフォルトの名無しさん2009/07/08(水) 21:39:46
>>167-170
thx
古い仕様のコードなんですね。
0172デフォルトの名無しさん2009/07/08(水) 22:46:30
サンプルは一度刷新されたはずだが、何年前だったかな。って世界。
0173デフォルトの名無しさん2009/07/08(水) 23:07:55
お薦めのIDEってなんですか？
0174デフォルトの名無しさん2009/07/09(木) 12:05:31
is(typeof(...)) ってのに新しいキーワード割り当てて欲しいなあ
■ このスレッドは過去ログ倉庫に格納されています