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

めるぽん.c @melponn

C++0x で char* p = "hoge"; はできないけど char p[] = "hoge"; はできるっぽい？そうなると array-to-pointer 変換で char* にもできそうな気がするけど･･･

Egtra (ysk-noh) @egtra

@melponn char p[] = "hoge";はchar p[] = {'h','o','g','e','\0'};の糖衣構文と考えれば、int a[] = {1,2,3}; int* p = a;ができてもint* p = {1,2,3};がダメなのと同じ理屈だと思う

@monimura

あれ、p[] って、終端の NULL 文字も入ったっけ？

@monimura

const char p[] かな？あれ？

@monimura

そうか、"hoge" という文字列リテラルで初期化しているから、終端の NULL 文字も入るのかな。

@monimura

明日、忘れていなかったら自分でなんとか確認しよう。

めるぽん.c @melponn

そもそも string literal が array of n const char なのにどこの仕様で char[] に格納できようになってるのかも気になって仕方がない･･･

めるぽん.c @melponn

うお、§8.5.2 におもっきし char array は string literal で初期化できるって書いてる･･･

めるぽん.c @melponn

ああ、なるほど、これで初期化することはできるけど、string literal 自体は const char[] だから char* への変換はできないのね。

Egtra (ysk-noh) @egtra

うひょー、int *p = (int[]){1, 2, 3, 4};ってコードがC99だけでなくC++0xでも通るのか？g++ 4.4.1でエラーにならないぞ。

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

@egtra Cスタイルのキャストですからね…

はざまwithあかりんかわかわ @hazama_akkarin

なんだ、この呪文みたいなコードはRT: @egtra: うひょー、int *p = (int[]){1, 2, 3, 4};ってコードがC99だけでなくC++0xでも通るのか？g++ 4.4.1でエラーにならないぞ。

七誌 @7shi

@egtra g++ 3.3だとエラーで、g++ 4.2.4では通ることを確認しました。

Egtra (ysk-noh) @egtra

@DecimalBloat ええ、C99とは構文の扱いが異なるということでしょうか。

IGARASHI Shinji＠無職 @s50

initializer listについてかるくしらべてみる

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

規格を読んでも int * p = (int[]){1,2,3}; が well-formed である理由は見あたらない…

IGARASHI Shinji＠無職 @s50

うおお！？そういやC99のCompound Literalはlvalueだたーのか

IGARASHI Shinji＠無職 @s50

あっちはキャストじゃないんだよなあ

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

braced-init-list が literal として認識されてるのか？

めるぽん.c @melponn

あれ、§8.5.1¶7の例って不適切じゃないのか？

IGARASHI Shinji＠無職 @s50

int *p = ((int[]){1,2});これ試しにg++4.3.3に食わしてみたけど、ポインタ経由でp[0]++とかもできるですね

めるぽん.c @melponn

"asdf" が char* に変換されてる。

Egtra (ysk-noh) @egtra

(int[]){1, 2, 3}がC++0xで合法だったとして、おそらくスコープは一時オブジェクトだよなあと想像。これからドラフト見てくる。

IGARASHI Shinji＠無職 @s50

お禿げ様はC99 style initializersはWe don’t propose to accept themとか言ってるようだけども？struct S{int x;}; S *p= &((S){1};はさすがに一時オブジェクトのあどれすーって警告出る（gccでは出ない）

めるぽん.c @melponn

{ 1, 2, 3} 自体が何の型になるのかが仕様から分からない･･･