トップページ⇒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)
0243デフォルトの名無しさん2009/07/16(木) 23:42:39
こんな感じか

void reserve(T)(T[] a, size_t reserve_len)
in {
  assert(a.length<len);
}
body {
  auto len = arr.length;
  arr.length = reserve_len;
  arr.length = len;
}
0244デフォルトの名無しさん2009/07/16(木) 23:46:49
assertで止まられても・・・
0245デフォルトの名無しさん2009/07/16(木) 23:48:25
>>242
たしかにチェックしないとだめだった。
英語できないのでどなたかお願いしますorz
0246デフォルトの名無しさん2009/07/17(金) 00:10:36
Dでは配列のopCatは常にコピーを作るから、配列をreserveすることに何も意味がない
大きい配列を割り当てて、それのスライスを使えばいいだけ
0247デフォルトの名無しさん2009/07/17(金) 00:19:23
>237
gdbでデバッグできる
0248デフォルトの名無しさん2009/07/17(金) 00:25:20
>>246
大きい配列のサイズを1000として、それのスライスのサイズが1000を超えた時、
配列が２つアロケートされたままになるのが気持ち悪くない？
ガベコレがある言語では気にする意味なし？
0249デフォルトの名無しさん2009/07/17(金) 00:39:26
vectorみたいなものを作ったけど、vector!(int)とか書くのが不便で
自分でも全然使ってない。ユーザー定義リテラルキボンヌ
0250デフォルトの名無しさん2009/07/17(金) 00:50:29
ユーザー定義リテラルはやめといたほうが
0251デフォルトの名無しさん2009/07/17(金) 00:51:35
ユーザー定義リテラルはコンパイルが遅くなる原因だからな
0252デフォルトの名無しさん2009/07/17(金) 01:00:29
vector!intで通らない？
0253デフォルトの名無しさん2009/07/17(金) 01:27:36
std::vector<int>と変わらないだろ
autoもあるんだし
0254デフォルトの名無しさん2009/07/17(金) 02:29:09
vectorは組み込み配列で概ね代替可能だから、あとはdequeとlistとsetがほしい…
DTLってThe Case For Dをみてると最大限Dを活かすための、ぼくのかんがえたさいきょうのコンテナライブラリを構想してる段階な感じなのかな？
0255デフォルトの名無しさん2009/07/17(金) 02:43:12
Dって速い?
0256デフォルトの名無しさん2009/07/17(金) 03:01:03
速いよ、ビルドが
実行速度はC++よりちょい遅いくらい
0257デフォルトの名無しさん2009/07/17(金) 03:18:04
関数の引数につけるin,out,refってクラスにつけても意味ないですか？
あとconstはC++の感覚で、つけられるところは全てつけていくべきですかね？
0258デフォルトの名無しさん2009/07/17(金) 03:28:10
>>257
クラス型でもinをつければconstと同じ意味があるし、outやrefは参照変数になる。
constやimmutableは積極的につけるべき。
0259デフォルトの名無しさん2009/07/17(金) 03:34:08
in, out, refは意味論としてそうあるべき引数にそう付ければいい
ほとんどinになるけど。
推移的constなのでモリモリとconstを書く必要はないが、逆にそれが嫌という例もある
むしろpure, nothrowの方が重要
0260デフォルトの名無しさん2009/07/17(金) 04:16:39
>>258-259
レスｔｈｘ
C++でconst参照で受け取ってた部分は、Dではinにすればいいんですね。
pureとnothrowも意識してみます。
0261デフォルトの名無しさん2009/07/17(金) 04:39:43
const参照はconst ref
0262デフォルトの名無しさん2009/07/17(金) 05:23:52
Rangeを表す構造体やクラスに対する foreach
ってあるけどさ、これってそのうちpopFrontとかfrontってのに書き変わるのかな？
現状Phobosの中のRangeのそれと食い違ってて混乱の元になる気がするのだけど。
0263デフォルトの名無しさん2009/07/17(金) 05:24:58
>>262
それはドキュメントが更新されてないだけ。
実装はfront/popFront/emptyになってる。
0264デフォルトの名無しさん2009/07/17(金) 05:44:38
>>263そうだったのか。ｔｈｘ
0265デフォルトの名無しさん2009/07/17(金) 11:56:16
>>261
Dのクラスは常に参照だからinでconst参照と思ったんですが、違いがあるんですか？
構造体の場合に違うのかな。
C++から移行したものにはガベコレが難しい。
0266デフォルトの名無しさん2009/07/17(金) 13:12:27
inだと参照の値渡し。refだと参照の参照渡しになる。
参照型の参照と参照渡しの参照は若干意味が違う。
0267デフォルトの名無しさん2009/07/17(金) 15:48:48
>>266
なるほど、const refとすると推移的constによって、クラスの非constメンバにアクセスできなくなるって事ですね。
でも、in MyClassで全て間に合う気がしてしまいます。
const ref MyClassとする事によって役に立つケースはどんなものがありますか？
0268デフォルトの名無しさん2009/07/17(金) 17:09:23
Dの標準ライブラリにほかのプロセスを起動したりパイプで繋いで入出力するものありますか？
0269デフォルトの名無しさん2009/07/17(金) 18:19:21
>>267
ref引数にはlvalueの参照を渡すわけだから、変数を書き換えられるようになるわけですよ
0270デフォルトの名無しさん2009/07/18(土) 19:37:43
いつの間にcore.sync.*が追加された…？
でもまだドキュメント化されてない…？
0271デフォルトの名無しさん2009/07/18(土) 20:09:38
そう簡単にドキュメント化されるものか
ドキュメントはあるのにどこにもリンクが無いstd.perfさんの立場も考えろよ
0272デフォルトの名無しさん2009/07/18(土) 20:14:31
std.perfはstd.date.benchmarkのせいで要らない子扱いになってた気が
0273デフォルトの名無しさん2009/07/18(土) 20:31:29
benchmarkは流れの中にある一部の処理を測りたい時とかに不便な気が
というかなんでstd.dateの中にあんの？
0274デフォルトの名無しさん2009/07/18(土) 20:40:56
>>271
正直スマンかった…
まぁ、core.sync.*はTangoのそれと同じみたいだからそれ見ればいい話か…
0275デフォルトの名無しさん2009/07/18(土) 21:29:46
tangoとの統合の一環なのな
0276デフォルトの名無しさん2009/07/19(日) 00:44:44
でstd.inbufferどこいったのよ・・・
0277デフォルトの名無しさん2009/07/19(日) 02:06:40
>>276
俺も気になってた。
1.0系、2.0系どっちの更新履歴にも名前すら出てこない。
0278デフォルトの名無しさん2009/07/19(日) 03:44:48
>>277
古いのを何個か落として確認してみたけど、なかったよ。
OutBufferのドキュメントにInBufferの名前があるだけ。
0279デフォルトの名無しさん2009/07/19(日) 11:30:32
不変条件があるとrefメンバ関数使えない？
class A{
int a;
invariant(){}
ref int fn(){
return a;
}
}
0280デフォルトの名無しさん2009/07/19(日) 11:35:28
バグ
0281デフォルトの名無しさん2009/07/19(日) 13:22:35
invariant()の中でメソッド呼び出すと無限再帰になるの何とかしてほしい
0282デフォルトの名無しさん2009/07/19(日) 13:51:13
参照カウンタ方式のクラスが欲しい
システムプログラミング言語だったら、プログラマの意図したときに解放させたいと思うときがあるはず
0283デフォルトの名無しさん2009/07/19(日) 14:40:32
構造体のctor/dtor/postblit使えば簡単にかける
0284デフォルトの名無しさん2009/07/19(日) 15:34:48
書けることは書けるんだが、
sharedRef!(A) a = sharedRef!(A)(new A);
とかやんないといけないからメンドイのです
0285デフォルトの名無しさん2009/07/19(日) 15:38:22
auto a = sref(new A);
とかまでならできるんじゃないか？ヘルプ関数使えば。
0286デフォルトの名無しさん2009/07/19(日) 15:54:42
Dに慣れてautoから離れられない体になってしまいました
0287デフォルトの名無しさん2009/07/19(日) 16:09:19
近代C系文法はみんな備えるようになってないか？autoは。
0288デフォルトの名無しさん2009/07/19(日) 16:24:29
aliasで短縮するだけでもだいぶ違う。
0289デフォルトの名無しさん2009/07/19(日) 18:19:46
>>282-284
標準に欲しいものは作ってnews groupに投稿したらいいんだよ
0290デフォルトの名無しさん2009/07/19(日) 18:23:22
っていうかscopeをクラスメンバで使わせてほしい
0291デフォルトの名無しさん2009/07/22(水) 15:09:03
なんでref変数ないの？
嫌がらせ？
0292デフォルトの名無しさん2009/07/22(水) 15:45:11
焦らしプレイです
0293デフォルトの名無しさん2009/07/22(水) 19:29:05
FiberいつのまにPhobosにきたの！！！！！！？？！？
0294デフォルトの名無しさん2009/07/22(水) 21:03:54
>>293 去年にはもうあったよ
0295デフォルトの名無しさん2009/07/23(木) 00:03:57
>>293
嬉しいよねー。パフォーマンスどうなんだろう。
0296デフォルトの名無しさん2009/07/23(木) 00:13:16
わからない…Fiberのよさがわからない…
だれかFiberの旨味を教えてくれ…
0297デフォルトの名無しさん2009/07/23(木) 00:17:42
弾幕作るときにあると楽
0298デフォルトの名無しさん2009/07/23(木) 00:37:02
状態遷移が楽に書けるんだよね。遷移のトリガのチェックにループ使えるし。
オブジェクトに状態の変数持たせなくてもローカル変数で済むし。
Stateパターンいちいち使うのもめんどいからなあ。
0299デフォルトの名無しさん2009/07/23(木) 01:51:11
ゲーム作るときにちょっと便利かも
0300デフォルトの名無しさん2009/07/23(木) 02:25:42
使ったことないけど、yieldのときに値を返したり受けたりできないのは不便な気がする。
0301デフォルトの名無しさん2009/07/23(木) 02:46:43
リファレンスカウンタ方式のGCみたいなもんだ
0302デフォルトの名無しさん2009/07/23(木) 07:43:42
Dで書かれた代表的なアプリケーションは

0303デフォルトの名無しさん2009/07/23(木) 09:00:28
>>302
ABAさんのゲーム
poeny
芝が生えるゲーム
0304デフォルトの名無しさん2009/07/23(木) 09:19:46
2ch viewer
0305デフォルトの名無しさん2009/07/23(木) 19:24:56
Poseidon
0306デフォルトの名無しさん2009/07/23(木) 20:28:19
>>304
あるの？
0307デフォルトの名無しさん2009/07/23(木) 20:57:57
final switch使って-wつけてコンパイルしたらめっちゃ怒られて死んだ
0308デフォルトの名無しさん2009/07/24(金) 00:01:49
range caseどうなったん？
0309デフォルトの名無しさん2009/07/24(金) 16:54:34
>>302
後は研究や仕事のデータ処理に使ってる人がいるくらいで
公開されたアプリケーションはあんまりないよね
0310デフォルトの名無しさん2009/07/24(金) 18:55:08
自分しか使わないツール作るのはすごい楽。
0311デフォルトの名無しさん2009/07/24(金) 20:11:26
>>309
現状言語自体が不安定すぎだしコンパイラの検証・バグ取りも済んでいないので、
放棄不可でメンテナンスが必要なものには使えないというのが実情かな。
言語自体の素性は良いので自分専用のツールを作るにはもってこいだが。
0312デフォルトの名無しさん2009/07/24(金) 20:21:11
便利なCとして使うには癖が強すぎるからじゃないかな
0313デフォルトの名無しさん2009/07/24(金) 20:31:35
Scalaみたいな言語の登場を考えるに、言語開発速度が遅すぎて時代遅れの感。
今後はJVMかLLVMの上で動く言語を考えるべきじゃなかろうか。
0314デフォルトの名無しさん2009/07/24(金) 20:36:10
いやこれはsystems programming languageなので
0315デフォルトの名無しさん2009/07/24(金) 20:40:39
システム言語として生きるなら、GC周りは決着すべきことが多いかなという気がするがなあ。
現状は、最新世代レベルの記述力を持ってバイナリをゲロる言語という感じだが。
0316デフォルトの名無しさん2009/07/24(金) 20:55:07
GCを取り除いたバージョンのDも触ってみたいね
0317デフォルトの名無しさん2009/07/24(金) 21:03:08
DWTでアプリ作ってるんだけどDWT諸共死にそうで恐い
0318デフォルトの名無しさん2009/07/24(金) 21:09:57
Dで書かれた(書こうとしている)OSってあったっけ?
MonaOS?
0319デフォルトの名無しさん2009/07/24(金) 21:12:30
今はないかと
0320デフォルトの名無しさん2009/07/24(金) 21:34:31
OSにGCが採用されたら実行可能ファイルのファイルプロパティに
GCアルゴリズムが選択出来るようになってるんだろうか。
0321デフォルトの名無しさん2009/07/24(金) 21:47:46
公式的にはQtDがおすすめのような雰囲気を感じる
0322デフォルトの名無しさん2009/07/24(金) 21:50:44
ユーザー増やすのに重要なのは言語じゃなくてライブラリだからなぁ。
極端な話ライブラリさえあればH○Pみたいな言語仕様でもアプリを書いてもらえるのに、
言語だけどんどん改訂していくものだからいつまで経っても良いサイクルに入らない。
0323デフォルトの名無しさん2009/07/24(金) 22:27:13
>>318
こういうのはある
http://wiki.xomb.org/index.php?title=Main_Page
0324デフォルトの名無しさん2009/07/25(土) 01:48:56
>>320
選択できるようにする必要あるの
0325デフォルトの名無しさん2009/07/25(土) 01:51:51
JVMはスループット重視か最悪値最小化重視かを選択できる。
ビルド時にオプション指定できる程度で十分だろうけど。
0326デフォルトの名無しさん2009/07/25(土) 02:38:02
>>322
いや、少なくともDに関しては
「仕様が固まってないから」という理由が大きい。
だって、せっかく作ったものでも、
ちょっとバージョンが変わるだけでコンパイルさえ通らなくなるようじゃ
怖くて大規模なものには手を出せない。

バージョンアップを楽しめる一部の人を除いて。
0327デフォルトの名無しさん2009/07/25(土) 02:57:11
eclipse3.5にdescent入れようとしたらエラーが出ました。
3.4には入ったんですが、3.5には対応してないってことなんですかね？
0328デフォルトの名無しさん2009/07/25(土) 05:08:34
そんなことはない
03293272009/07/25(土) 06:49:54
all in oneを入れなおしたら入りました。
0330デフォルトの名無しさん2009/07/25(土) 11:18:12
http://pc12.2ch.net/test/read.cgi/tech/1245092251/302

これについて解説お願いします。
0331デフォルトの名無しさん2009/07/25(土) 12:25:03
>>330
向こうのレスにある
＞ テンプレートとプリプロセッサの黒魔術で無理矢理DSLを作ってどうにかする
だよ。

auto result = linq!q{
from n in numbers
where n % 2 == 0
select n
};

0x風の書き方にするとauto result = linq<"from ... n">というような式で、
linq = テンプレート関数か何かを指すシンボル。
! = テンプレートの明示的インスタンス化。テンプレートパラメタ（cppで言う<>の中身）を続けて書くと括弧が省略できる。
q{ .. } Dで有効なトークンのみを記述することが出来る文字列リテラル（これがテンプレートパラメタ）

linqの中身をコンパイル時または実行時パーサにすると、そういう構文が書けるというお話。
しばらく前にお遊びで作られた黒魔術の一つ。
実用に供すことも可能だが、やった人は知らん。
0332デフォルトの名無しさん2009/07/25(土) 12:29:39
っつか0xスレでもDはGCが邪魔という話になってたのか
向こうを久方ぶりに見たが、まったく同じ内容のレスがあるとは
0333デフォルトの名無しさん2009/07/25(土) 12:34:52
>>330
面白そうだから書いてみた(適当だけど)。ASTマクロが実装されてからが本番だな。

//Public Domain
string[] lexLinq(string code){
  string[] r = [""];
  foreach(c; code){
    if(c == ' ' || c == '\r' || c == '\n' || c == '\t'){
      if(r[r.length-1] != "") r ~= "";
      continue;
    }
    r[r.length-1] ~= c;
  }
  return r;
}
0334デフォルトの名無しさん2009/07/25(土) 12:36:05
string translateLinq(string code){
  string aggregate, variable, condition, item, cur;
  foreach(i, a; lexLinq(code)){
    if (a == "from" || a == "in" || a == "where" || a == "select"){
      cur = a;
      continue;
    }
    if (cur == "from"  ) variable  ~= " " ~ a;
    if (cur == "in"    ) aggregate ~= " " ~ a; // 複数の時はstd.rangeに落とすべき
    if (cur == "where" ) condition ~= " " ~ a;
    if (cur == "select") item      ~= " " ~ a;
  }

  return "
    alias typeof({
      mixin(\"foreach(index, "~variable~"; "~aggregate~")return "~item~";\");
      assert(0);
    }())[] ResultType; // イテレータかレンジで返すべき
    ResultType r;
    foreach(index, "~variable~"; "~aggregate~"){
      if ("~condition~") r ~= "~item~";
    }
  ";
}
0335デフォルトの名無しさん2009/07/25(土) 12:37:33
auto linq(string code, T)(T numbers){ // ASTマクロが実装されたら関数の引数は無くせる。
  mixin(translateLinq(code));
  return r;
}

import std.stdio;
void main(){
  auto numbers = [1,2,3,4][];
  auto result = linq!q{
    from n in numbers
    where n % 2 == 0
    select n
  }(numbers);
  writefln(result);
}
0336デフォルトの名無しさん2009/07/26(日) 01:16:14
>>332
客層同じだしな
0337デフォルトの名無しさん2009/07/26(日) 01:32:53
違いはGCと文法と実装のしやすさとコンパイル速度ってかんじか？
GCない方がいいってのはなんでだ？GCあったってリソースの管理くらいできるのに。
0338デフォルトの名無しさん2009/07/26(日) 01:40:22
2ch内ではD言語をゲーム目的くらいにしか使わないからじゃね？
0339デフォルトの名無しさん2009/07/26(日) 01:42:45
GC使っていい環境なら素直にJavaやC#使ってるよ
そうじゃないからこそ敢えてC++使ってることが多い
0340デフォルトの名無しさん2009/07/26(日) 02:00:21
なるほど、環境によっては確かにGC使えない環境もあるかも。
ところで、GC使えなくてC++使える環境ってたとえば何があるかな？
マイコンとかだとC++すら使えなかったりしないか？
0341デフォルトの名無しさん2009/07/26(日) 02:01:53
バイナリが200KBも大きくなるのが我慢ならないとか
0342デフォルトの名無しさん2009/07/26(日) 02:06:20
>>341
うーん
そういう人は何があっても新しいものに移行しない希ガスるので放っておくしか
■ このスレッドは過去ログ倉庫に格納されています