10/04/26 21:28:56
>>353-354
で？
俺は実装の話なんて一言もしていないが。
> C++0xの現行版の仕様が確定するのが
> 2011年だぞ？
としか言ってないけど。
なんか正当な反論ができるならしてみろよ？無知が。
358:デフォルトの名無しさん
10/04/26 21:48:30
どうも。ご迷惑おかけしています。アホです。
359:デフォルトの名無しさん
10/04/26 22:04:10
あんたが正しいか正しくないかじゃなくて、
こんな２ちゃんごときで謝れとか言い出すあんたの器量の狭さがキモいんですよ＾＾
360:デフォルトの名無しさん
10/04/26 22:08:05
>>357
pgr
361:デフォルトの名無しさん
10/04/26 22:33:47
はいはいごめんやさいごめんやさい
362:340
10/04/26 22:47:55
>>358-361
んで結局お前らは全員が知ったかぶりだったってことでいいんだな？
この件を恥じ入り、以後知ったかぶりを改めるように！
363:デフォルトの名無しさん
10/04/26 23:19:11
はーい^^
364:デフォルトの名無しさん
10/04/26 23:24:49
おまえら明日VS2010でたら色々遊んでレポートしなさい
365:デフォルトの名無しさん
10/04/27 15:47:12
本の虫のブログで初めて知った。
deleted定義
URLﾘﾝｸ(cpplover.blogspot.com)
これすげー便利だな。
366:デフォルトの名無しさん
10/04/27 17:14:01
>>365
予約語deleteの再利用か。
exportは仕事 首になったからまさに完全ニートになってるけど、
予約語としては生き残っているらしいから、
なんか有効利用してあげられないかな？
367:デフォルトの名無しさん
10/04/27 17:28:30
concurrency/atomics 周りが GCC 4.6, 4.7 あたりで
完全にサポートされるようになるとはとても思えない……
368:デフォルトの名無しさん
10/04/27 20:14:10
本の虫がそこに気付いてなかったとは…
template<typename T> operator T() = delete;なんて好きそうなのに
369:デフォルトの名無しさん
10/04/27 20:16:31
俺もメンバ関数にしか使えないのかと思ってた
370:デフォルトの名無しさん
10/04/27 20:17:33
ほほうそれは Tの修飾をどの程度含んで殺してしまうのかね？
371:デフォルトの名無しさん
10/04/27 20:22:25
>>367
gccはその辺は一番遅いでしょ。
昔みたいにx86専用フォークあれば別だけど。
372:デフォルトの名無しさん
10/04/27 21:31:40
deleteに続いて併せて使われる予定のdefaultはなんだか微妙な感じだな。
純粋仮想関数よりは見た目はいいが。
373:デフォルトの名無しさん
10/04/27 21:51:32
=defaultも大事だぞ
struct Point{
int x,y;
Point() = default;
Point(int x, int y) : x(x), y(y){}
};
これが出来るだけで凄い価値がある
374:デフォルトの名無しさん
10/04/27 21:55:43
Point() {} と何が違うんだっけ
inline強制じゃないんだっけ？
375:デフォルトの名無しさん
10/04/27 22:20:02
Point(){}はコンパイラ生成のデフォルトコンストラクタじゃない＝PointはPODじゃない
376:デフォルトの名無しさん
10/04/27 22:23:23
コンストラクタつきのPodが可能になるのか
377:デフォルトの名無しさん
10/04/27 22:54:25
Podってキャピタライズされると地味に違和感
378:デフォルトの名無しさん
10/04/27 23:02:40
デフォルトコンストラクタだけデフォルトでも
他が違えば意味ないんじゃないの？ ＞POD
379:デフォルトの名無しさん
10/04/27 23:09:53
コピコン、operator=、デストラクタは書かなけりゃデフォルトだからいいの
デフォルトコンストラクタだけは自分でなんかコンストラクタ書くと潰されるから
明示的に指定が必要
380:デフォルトの名無しさん
10/04/27 23:40:17
だから Point() {} と何が（ry
デフォルトのコピコンやoperator=をprivateにしたい時に使うのは便利そうだけど
381:デフォルトの名無しさん
10/04/27 23:56:42
URLﾘﾝｸ(d.hatena.ne.jp)
URLﾘﾝｸ(ja.wikipedia.org)
C++0xではPODの定義が変わって
>>373の構造体はPODになるとかならないとか
382:デフォルトの名無しさん
10/04/27 23:56:55
新しい関数宣言やラムダって当初のまんまなの？
383:デフォルトの名無しさん
10/04/27 23:59:04
>>381
なーるほど
それだと重要だな
384:デフォルトの名無しさん
10/04/27 23:59:55
そういや、デフォルトのコピコンやoperator=を殺したければdeleteすりゃいいんだった
385:デフォルトの名無しさん
10/04/28 00:07:36
>>382
unified function syntaxはボツになりました…
386:デフォルトの名無しさん
10/04/28 00:11:31
unified function syntaxはクソだったからな。
不細工すぎるだろ
387:デフォルトの名無しさん
10/04/28 00:12:29
やっぱりあれはボツだよなあw
安心した
388:デフォルトの名無しさん
10/04/28 00:13:43
>380
default constructor が trivial か non-trivial かの違いになります．
で，この違いがどうなるかというと結構大量にあるっぽいので
誰か親切な人まとめてください．
389:デフォルトの名無しさん
10/04/28 00:18:50
>>387
うむ。
いくら何でもなぁ。
390:デフォルトの名無しさん
10/04/28 00:23:10
POD って C++0x でそれほど重要な概念になってます？
どちらかというと， POD という用語の従来における定義の個々の構成要件だった
「各 special member function が trivialかどうか」や
"standard-layout type" といった概念が，それぞれ独立して
重要な仕様上の概念として活躍しているような？
391:デフォルトの名無しさん
10/04/28 00:26:34
そういやドラフトでPOD関連全般にもの凄い修正入ってた気がするわ
多すぎて目を通してなかったけど
392:デフォルトの名無しさん
10/04/28 00:28:05
最後にまともにC++に触ったの10年くらい前で、既にJavaに移行してしまった者なんだが、
お前らが何を言ってるのかさっぱり分からん。
393:デフォルトの名無しさん
10/04/28 00:32:11
多分ずっとC++使ってる人でも分からないから問題ない
394:デフォルトの名無しさん
10/04/28 00:33:21
PODの重要性は今までと一切変わらんよ
CのAPIに渡したりバイトの塊としてストリームに流せたりすることを保証する枠組みは絶対に必要
仕様上の概念としてはtrivialとstandard-layoutに整理されて文言の登場頻度は減ったけどね
395:デフォルトの名無しさん
10/04/28 00:35:53
いったいなんなんだC++って。
396:390
10/04/28 00:43:19
>394
＞CのAPIに渡したり～
この部分は完全に同意していて， >390 は単に
＞文言の登場頻度は減った
んじゃないの？ っていうのが言いたかっただけです．すいません．
397:デフォルトの名無しさん
10/04/28 03:23:06
どうでもいいじゃない、そんなこと。
PODの概念が具体的な形で整理されたことが大切。
より重要な概念になったかどうかとか、登場回数が減ったとかどうでもいい。
重要かどうかってのは評価に属することなんで、考え方次第。
C++は、PODにしても>>367にしても、
高級アセンブラとしての役割というか、
低レベルな部分での仕様を追求するのが面白いね。
398:デフォルトの名無しさん
10/04/28 12:12:53
>>397
さすが移植用アセンブラたるC言語の直系の子孫。
いつまでも変態記法と低レベル作業を忘れないでね。
399:デフォルトの名無しさん
10/04/28 13:24:24
変態な君が好き。
400:デフォルトの名無しさん
10/04/28 15:56:12
変態紳士な貴方も、チェリーボーイな君も、ウィザードハッカーな彼も。
みんな大好きC++。
401:デフォルトの名無しさん
10/04/28 16:03:50
むしろそういうヤツしか大好きじゃないんじゃないかなC++
402:デフォルトの名無しさん
10/04/28 18:45:05
俺ってウィザードハッカーだったのか
403:デフォルトの名無しさん
10/04/28 19:11:38
C++はメジャーな言語です。
メジャーな言語を使えるプログラマーは変態ではありません。技術者です。
404:デフォルトの名無しさん
10/04/28 23:33:57
高級アセンブラって褒め言葉にしか聞こえない。
405:デフォルトの名無しさん
10/04/29 02:35:09
C99と違ってMSも実装に前向きみたいだけど
0xってどれだけ普及するだろうか
406:デフォルトの名無しさん
10/04/29 02:44:43
正直「C++で開発してます」と言ってる業界のtemplateの普及度すら怪しい
407:デフォルトの名無しさん
10/04/29 02:46:29
凄い的確な返しだ
408:デフォルトの名無しさん
10/04/29 03:04:45
>>406
templateは保守性が低いから使うな！ってよく言われるよ。
lambdaなんぞ入ったらどうなることやら…。
409:デフォルトの名無しさん
10/04/29 03:15:55
保守性が低い、の意味が、
俺らが読めない、だからなあ
410:デフォルトの名無しさん
10/04/29 08:54:11
ある意味真理
411:デフォルトの名無しさん
10/04/29 09:23:34
過去スレ読めないので既出かもしれませんが質問させてください。
vector<int> v(10000);
のように書いたときの v の要素は C++0x では初期化されなくなるのでしょうか？
23.3.6.1
explicit vector(size_type n);
3 Effects: Constructs a vector with n default constructed elements.
と書かれていて、default constructed というのは、POD型では初期化されていないことを意味すると思うのですが。
これに関係していそうなので↓こんなものを見つけましたが
URLﾘﾝｸ(www.open-std.org)
上の文はまだ修正される可能性があるのでしょうか？
412:デフォルトの名無しさん
10/04/29 09:24:11
分かる人間がいなきゃ企業としては保守性低いわなぁｗ
概念的にはそんなに難しいものじゃないけど
ヘッダに実装書くことによる細かいバッドノウハウはちょっとだるい
413:デフォルトの名無しさん
10/04/29 09:27:05
>>411
POD型のデフォルトコンストラクタは0クリアじゃないの?
414:デフォルトの名無しさん
10/04/29 10:45:16
>413
thanks.
default constructed とは value-initialized(8.5) と同じ意味なんですね。
415:デフォルトの名無しさん
10/04/29 10:48:13
古いVC++だと初期化されなかったような気がする
所詮規格は規格であって実装で無視されたら意味ないしなあ
416:デフォルトの名無しさん
10/04/29 10:48:55
いや、あれはvectorじゃなかったか・・・？
記憶が曖昧だ・・・
違うかもしれない
417:デフォルトの名無しさん
10/04/29 12:13:29
VC10express使った人いる？
どうかな？対応具合は？
418:デフォルトの名無しさん
10/04/29 13:28:25
XP SP2には対応していなかった
419:デフォルトの名無しさん
10/04/29 18:31:41
誰もそんなこと聞いてねぇｗ
420:デフォルトの名無しさん
10/04/29 19:36:54
ワロタｗ
でも地味に良い情報だったｗ
421:デフォルトの名無しさん
10/04/29 21:10:51
対応してないのか、単に保証してないか、どっちなんだろう
単にSP2自体サポート終了してるから対象から外しただけな気もするが
422:デフォルトの名無しさん
10/04/29 22:23:01
A がムーブコンストラクタを持つ状態で
A foo() { return A(); }
を実行した場合、文法上、戻り値返す際に動くのは
コピーコンストラクタとムーブコンストラクタのどっち？
（実際にはどちらにしろ戻り値最適化されるだろうけど、
仮に文法上コピーコンストラクタが実行されるなら、
コピーコンストラクタを private にした時（あるいは delete した時）に
エラーになるという違いがある）
とりあえずVC++2010はコピーコンストラクタが動こうとするみたいだけど。
423:デフォルトの名無しさん
10/04/29 22:25:45
>>415
> 古いVC++だと
古いVC++なんて、それを言って良いならいくらでもそんなことはあるだろうよ。
424:デフォルトの名無しさん
10/04/29 22:34:13
>>422
それだけだと右辺値参照する側がいないんじゃないか。
425:デフォルトの名無しさん
10/04/29 22:40:03
受け取るやつがいるいないは関係なくない？
どこから呼ばれるかコンパイル単位には分からないわけだし
426:デフォルトの名無しさん
10/04/29 22:42:07
>>422
ムーブコンストラクタがあればそっちで、なければコピーコンストラクタ、でしょ。
そうじゃないと困りそう。
427:デフォルトの名無しさん
10/04/29 22:48:57
>>424
戻り値最適化がないなら、
return に書いた式から、関数の戻り値へとコピーかムーブが走ると期待できる
>>426
じゃあVC++2010の挙動がおかしい、と
publicなムーブコンストラクタとprivateなコピーコンストラクタを定義したら、
コピーコンストラクタが使えないよというエラーになるから
428:デフォルトの名無しさん
10/04/29 22:55:37
もう１つ、
A a(A(1));
A a(foo());
でも同じ状況でVC++2010はエラーになる。
ただし、後者ではコピーコンストラクタを有効にして実際に実行してみると
ムーブコンストラクタしか動かない。
（前者は最適化されてコピーやムーブ自体が実行されない）
429:デフォルトの名無しさん
10/04/29 22:58:37
VC++2010、地味にヤバそうな予感
まだゴリゴリ書かない方がいいのか・・・ って、何か問題起きたら 2008に持ってけばいいのかｗ
430:デフォルトの名無しさん
10/04/29 23:00:14
いや、すまん
>>428 は後者も最適化されてコピーもムーブも動かないわ
431:デフォルトの名無しさん
10/04/29 23:02:53
ムーブコンストラクタはそんなに神経質に使うものじゃなくないか？適用されたら儲け程度に考えればいいんじゃね。
432:デフォルトの名無しさん
10/04/29 23:09:23
void hoge(A&& a) {
a.piyo(); // piyoは非constメンバ関数
A b(a); // ムーブ？ コピー？
b.piyo();
}
hoge(A());
これでコピーコンストラクタが動いたんだけど
ひょっとしてムーブコンストラクタの考え方、俺間違ってる？
a.piyo(); が実行できたという点では
右辺値参照万歳ではあるんだけど
433:デフォルトの名無しさん
10/04/29 23:12:59
>>432
ムーブしたかったら A b(std::move(a)) じゃないか？
434:デフォルトの名無しさん
10/04/29 23:14:57
>>432
そこで勝手にmoveしちゃったらその後のaはどうなるんだよ
435:デフォルトの名無しさん
10/04/29 23:14:57
>>433
おお、そうなんだ
そうしたらムーブコンストラクタが呼ばれたわ
ありがとう
436:デフォルトの名無しさん
10/04/29 23:15:59
>>434
あとは野となれ山となれ
437:デフォルトの名無しさん
10/04/29 23:22:26
というか、>>422 のエラー発生状況の説明が
「'A' から 'A &&' への変換時」ってなってるな
どうもムーブコンストラクタを呼ぼうとはしているみたいだ
でも、なぜかコピーコンストラクタがアクセス可能じゃないとダメ、と
'A' から 'A &&' への変換に
なぜコピーコンストラクタへのアクセス可能性が要求されるのだろう？
438:デフォルトの名無しさん
10/04/29 23:24:40
名前付きの値は（左辺値参照でも右辺値参照でも）左辺値として扱われる。
>>432 の例でいうとaをムーブコンストラクタに渡すには
std::moveの返値（無名の右辺値参照）にしなければいけないわけだ。
なるほど。
439:デフォルトの名無しさん
10/04/29 23:27:24
>>438
なるほど
ムーブコンストラクタがあっても、
左辺値でコンストラクとしようとする時には
勝手に右辺値参照になってはくれないのね
確かに安全のためには必要そうな仕様だ
440:デフォルトの名無しさん
10/04/29 23:40:37
ひょっとして、ムーブ可能にしたければ
コピーも可能じゃないとだめというのが仕様だとか？
でも、MoveConstructible requirements にそういう事は書いてないし・・・
441:デフォルトの名無しさん
10/04/30 02:11:51
>427
＞publicなムーブコンストラクタとprivateなコピーコンストラクタを定義したら、
＞コピーコンストラクタが使えないよというエラーになるから
再現しないっぽいのでとりあえずコード全体をさらしてほすぃ……
442:デフォルトの名無しさん
10/04/30 02:18:31
422==432で書いてたコードand/or考えが間違ってたんだろう
443:デフォルトの名無しさん
10/04/30 03:01:44
不思議な事に、こっちでも新しく書いたら再現しない
条件があるのかも
444:デフォルトの名無しさん
10/04/30 03:06:11
めっちゃアンドゥして昔のコードに戻したけどやはり再現しない・・・
一体なんなんだ
445:デフォルトの名無しさん
10/04/30 03:47:00
auto p = new auto(1);
delete p; // 死ぬ
auto p = new auto(2.0 * 3.4);
delete p; // 死ぬ
auto p = new auto("hoge");
delete p; // 死ぬ
基本型を引数に取ってnew autoすると
delete時に死ぬ
クラスとかなら問題ない
446:デフォルトの名無しさん
10/04/30 04:13:09
new autoとかありだということに驚いた
447:デフォルトの名無しさん
10/04/30 06:30:36
最後はdelete[]だろ
448:デフォルトの名無しさん
10/04/30 07:18:27
>>445
どのコンパイラくらい書いてくれ。
449:デフォルトの名無しさん
10/04/30 08:18:51
死ぬってのは実装の問題ってこと？
450:デフォルトの名無しさん
10/04/30 08:35:12
VC++2010で試したら確かに実行時エラーで死んだ。
誰かGCCで試してみてほしい。
451:デフォルトの名無しさん
10/04/30 08:51:30
なんだこのスレタイと全然関係無い話題なのに
妙に価値のある内容は。
もっとやれ
452:デフォルトの名無しさん
10/04/30 09:50:00
>>445
g++-4.5 (Debian 4.5.0-2) 4.5.1 20100419 (prerelease)
だと死なない（そりゃそうだ）
453:デフォルトの名無しさん
10/04/30 10:47:13
>>447
ポインタをnewしてるだけだからdeleteで問題ない
454:デフォルトの名無しさん
10/04/30 11:39:19
new auto("hoge") は const char**
455:デフォルトの名無しさん
10/04/30 12:45:29
deleteかdelete[]かを判断できないのだからnew auto(ここの部分);で、動的にdeleteかdelete[]かを選べるshared_ptrみたいな動的削除子が組み込みで欲しいな。
456:デフォルトの名無しさん
10/04/30 12:47:09
expression
／ ＼
glvalue rvalue
／ ＼ ／ ＼
lvalue xvalue prvalue
Figure 1 -- Expression category taxonomy
何か笑ってしまった
複雑だなあ
457:デフォルトの名無しさん
10/04/30 12:48:04
>>455
new auto で確保したものは常に delete
配列 new を初期化パラメータ付きで行うのは不可能だから
458:デフォルトの名無しさん
10/04/30 12:51:23
そうだった。つまりこれはnew autoしたのをdeleteする処理系が悪いということか。
459:デフォルトの名無しさん
10/04/30 12:55:10
new autoは実はGCが働くんだよ！
だったらいいんだが
autoってそんな意味じゃねー
460:デフォルトの名無しさん
10/04/30 12:57:51
newしてるのにポインタじゃなくてスマポが返るんですね分かります
461:デフォルトの名無しさん
10/04/30 13:07:33
>>456
仮想継承にしなくちゃならないなｗ
462:デフォルトの名無しさん
10/04/30 13:12:08
>>456
シンプルやん。
対称だと頭に入りやすい。
463:デフォルトの名無しさん
10/04/30 13:30:37
expression
／ ＼
lvalue rvalue
／ ＼ ／ ＼
plvalue xvalue prvalue
これなら対称なんだけど
464:デフォルトの名無しさん
10/04/30 13:32:57
>>463
機能まで対称だったらわざわざ仮想継承構造にする必要ないけどな
465:デフォルトの名無しさん
10/04/30 13:35:43
lvalue &
rvalue &&
prvalue &&&
になりそうな予感
466:デフォルトの名無しさん
10/04/30 13:41:13
int n = 0;
auto l = [=]() mutable { ++n; std::cout << n << std::endl; };
l(); //1と表示
l(); //2と表示
ラムダ式を作成した時に
クロージャ型の非staticメンバ変数のnに外のnがコピーされるから、
それを変更すると次の呼び出しでもその影響が残るのは
仕様でいいのよね？
467:デフォルトの名無しさん
10/04/30 14:28:27
ラムダ式はreturnできないし（template<class L> L hoge(L lambda) { return lambda; } みたいなのは例外で可能だが）、
関数ポインタに渡せないんだな
前者は戻り値の型が書けないからで、
後者は関数呼び出しがクロージャ型の非staticメンバ関数だからだな
どちらも仕方が無いけど、微妙に不便
まあ後者は、クロージャ型の非staticメンバ変数に
operator() を自インスタンスを使って call するコードを
持たせる事で実現できるとは思うのだが、
メモリの実行権限とか考えると微妙だわなあ
468:デフォルトの名無しさん
10/04/30 15:15:49
>>465
> lvalue &
> rvalue &&
> prvalue &&&
何気に分かりやす・・・くねぇな
469:デフォルトの名無しさん
10/04/30 17:34:03
って、規格上はラムダ式は関数ポインタに変換できるのか……
今年３月の話みたいだから対応して無いのは当然だけど
470:デフォルトの名無しさん
10/04/30 17:38:11
関数ポインタよりもresult_typeが欲しいよ。
471:デフォルトの名無しさん
10/04/30 18:09:13
std::functionにキャストすれば使えるんじゃないの＞result_type
472:デフォルトの名無しさん
10/04/30 19:06:02
>>471
なんと、その手があったのか。改めてfunctionはすごいな。
ラムダ式をboost::lambdaでラップしようかとか悩んでた。
473:デフォルトの名無しさん
10/04/30 21:11:54
swap技法が適用されるデフォルトムーブ演算子operator=(&&)とかできないかなあ。
474:デフォルトの名無しさん
10/04/30 21:40:51
デフォルトムーブ代入演算子なら最新のドラフトに入ったよ
475:デフォルトの名無しさん
10/04/30 23:09:11
戻り値の型を auto にして trailing return type を省略し
return する値の型を全て同じにすれば
戻り値の型を自動的に類推してくれる、
という仕様は検討された事ないのかな
それがあれば関数をカリー化して返せるんだが
auto add(int n) {
return [=](int x) { return x + n; };
}
476:デフォルトの名無しさん
10/04/30 23:14:48
>>474
おおっとそれはすごい。VC10にいつかはサポートされるかな。
現状のVC10はどこまでサポートされてるのかさっぱり分らない。SPが出るたびに調整かｗ
477:デフォルトの名無しさん
10/04/30 23:29:33
>>475
auto add = [](int n) {
return [=](int x) { return x + n; };
};
で我慢しろ
478:デフォルトの名無しさん
10/04/30 23:37:39
>>476
URLﾘﾝｸ(blogs.msdn.com)
URLﾘﾝｸ(wiki.apache.org)
479:デフォルトの名無しさん
10/05/01 00:02:33
Unified Function Syntaxも戻り値の型推測入れればいいのに
480:デフォルトの名無しさん
10/05/01 00:15:10
>>475
宣言だけの場合は？
481:デフォルトの名無しさん
10/05/01 01:14:15
>>480
inline や template と同様、ヘッダにしか書けない
ただし、static を明示的につけない限り、リンク時に実体は１つにまとめられる
宣言だけ書くことはできるが、同じ翻訳単位に定義が必要
みたいな感じで
482:デフォルトの名無しさん
10/05/01 01:15:40
×ヘッダにしか書けない
○複数の翻訳単位から利用するにはヘッダにしか書けない
483:デフォルトの名無しさん
10/05/01 01:18:30
まあ、同じ定義を自分で複数の翻訳単位に書いてもいいんだけど
それはそれこれはこれということで
484:デフォルトの名無しさん
10/05/01 01:38:18
>>478
ありがとう。対応状況が一目で分かって助かります。
485:デフォルトの名無しさん
10/05/01 11:05:51
引数が二個ある関数で右辺値参照するときは、
こんな風に全ての組み合わせがいるの？
hoge func(const fuga& a,const piyo& b);
hoge func( fuga&& a,const piyo& b);
hoge func(const fuga& a, piyo&& b);
hoge func( fuga&& a, piyo&& b);
486:デフォルトの名無しさん
10/05/01 11:30:56
どういう使い方するかによるんじゃない
普通は一方をもう一方の情報を使って変更して
変更したオブジェクトを返すという形にすると思うけど
487:デフォルトの名無しさん
10/05/01 13:19:54
VC10で is_pod<void>::value がtrueになるのは相変わらずか。
488:デフォルトの名無しさん
10/05/01 16:03:18
>>485
なるほど、通常は片方だけですむってことなのか。
489:デフォルトの名無しさん
10/05/02 04:07:58
ラムダ面白いな。
てきとーにVC10ee触ってるんだが、ラムダって制限つきローカル関数のように使えるな。
さらに便利かも。
490:デフォルトの名無しさん
10/05/02 08:57:41
確かにfor_eachなどに直接渡すだけじゃなく、ローカル関数として使えるね
これでいちいち関数内に構造体作る必要がなくなったわ
しかもメンバにも直接アクセスできるし
491:デフォルトの名無しさん
10/05/02 09:48:03
ラムダ関数はresult_typeを定義してくれてたら完璧なんだけど
492:デフォルトの名無しさん
10/05/02 12:15:28
その辺はconceptで整備するつもりだったんだろうけど…
function_traitsを定義するんで凌ぐのかな。
493:デフォルトの名無しさん
10/05/02 15:36:14
>>490
メンバにもアクセスできるの？！
ローカルクラスとかわんないと思いこんでた
494:デフォルトの名無しさん
10/05/02 15:39:58
環境いじれないのはlambda式じゃないぜ…
495:デフォルトの名無しさん
10/05/02 16:43:10
thisをキャプチャすればメンバに触れる
どうせ[=]か[&]にするだろうから
自動的にキャプチャされるだろうが
496:デフォルトの名無しさん
10/05/02 19:02:42
むしろthisがキャプチャされない場合って．．．？
497:デフォルトの名無しさん
10/05/02 19:36:34
[]にしたい時だってある
498:デフォルトの名無しさん
10/05/02 20:48:36
引数しか使わない
そんな気分の時があります
499:デフォルトの名無しさん
10/05/02 20:59:31
キャプチャってなんだーー！！！
ああ、0xのLambda式か。
500:デフォルトの名無しさん
10/05/03 00:01:17
autoって本当に便利ですね。てかテンプレートには必須だよ。
501:デフォルトの名無しさん
10/05/03 00:08:41
キャプチャしない場合でも、[&][=]って書いてもペナルティはない？
紛らわしいからやめろと言われればその通りなんだが、コンパイラがどういうコードを吐くのか気になる
502:デフォルトの名無しさん
10/05/03 00:15:16
最適化すりゃ消える
503:デフォルトの名無しさん
10/05/03 00:15:56
むしろ追加でコード生成されんの？
504:デフォルトの名無しさん
10/05/03 00:28:00
lambdaって戻りを省略できるると思ってたのですが。
VC10です。C++0xWikipediaにも省略できるって書いてあるのに？
auto z0=[](int x)->{return x;}; //エラー
auto z1=[](int x)->int{return x;}; //OK
auto z2=[](int x)->decltype(x){return x;};//OK
505:デフォルトの名無しさん
10/05/03 00:29:10
すまん，キャプチャの意味がわかってなかった．．．
506:デフォルトの名無しさん
10/05/03 00:43:19
>>504
おばか
507:デフォルトの名無しさん
10/05/03 00:49:10
省略の意味がちげえｗ
508:デフォルトの名無しさん
10/05/03 05:56:52
>>502
コピコンのあるようなものがいらっしゃると消えてくれないかも
509:デフォルトの名無しさん
10/05/03 09:42:06
[](int x){return x;}
510:デフォルトの名無しさん
10/05/03 10:45:04
->int とかの trailing-return-type って普通の関数定義にも使えるんだな
用途がよくわからんが
511:デフォルトの名無しさん
10/05/03 10:52:02
Phase of translation の 5 なんだけどさ
std::printf("%.4x\n", (int) u'\u0905'); //デーバナーガリー文字 \u0905
↓ phase 5
実行時キャラクターセットに対応する文字が無ければ
'\0'以外の適当な文字に置き換えられる
(eucとかだったら \u0905 は無い)
std::printf("%.4x\n", (int) u'?');
↓
実行結果: 003f (プレフィクス u をつけてもやっぱり 0905 にならない)
―ってこと？ 最近のOSなら大丈夫なんだろうけど。
512:デフォルトの名無しさん
10/05/03 11:06:26
>>507 kwsk
513:デフォルトの名無しさん
10/05/03 12:50:15
>>510
template <typename T>
auto foo(T a, T b) -> decltype(a + b) { return a + b; }
とかできるよね、という話らしいよ
514:デフォルトの名無しさん
10/05/03 12:54:00
あとは auto foo() -> int(*)(); とか、関数ポインタや配列ポインタを返しやすいとか
515:デフォルトの名無しさん
10/05/03 12:57:20
そういやlambdaはDLLにexportできるようになるんかな？
516:デフォルトの名無しさん
10/05/03 12:58:54
exportするなら普通の関数でええやんという話
517:デフォルトの名無しさん
10/05/03 12:59:27
>>509 あ、そうか。そうだような。俺が馬鹿でした。
でもさすがにC#のように引数の型を省略 auto z3=[](x){return x*2;}; は無理？とおもったけど。
auto z4=boost::lamabda::_1*2; はOKなのね。boost::lambda恐るべし。
518:デフォルトの名無しさん
10/05/03 13:02:53
C#の型推論はデリゲート側と型を一致させるというしくみだから
autoで受けるC++0xではまあ使えないわなあ
519:デフォルトの名無しさん
10/05/03 13:10:52
>>513-514
なるほど、納得。
520:デフォルトの名無しさん
10/05/03 13:13:25
どんどん初心者お断りで複雑怪奇な仕様になっていってる気がする…
521:デフォルトの名無しさん
10/05/03 13:14:46
なにをいまさら
522:デフォルトの名無しさん
10/05/03 13:15:43
カンタンカンタン
523:デフォルトの名無しさん
10/05/03 14:41:40
>511
u'\u0905' wchar16_t だから「実行時キャラクターセット」は使われません。
どんな環境でも UTF-16 エンコードが使われます。
0x0905 と同じ表現を持つ値となります。
524:デフォルトの名無しさん
10/05/03 16:44:54
>>523
実行文字集合に無い文字は、翻訳段階5でいったん文字化けさせろって書いてない？
「文字(列)リテラル中のユニバーサルキャラクター名は、実行文字集合中の対応物に置き換える」
リテラル中の文字が、ユニコードでどの値を持つか評価されるのって、その後だよね？
525:デフォルトの名無しさん
10/05/03 20:40:41
>>520
分かる部分だけ使ってりゃいいって
526:デフォルトの名無しさん
10/05/03 21:01:41
コンセプトが入ってればエラーメッセージが(以下略
527:デフォルトの名無しさん
10/05/04 00:06:10
C++0xはよく考えられた改良だと思うけど
互換性のために殆どが「追加」になっちゃうんだよね
便利でシンプルで完全に動作するC++のサブセットって定義できんもんだろうか
528:デフォルトの名無しさん
10/05/04 00:08:11
互換性を無視したとして、いらない機能は何だろう？
つ可変引数
529:デフォルトの名無しさん
10/05/04 00:11:23
それは要るだろw
筆頭は0＝ヌルポインタだな。
530:デフォルトの名無しさん
10/05/04 00:13:03
古い(というか従来の)関数宣言
struct か class のどちらか
古い(というか従来の) enum
531:デフォルトの名無しさん
10/05/04 00:17:07
typedef
532:デフォルトの名無しさん
10/05/04 00:17:40
型変換演算子の廃止
533:デフォルトの名無しさん
10/05/04 00:18:19
コピコンとデフォコンの特殊ルール
534:デフォルトの名無しさん
10/05/04 00:19:06
unsigned全部
535:527
10/05/04 00:29:42
>>527 は新しい言語を作るんじゃなくてサブセットを定義して学習のコスト削減を意図してました
仕様変更ではなくコーディングルールみたいなもん
536:デフォルトの名無しさん
10/05/04 00:32:07
>>529
printfみたいに引数の検査ができな可変引数よりも、
cout<<a<<b; とか boost::format("%d %d")%a&b;
とかてC++の機能で代用できるもので可変引数は廃止でいいんじゃないか？
hoge a(); が関数のプロトタイプになるのはなくしていいとおもう。
537:デフォルトの名無しさん
10/05/04 00:34:21
boost::format("%d %d")%a%b; だった。
538:デフォルトの名無しさん
10/05/04 00:43:08
これだろ…
std::vector<bool>
539:デフォルトの名無しさん
10/05/04 00:48:27
1パスコンパイル
540:デフォルトの名無しさん
10/05/04 00:49:54
bind1st , bind2nd, fun_ptr
541:デフォルトの名無しさん
10/05/04 00:51:57
>>536
printfを例に出すとは素質悪いな
542:デフォルトの名無しさん
10/05/04 00:56:10
禿の新しいC++本(Programming: Principles and Practice Using C++)で
10行程度しか触れられていない
valarray
543:デフォルトの名無しさん
10/05/04 00:56:45
互換性を無視していいならいらない機能の筆頭は、暗黙の変換
バグの元
544:デフォルトの名無しさん
10/05/04 00:59:15
アップキャストがバグの元っていったい
545:デフォルトの名無しさん
10/05/04 01:00:58
>>544
non-explicitなコンストラクタとかoperator T()のことじゃない？
546:デフォルトの名無しさん
10/05/04 01:02:40
整数の暗黙の拡張とか
547:デフォルトの名無しさん
10/05/04 01:10:06
暗黙の変換というか標準変換の一部と言うべきなのか
要するに数値型間の暗黙の変換
548:デフォルトの名無しさん
10/05/04 01:57:08
charをintegral typeから外して、integral type最小のbyteを設ける。
549:デフォルトの名無しさん
10/05/04 01:59:30
暗黙の型変換なくす人、
xがintの時、式 x * 3.14 の型はintでOK?
550:デフォルトの名無しさん
10/05/04 02:00:56
コンパイルエラー
551:デフォルトの名無しさん
10/05/04 02:02:56
>>549
#pragma yutori
ならばOK
552:デフォルトの名無しさん
10/05/04 02:05:09
整数の拡張って何がまずいん？
553:デフォルトの名無しさん
10/05/04 02:10:00
unsigned int x = -1;
がコンパイルできちゃう
554:デフォルトの名無しさん
10/05/04 02:21:52
static_cast使いまくりで可読性が悪くなりそう
555:デフォルトの名無しさん
10/05/04 02:28:01
>>491
result_ofが使えればいいよ。
556:デフォルトの名無しさん
10/05/04 02:29:28
>>553
警告が出るからいいんじゃね？
557:デフォルトの名無しさん
10/05/04 02:32:38
数値の暗黙の拡張にこれほど疑問や反論がでるのは予想外だった
正直、ほとんどの人に共通の認識だと思ってた
558:デフォルトの名無しさん
10/05/04 02:35:27
>>556
これには警告でないでしょ
gcc -Wall でも警告でないはず
unsigned f(int y)
{
unsigned int x = y;
return x;
}
unsigned int g()
{
return f(-1);
}
559:デフォルトの名無しさん
10/05/04 06:01:55
-Wsign-conversion で警告がでるな
560:デフォルトの名無しさん
10/05/04 11:10:01
-Wextra
561:デフォルトの名無しさん
10/05/04 11:48:53
-Warata
562:デフォルトの名無しさん
10/05/04 11:53:26
-Wwwwwwww
563:デフォルトの名無しさん
10/05/04 12:09:41
多少ずれるが
unsigned変数の小なり０比較はエラーにすべき
564:デフォルトの名無しさん
10/05/04 12:52:01
>>563
警告出して最適化してくれれば十分だと思う。
テンプレート使ってるとsignedとunsinged両方使えるようにするとき役に立つ。
警告なら必要に応じて抑制できるけど、エラーだとsignedとunsingedで分岐するテンプレートを書く必要が出てきて面倒。
565:デフォルトの名無しさん
10/05/04 12:54:21
最適化というのは，勝手にsigned変数に変更するということ？
それとも比較元を＋１して小なり1比較ってこと？
566:デフォルトの名無しさん
10/05/04 12:55:00
いや、常にfalse判定じゃないかと
567:デフォルトの名無しさん
10/05/04 13:01:05
うんfalse判定でifのtrue項が削除されてとりあえず警告。その箇所だけpragmaで警告抑制。
568:デフォルトの名無しさん
10/05/04 14:48:38
>>563
エラーにするのはループ条件に出てきた時だけでいい
その他の場合はフェイルセーフで書く事もあるので警告すら出て欲しくないな
569:デフォルトの名無しさん
10/05/04 15:37:34
>>568
ループ条件に出てきたときはループ削除でよくない？エラーはやりすぎでしょう。
570:デフォルトの名無しさん
10/05/04 15:39:53
>>569
ごめん
別な条件の方で考えてた
(unsigned)x >= 0 の方
571:デフォルトの名無しさん
10/05/04 19:07:10
-Wallでも警告されずバグを埋め込んだ例
URLﾘﾝｸ(bugzilla.kernel.org)
572:デフォルトの名無しさん
10/05/04 20:28:37
>>571
すげー
Linus Torvalds の生コメントがある！
・・・でもLinusはC++大嫌いだったな確か。
573:デフォルトの名無しさん
10/05/04 21:36:18
enum class って劣化 Java の enum だよね
Java の enum そのものにしてくれないかなぁ・・
574:デフォルトの名無しさん
10/05/04 22:21:57
どちらかといえばC#のenumが近い
575:デフォルトの名無しさん
10/05/04 22:26:04
それは確かに否め（enumえ）ない
576:デフォルトの名無しさん
10/05/04 22:39:39
>>573
Java の enum ってどういう挙動なんだか知らんが
そんなに良いのか？
577:デフォルトの名無しさん
10/05/04 22:56:31
Javaのenumはクラスに近くて、
要素の宣言でコンストラクタに渡すパラメータを指定できる。
578:デフォルトの名無しさん
10/05/04 23:03:51
>>577
ふーん。ありがとう。
いっそenum class とenum structみたいに2種類にして
機能を分ければよかったのにね。
579:デフォルトの名無しさん
10/05/04 23:19:42
enumとして正しい値かどうか検査するメンバ関数とか
enum名を文字列で返すメンバ関数とか欲しいわ
580:デフォルトの名無しさん
10/05/04 23:42:32
>>576
enum class は単に enum をタイプセーフにしただけだけど、Java のはメソッドをもてたり、
各要素毎にオーバーライドして振る舞いも変更できる。
public enum Operation {
PLUS("+") { double eval(double x, double y) { return x + y; } },
MINUS("-") { double eval(double x, double y) { return x - y; } },
TIMES("*") { double eval(double x, double y) { return x * y; } },
DIVIDE("/") { double eval(double x, double y) { return x / y; } };
abstract double eval(double x, double y);
private Operation(String op) {
op_ = op;
}
private String op_;
}
Operation.PLUS.eval(10, 3); // -> 13
これ結構便利だと思う。C++にも同等の機能入れてくれないかな
581:デフォルトの名無しさん
10/05/04 23:59:20
そこまでするならクラスでいいじゃん、と思う
582:デフォルトの名無しさん
10/05/05 00:06:13
先生！！メリットがわかりませんん！！
583:デフォルトの名無しさん
10/05/05 00:10:28
enum class {} というのは指定したクラスのconstインスタンスを名前を
付けて列挙するものという意味付けにすれば後は何でも出来そうな。
584:デフォルトの名無しさん
10/05/05 00:21:49
Scala の case class の超絶しょぼい版という印象だな > Java の enum
585:デフォルトの名無しさん
10/05/05 00:22:54
演算子のオーバーロードは今のenumでもできるが
586:デフォルトの名無しさん
10/05/05 00:28:55
Javaほど機能詰めすぎると逆にイミフなような…
俺がほしかったのは"スコープつきのタイプセーフな列挙子"だし、
機能詰め込んだとしてもC#のenum程度でいいよ
587:デフォルトの名無しさん
10/05/05 00:39:09
ToStringは欲しかった
588:デフォルトの名無しさん
10/05/05 00:58:06
boost::lexical_cast
589:デフォルトの名無しさん
10/05/05 01:10:52
typeidのnameをもっとまともに規定してほしかった。
590:デフォルトの名無しさん
10/05/05 01:16:59
>>588
それもSTLコンテナの場合、operator<<が定義されてないから使えないんだよな……
591:デフォルトの名無しさん
10/05/05 01:23:39
自分で定義すれば良いんじゃね？
592:デフォルトの名無しさん
10/05/05 01:32:26
>>589
ちゃんと読める名前を返すものと、一意性さえあればいいものと、２つ用意して欲しいわ
593:デフォルトの名無しさん
10/05/05 01:36:48
typeidの名前の文字列をバイナリに含めるか含めないかのオプションが欲しい
594:デフォルトの名無しさん
10/05/05 15:03:54
ラムダ式を関数ポインタに渡せるようになれば、
システムコールバックが使いやすくなるな
GCなしでどう実装するのか分からないが
595:デフォルトの名無しさん
10/05/05 15:26:48
また来た
596:デフォルトの名無しさん
10/05/05 23:30:16
>>578
classとstructの違いはデフォルトのアクセス性しかないのに
enum class とenum structで機能が違うのは紛らわしくね?
597:デフォルトの名無しさん
10/05/05 23:52:10
template <struct T> がエラーなのと同様、
enum struct は不許可にすべき
598:デフォルトの名無しさん
10/05/06 00:30:59
>>590
そもそもコンテナの文字列表現なんて一意に決められるものでないから、
template<class Policy, class Container> class container_io_wrapper;
template<class Policy, class Container> container_io_wrapper container_io(Container& c);
std::vector<int> v = { 1, 2, 3, 4 };
std::cout << container_io<EnumPolicy>(v) << std::endl;
// 例えば [1, 2, 3, 4] のように表示される。
みたいなラッパーを自作するだろ普通。
599:デフォルトの名無しさん
10/05/06 08:37:22
lambdaって関数の引数として渡したい場合はtemplate使うしかないの？
シグネチャが分かっててもダメなんかな。
600:デフォルトの名無しさん
10/05/06 08:49:07
シグネチャが同じってoperator()のシグネチャが同じなだけで
キャプチャした変数によって型は違うんじゃないの？
601:デフォルトの名無しさん
10/05/06 08:52:44
>>600
翻訳単位が違えば型も別になるしなぁ。
静的型付けが大前提だし、template使うしかないのか・・・
602:デフォルトの名無しさん
10/05/06 09:38:55
ていうかlambdaのoperator()ってvirtualになってないのかな?
なってなさそうだなぁ
603:デフォルトの名無しさん
10/05/06 12:03:19
ラムダ式はalgorithmと組み合わせて使う事がほとんどだろうから
virtualはあまり必要ないんじゃ？
あ、コンテナの中にBase, Derivedへのポインタが入っていた場合に欲しいか
604:デフォルトの名無しさん
10/05/06 12:09:12
>>603
うん、C++的発想だとそうなるんだけど、つまりシグネチャ決めようがねーよなって話
605:デフォルトの名無しさん
10/05/06 12:31:36
無理にやったらやったで出来ない事もないだろうが
ただでさえキモいラムダ式がさらにキモくなるな
606:デフォルトの名無しさん
10/05/06 12:39:01
そういう強引な自己満コードを見たら今後は キモダ式 と呼ぶ事にするｗ
607:デフォルトの名無しさん
10/05/06 13:53:03
C++0xが入るとBoostはさらにキモさをPowerUpするぜ間違いない
608:デフォルトの名無しさん
10/05/06 13:57:02
いやな、VS2010で遊んでるんだが、ラムダ式かなり使えるよホント
これでBoost::lambdaはほとんど必要なくなるな
しかし見栄えが汚いな
C#3.0の時に汚いの分かってたろうからもう少し綺麗に見栄えのする
書式にできなかったものかねえ
609:デフォルトの名無しさん
10/05/06 14:37:53
Cの関数ポインタ自体がきったねぇことを考えると
もうラムダさんの服装は無難で妥当に思えてきたよ
610:デフォルトの名無しさん
10/05/06 14:53:15
ラムちゃんの衣装は虎模様のビキニ
611:610
10/05/06 14:54:01
誤爆しました
612:デフォルトの名無しさん
10/05/06 17:46:38
VS2010のメリットはラムダさんとautoさんとdecltypeさんだけだからな
他のすべての点においてVS2008に劣っている
613:デフォルトの名無しさん
10/05/06 18:50:40
VS2010は発売後直ちに数多くのバグ報告がされているからSP1は
早めに出るかも知れない
その時にC++0xの時間が無くて入れられなかった機能を入れて欲しい(´･ω･｀)
614:デフォルトの名無しさん
10/05/06 18:59:36
最初のベータから0xの機能は増えてないんだよな
615:デフォルトの名無しさん
10/05/06 19:52:03
>>612
rvalue reference の準拠文書が更新されてるってのを
Boost ML で見たような気がする。
616:615
10/05/06 19:54:16
>>612 じゃなくて >>614 だった。
617:デフォルトの名無しさん
10/05/06 20:21:29
VC2010は右辺値参照サポートしてライブラリも Move Semantics を実装してるんじゃなかったっけ？
618:デフォルトの名無しさん
10/05/06 20:22:50
別にC++0xの規格がまだ定まっていない以上、
C++0xに関するバグはどれだけあろうがしょうがないんじゃない？
ただ2010から現在のC++0x機能を除いたら何が残るのか知らんけど。
619:デフォルトの名無しさん
10/05/06 20:24:22
最早スレチだと思うけど、インテリセンスがマシになったという噂
620:デフォルトの名無しさん
10/05/06 20:45:35
C++/CLIはインテリセンス自体がなくなった
621:デフォルトの名無しさん
10/05/06 20:56:45
>>620
なるほど。確かにインテリセンスのバグはなくなったな。
622:デフォルトの名無しさん
10/05/06 23:08:42
>>608
boost::lambdaはこんなこともできる。
auto m=boost::lambda::_1*2;
auto a=m(3); //戻りはint
auto b=m(1.3); //戻りはdouble
623:デフォルトの名無しさん
10/05/06 23:31:53
>>617
std::mapとstd::tr1::shared_ptrを使ってみたけど両方共右辺値参照サポートしてるね。
624:デフォルトの名無しさん
10/05/06 23:34:07
>>619
インテリセンスはよく効くようになってきてるね。
エラーのハイライトの反映が遅いね。処理中は薄くするかステータスバーに表示して欲しいな。