D言語 Part22
■ このスレッドは過去ログ倉庫に格納されています
0001デフォルトの名無しさん
2009/06/22(月) 01:38:41過去スレ、関連スレは >>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)
0461デフォルトの名無しさん
2009/08/06(木) 04:24:35そんな感じかね。
Range実装の一番単純な例として、
書いたものを晒してレビューして欲しいんだが、
D言語研究とかにページ作って見てもらってもいいかな？
0462デフォルトの名無しさん
2009/08/06(木) 06:17:16対になるInBufferが作りにくいなぁ・・・。
0463デフォルトの名無しさん
2009/08/06(木) 10:28:28http://dusers.dip.jp/modules/forum/index.php?topic_id=28#post_id100
Dequeのならここにある
>>462
すでにOutBuffer使われなくなってたりして。MemoryStream+EndianStream使えば何とかなりそうだし…
0464デフォルトの名無しさん
2009/08/06(木) 11:55:15std.streamにそんな物があったとは知らなかったです。
OutBuffer必要ないですねぇ。
0465デフォルトの名無しさん
2009/08/06(木) 19:16:20cast!int(hoge);
0466デフォルトの名無しさん
2009/08/06(木) 19:28:08テンプレート関数は仮想関数になれないから駄目。
0467デフォルトの名無しさん
2009/08/06(木) 22:36:10・Qt 4.5の2009.3版は避けて2009.2を使う
・Qtのインストール先は"C:/qt-greenhouse/Trolltech/Code_less_create_more/Trolltech/Code_less_create_more/Troll/4.5.0"でないと駄目
・QtCore4.dllがねぇぞｺﾞﾙｧと言われたらbuild_dir/generator/にQtCore4.dllとQtXml4.dllをコピー
fedoraにインストールした時はあんなに素直だったのに…
0468デフォルトの名無しさん
2009/08/07(金) 03:25:150469デフォルトの名無しさん
2009/08/07(金) 12:48:450470デフォルトの名無しさん
2009/08/07(金) 13:37:58隠しフィールドって何ですか？privateとは違うんですか？
ぐぐっても答えが出てこないです。
0471デフォルトの名無しさん
2009/08/07(金) 14:03:55クラスの仕組みを実装するために、処理系がこっそりクラスに追加してるフィールドのこと。
だからソース中には出てこない。
0472デフォルトの名無しさん
2009/08/07(金) 14:07:12ｔｈｘ
0473デフォルトの名無しさん
2009/08/07(金) 15:35:49では、動的配列であるか判定するにはどうすればいいですか？
0474デフォルトの名無しさん
2009/08/07(金) 16:15:400475デフォルトの名無しさん
2009/08/07(金) 16:40:15最近trunk覗いてないな
0476デフォルトの名無しさん
2009/08/07(金) 16:42:00__traitsの方ばかり見てて、それに気がづかなかった・・・
__traitsとpobosのstd.traitsって同じような物が結構ありますけど、どこが違うんでしょうか？
0477デフォルトの名無しさん
2009/08/07(金) 16:45:33void main(){return write;}
なあこいつをどうおもう？
0478デフォルトの名無しさん
2009/08/07(金) 16:50:55__で始まるシンボルはそのうち使えなくなってもおかしくないのでは
0479デフォルトの名無しさん
2009/08/07(金) 16:52:31import std.stdio;
auto main(){return write;}
0480デフォルトの名無しさん
2009/08/07(金) 17:18:07{
enum real hoge = 1.001L;
alias hoge fuga;
}
これのfugaがpublicになるのはバグでいいんだよな？
ほかにもtemplate mixinしたのがpublicだったり…
public関連のバグはvoteでも高い値出してるんだからさっさと潰してくれたらいいのに…
0481デフォルトの名無しさん
2009/08/07(金) 17:43:39そうだったんですか。
phobosの方を使った方がいいんですね。
0482デフォルトの名無しさん
2009/08/07(金) 18:35:570483デフォルトの名無しさん
2009/08/07(金) 18:47:51ごめん
こういうことなので使えなくなるは言い過ぎたかも
Q. なぜ __add__ や __div__ といった名前を opAdd, opDiv の代わりに使わなかったのですか？
A. __ を使った予約語は、処理系特有の言語拡張を表すべきで、 言語の基本的な部分に使うものではないと考えています。
0484デフォルトの名無しさん
2009/08/07(金) 19:13:500485デフォルトの名無しさん
2009/08/07(金) 20:01:44うーむ。
しかし処理系に依存しない方法があるならそっちの方がいいですよね。
あれ？phobos自体が処理系に依存？ｗ
0486デフォルトの名無しさん
2009/08/07(金) 20:36:09コンパイルできるだけじゃなくリンクまでできる
しかも動く
感動して涙出てきた
0487デフォルトの名無しさん
2009/08/07(金) 21:10:06・・・・・
0488デフォルトの名無しさん
2009/08/07(金) 23:31:54C++使ったら失禁しちゃうだろ……。
0489デフォルトの名無しさん
2009/08/08(土) 00:05:13int x = 2^^3;//8
0490デフォルトの名無しさん
2009/08/08(土) 00:20:55*^ pow
/^ log
として欲しいな。
max/minは昔のgccの拡張っぽく >? と <? にしてほしい。
abs演算子(単項)は何がいいだろ。
0491デフォルトの名無しさん
2009/08/08(土) 06:52:040492デフォルトの名無しさん
2009/08/08(土) 07:43:33たまーにしか使わないようなものはどうせ覚えられないんだから、
検索しやすい名前にしておかないとダメだ。
0493デフォルトの名無しさん
2009/08/08(土) 10:05:33{
Tuple!(const(int[]), const(int[])) tup(aaa[], bbb[]);
...
}
Error: aaa is used as a type
Error: bbb is used as a type
どうすればいいのでしょうか？
0494デフォルトの名無しさん
2009/08/08(土) 16:00:170495デフォルトの名無しさん
2009/08/08(土) 16:45:11Tuple!(const(int[]), const(int[])) tup(aaa, bbb);
にすると
Error: aaa is used as a type
Error: cannot have parameter of type void
Error: bbb is used as a type
Error: cannot have parameter of type void
になります。
0496デフォルトの名無しさん
2009/08/08(土) 20:01:42（DMD v1.030を使用）
class Test
{
public void print()
{
printf("(this, &this):(%p, %p)\n", this, &this);
}
}
void main()
{
Test test = new Test;
printf("(test, &test):(%p, %p)\n", test, &test);
test.print();
}
0497493
2009/08/08(土) 20:02:21でも、constが含まれるとエラー(tupleのソース見ても明らかにconstは無理)。
const配列を含むタプルはどうやって作ればいいんだろう・・・。
0498デフォルトの名無しさん
2009/08/08(土) 20:54:56class Test {
public void print() { writef("(this, &this):(%p, %p)\n", this, &this); }
void isSelf(Test a, Test b) {
writefln("this:a %b this:b %b a:b %b", this is a, this is b, a is b);
writefln("&this: %p &a: %p &b: %p\n", &this, &a, &b);
}
}
void main()
{
Test test = new Test, test2 = new Test;
writef("(test, &test):(%p, %p)\n", test, &test);
test.print();
test.isSelf(test, test2);
writef("(test2, &test2):(%p, %p)\n", test2, &test2);
test2.print();
test2.isSelf(test, test2);
}
0500デフォルトの名無しさん
2009/08/09(日) 02:59:580501デフォルトの名無しさん
2009/08/09(日) 08:07:12頻出処理ではないのに貴重な記号を使うのはもったいないのと
複数要素、およびコンテナ、イテレータのことを考えると記号でやる処理にしては複雑すぎるのと
本来数学でさえ記号を使わないのでいらないと思う
absの記号は|n|以外だとむしろわかりにくいのでこれでないならいらないかな
0502デフォルトの名無しさん
2009/08/09(日) 08:56:02uintのaliasなのかと思ったら何これ？
alias typeof(int.sizeof) size_t;
typedef uint size_t;
にしたらいいのか？
0503デフォルトの名無しさん
2009/08/09(日) 09:05:51sizeofプロパティの型をsize_tとするって意味じゃね。
uint決め打ちじゃなくて。
0504デフォルトの名無しさん
2009/08/09(日) 11:17:280505デフォルトの名無しさん
2009/08/09(日) 11:33:23なるほど環境で変わるってことね
0506デフォルトの名無しさん
2009/08/09(日) 12:07:50うまくconstをつける方法はありますでしょうか
0507デフォルトの名無しさん
2009/08/09(日) 13:05:44ただし>>210
0508デフォルトの名無しさん
2009/08/09(日) 13:21:40const オブジェクトへの書き換え可能な参照ではなく、
書き換え可能な配列へのconst参照を作るにはどうしたら良いのかなと……
推移的constで中身も書き換え不可能にならないようにするには、と。
0509デフォルトの名無しさん
2009/08/09(日) 13:28:01配列自体をやり取りしようとすると一瞬にして破綻するけど
0510デフォルトの名無しさん
2009/08/10(月) 10:30:37詳細までキッチリ書いてある仕様書のような物ってないんですかね？
0511デフォルトの名無しさん
2009/08/10(月) 11:18:590512デフォルトの名無しさん
2009/08/10(月) 13:11:09Phobosのソースはよくみますが、言語仕様を理解しきれてなくて分からない時があります。
コンパイラのソースも付いていたのは気づきませんでした。
読むの大変そうだ・・・
0513デフォルトの名無しさん
2009/08/10(月) 13:34:51それともDMDの挙動がD言語の仕様に決められてるの？
0514デフォルトの名無しさん
2009/08/10(月) 14:02:490515デフォルトの名無しさん
2009/08/10(月) 14:08:260516511
2009/08/10(月) 14:28:13コンパイラの方は冗談のつもりでした・・・
私は、実装がどうであれドキュメント化されなければD言語の仕様としては「未定義」であると思っています。
ですので、説明不足に感じるところがあるのであれば、ウォルターたんに直接
「〜〜だからドキュメント化してくれ！」
ってお願いしに行くのが一番いいのではないかと思います。
0517512
2009/08/10(月) 16:03:53ドキュメントが不足してたり、ぐぐっても出てくる物が少ないところがD言語はつらいです。
言語の仕様はいいんだけどなぁ。
0518デフォルトの名無しさん
2009/08/10(月) 16:44:31Dは現状で特に説明不足と感じることもないなあ。
まあ自分で処理系を作ろうと思ったら大変なのかも、程度。
0519デフォルトの名無しさん
2009/08/10(月) 16:59:05平気で破壊的更新をするウォルたんなんだから、
気にせず適当に使うのがいいとおもう
0520デフォルトの名無しさん
2009/08/10(月) 17:00:490521デフォルトの名無しさん
2009/08/10(月) 17:49:04仕様なんていちいちチェックしないで適当に書いた方がいい
Ｄ言語の仕様は決まってない＆書いてない＆そのうち変わるの三拍子
0522デフォルトの名無しさん
2009/08/10(月) 18:23:370523512
2009/08/10(月) 19:51:540524デフォルトの名無しさん
2009/08/10(月) 20:33:04・リリースから1日の時点でプログラマが頭から血を流して倒れていた
・足元がぐにゃりとしたのでドキュメントをめくってみると仕様が未定義だった
・tangoとGUIライブラリを突っ込んで倒れた、というかビルドする前にバグとかを修正する
・constがcastに襲撃され、constも「immutableも」全員編集された
・リリースから翌日までの10時間の間に破壊的変更に襲われた
・Dプログラマの全員がレイプ経験者。しかもD1が安定しているという都市伝説から「初心者ほど危ない」
・「そんな危険なわけがない」といってコーディングしたプログラマが5分後アクセス違反まみれで戻ってきた
・「何も書かなければエラーになるわけがない」と-safeをつけてコンパイルしたコードがphobosのエラーを食らって戻ってきた
・templateから半径200行はエラーにあう確率が150%。dmdのバグに襲われてdsssのバグに襲われる確率が50%の意味
・dmdにおける更新による修正は1月平均120件、うち約20件が破壊的変更
0525デフォルトの名無しさん
2009/08/10(月) 20:49:41最後の
それだけの変更はどうせ長続きしないからむしろ歓迎ｗ
0526デフォルトの名無しさん
2009/08/10(月) 22:22:52C:\dmd\windows\bin\..\..\src\phobos\std\typecons.d(352): Error: can only initialize const member _field_field_0 inside constructor
Tupleのコンストラクタ↓
this(U...)(U values) if (U.length == Types.length)
{
foreach (i, Unused; Types)
{
field[i] = values[i];
}
}
拾ってきたサンプルコード↓
void print_all(T...)(T xs)
{
foreach(x; xs)
writeln( x, " : ", typeid(typeof(x)) );
}
print_allにconstを渡してもエラーが出ないのに、Tupleのコンストラクタでエラーが出る意味がわからないです。
どういうことなのでしょう？
0527デフォルトの名無しさん
2009/08/10(月) 22:34:04class A {
const(int[]) aaa;
this() {
aaa.length = 1;
aaa[0] = 1; // これは通らない
aaa = [1]; // これは通る
}
}
0528デフォルトの名無しさん
2009/08/11(火) 05:58:49うーん、fieldがconstになる理由が、ソース見てもわからないです。
constを要素にできないのは、Tupleの仕様なんですかね？
0529デフォルトの名無しさん
2009/08/11(火) 13:52:00http://www.reddit.com/r/programming/comments/99aea/reddit_what_programming_language_do_you/c0bwdq1#
0530デフォルトの名無しさん
2009/08/11(火) 15:26:00どうなるのか楽しみ
0531デフォルトの名無しさん
2009/08/11(火) 15:56:01今までの疑似プロパティも継続して使えるのかどうかが気になる
0532デフォルトの名無しさん
2009/08/11(火) 16:23:15Ｄ言語ユーザー阿鼻叫喚に期待
0533デフォルトの名無しさん
2009/08/11(火) 16:46:430534デフォルトの名無しさん
2009/08/11(火) 16:47:140535デフォルトの名無しさん
2009/08/11(火) 16:57:13問題があったのかな
0536デフォルトの名無しさん
2009/08/11(火) 17:20:23ターミネーター2。
じゃなくて、話の流れからして、D2用Tangoのことでしょうね。
0537デフォルトの名無しさん
2009/08/11(火) 17:34:41行頭で並んでると全角と半角の違いが気になる
0538デフォルトの名無しさん
2009/08/11(火) 21:14:330539デフォルトの名無しさん
2009/08/11(火) 22:50:50できないようになるじゃん。
D言語ゴルファー涙目だな。
0540デフォルトの名無しさん
2009/08/11(火) 23:16:22俺も好きだった。まあ>>538の問題は気になってたけど。
うれしさ半分さびしさ半分って感じだなあ。
0541デフォルトの名無しさん
2009/08/11(火) 23:26:500542デフォルトの名無しさん
2009/08/12(水) 10:10:130543デフォルトの名無しさん
2009/08/12(水) 11:22:30{}
auto result = count!("a.func(b.member)")(hoges, fuga); // ここでエラー
Error: static assert "Bad binary function q{a.func(b.member)}. You need to use a valid D expression using symbols a of type const(Hoge) and b of type Fuga."
述語にメンバ関数は使えないのでしょうか？
何か方法はないですか？
0544デフォルトの名無しさん
2009/08/12(水) 17:20:510545デフォルトの名無しさん
2009/08/12(水) 17:27:250546デフォルトの名無しさん
2009/08/12(水) 17:45:05auto result = count!("(Hoge x, Fuga y){return a.func(b.member);}(a,b)")(hoges, fuga);
これもやってみたがdmdがクラッシュした
import std.algorithm;
class Hoge{bool func(int){return true;}}
class Fuga{int member(){return 0;}}
void main(){
Hoge[] hoges = [new Hoge];
Fuga fuga = new Fuga;
if (hoges[0].func(fuga.member)) {}// OK
{// NG
//auto result = count!("(Hoge x, Fuga y){return x.func(y.member);}(a,b)")(hoges, fuga);
}{// OK
bool f(Hoge a, Fuga b) {return a.func(b.member);}
auto result = count!(f)(hoges, fuga);
}{// OK
auto result = count!((Hoge a, Fuga b){return a.func(b.member);})(hoges, fuga);
}
}
0547546
2009/08/12(水) 17:46:02auto result = count!("(Hoge x, Fuga y){return x.func(y.member);}(a,b)")(hoges, fuga);
0548デフォルトの名無しさん
2009/08/12(水) 19:12:01thx
文字列で式渡す方式は何か制限かあるという事でしょうか(あるいはバグ？)。
関数を渡すか、関数ポインタを渡す事にします。
0549デフォルトの名無しさん
2009/08/12(水) 19:38:02ただ、Phobosのソースコードを読むと、開発者は
auto result = count!("a.func(b.member)")(hoges, fuga);
というコードが通るように書いているつもりのような気がする。(std.functional.binaryFunImplのあたり)
0550デフォルトの名無しさん
2009/08/12(水) 20:38:000551デフォルトの名無しさん
2009/08/12(水) 20:42:38明示的にキャストしといてそんな
0552デフォルトの名無しさん
2009/08/12(水) 20:56:310553デフォルトの名無しさん
2009/08/12(水) 21:59:570554デフォルトの名無しさん
2009/08/13(木) 00:09:110555デフォルトの名無しさん
2009/08/13(木) 00:56:08Dのenumともなれば一覧取る機能とか名前取る機能とか当たり前のようにある…
そんな風に考えていた時期が、俺にもありました
0556デフォルトの名無しさん
2009/08/13(木) 02:26:35その程度コンパイルタイムリフレクションで余裕です
0557デフォルトの名無しさん
2009/08/13(木) 02:30:36文字列mixinは、あくまでmixinする箇所にそのコードが書いてあるように振る舞うから、
デリゲートのようにローカル変数を使ったり、mixinしているモジュールでimportしていないモジュールの型を使ったりすることはできない。
0558デフォルトの名無しさん
2009/08/13(木) 04:46:46というかin節でassert(hoge, std.conv.text(hoge));が通らないのが困る
0559デフォルトの名無しさん
2009/08/13(木) 08:29:07バグでないとするなら、どういった事情でこの仕様になったのか疑問な気もします。
>>557
a.funcもb.memberもテンプレートで渡したhogesとfugaのメンバーなので使えないとおかしい気がします。
binaryFunImplの中で出てくるElementType1、ElementType2はどこで宣言されているんでしょう？
0560デフォルトの名無しさん
2009/08/13(木) 08:52:57関数の仕様じゃなくてmixinの仕様と言ってるのでは
0561デフォルトの名無しさん
2009/08/13(木) 10:04:49mixinの仕様というのは
> 文字列mixinは、あくまでmixinする箇所にそのコードが書いてあるように振る舞うから、
ということですよね？
void f(T)(T t) {
t.func();
}
これは当然OKだから、t.func();がmixinであっても同じ事になるのではないか(むしろならないと不便)と思いました。
■ このスレッドは過去ログ倉庫に格納されています