文字列リテラルの初期化から統一初期化構文と複合リテラルへの話

IGARASHI Shinji＠無職 @s50

なんとなくC99とC++で混じっちゃってるだけのような気がしなくもないけどきっちり確認する気力がない

めるぽん.c @melponn

そもそも文法違反じゃないのか？

でちまるさん（実際かわいい） @decimalbloat

うーん、braced-init-listが何かの式として解釈されているよう…

めるぽん.c @melponn

そういえば C++0x では enum の最後の要素にカンマが付いててもおっけーになったんだっけ。

Yak! @yak_ex

std::initializer_list<int> じゃないですか？ RT @melponn: { 1, 2, 3} 自体が何の型になるのかが仕様から分からない･･･

でちまるさん（実際かわいい） @decimalbloat

もしかして (int[]) 型の値として{1,2,3}が認識されているから、これは実はキャストでも何でもない、ということか？どこにそんな文法を許容するという文言が書いたあるんや！！！

でちまるさん（実際かわいい） @decimalbloat

C++03モードでも通るのがイミフ

IGARASHI Shinji＠無職 @s50

というかg++ -pedantic -std=c++0x でふつうに error: ISO C++ forbids compound-literalsとかいわれますた

IGARASHI Shinji＠無職 @s50

@DecimalBloat C99「ごめんなさい」

Egtra (ysk-noh) @egtra

(int[]){1, 2, 3, 4}; (std::vector<int>){1, 2, 3, 4}; (std::array<int, 4>){1, 2, 3, 4}と並べてコンパイルが通ったら、そりゃ3つとも同じ構文だと思い込むよ……。

めるぽん.c @melponn

@yak_ex 全部の braced-init-list がそうだとすると int[] なんかに代入できなくなりそうな気がー。

Yak! @yak_ex

@DecimalBloat 全然ついていっていませんが、N3035 8.5.4p3 は関係してます？その辺は通り越した議論ですか？

めるぽん.c @melponn

うーん、C++03 の仕様上だと無理だから新しい初期化リストの構文だと解釈されてるんだろうけど、std::initializer_list は int[] への変換を持ってないだろうし･･･いやほんとか？

Egtra (ysk-noh) @egtra

あ、std::vector<int>{1, 2, 3, 4}; std::array<int, 4>{1, 2, 3, 4};でもコンパイル通る。ごめんなさい。

Egtra (ysk-noh) @egtra

でもtypedef int arr_t[4]; arr_t{1, 2, 3, 4};もいけるぞ。int[]{1, 2, 3, 4};はエラー。

でちまるさん（実際かわいい） @decimalbloat

@yak_ex 一応 declaration-statement において、 braced-init-list が登場できる文脈を調べたのですが、(int[]){1,2,3})がwell-formedである、と言える文言は見つからないです。

IGARASHI Shinji＠無職 @s50

ぼくのg++は4.3系なのでinitializer listsはついてないのでエラります

でちまるさん（実際かわいい） @decimalbloat

@egtra arr_t{1,2,3}はあれですね、uniform initialization syntaxですね。

IGARASHI Shinji＠無職 @s50

つまりpedantic付けなけりゃ2つ合わせてなんかかっちょいい言語になるってことだ！ちがう！

Yak! @yak_ex

@DecimalBloat simple type specifier の場合なら、5.2.3p3 だけど、int[] は simple type specifier じゃないだろってことですか。

Egtra (ysk-noh) @egtra

やっと追い付いたかな。自分も5.2.3p3で納得した。

Egtra (ysk-noh) @egtra

つまり(int[]){1, 2, 3}はC++0xの構文ではないと理解する。

めるぽん.c @melponn

@egtra C++03 なマイ環境でコンパイルすると怒られました･･･

Egtra (ysk-noh) @egtra

@melponn 自分が使っているg++ 4.4.1 (MinGW TDM)だと-pedantic付けない限り、-std=c++98でも(int[]){1, 2, 3}は警告1つ出さないです。

めるぽん.c @melponn

@egtra あ、自分も (int[]){1, 2, 3}; だけだと怒られなくて、int n[] = (int[]){1, 2, 3}; ってやったら怒られました･･･。もうやだC++･･･