C言語なら俺に聞け 163 (987ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
261(1): デフォルトの名無しさん (ﾜｯﾁｮｲ d6f5-K4S3) [sage] 2024/09/24(火) 19:39:49.05 ID:tv/lKhnI0(1/2) AAS
>>174
174(3): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ f732-vU+L) [sage] 2024/09/15(日) 01:30:47.17 ID:B6k8li/O0(1/3) AAS
>>173
配列とその初期化子として現れる文字列リテラルが別の存在だってことが俺が何度も書いてることだよ。
これがそんなに何度も何度も何度も何度も書かないと理解できないようなことか？
別のポインタは配列を指せるが、その初期化子として現れる文字列リテラルを指せるわけじゃない。

char* foo = "hoge";

のようなケースではポインタ foo は文字列リテラルを指してるということと対比しての話だぞ。
> char* foo = "hoge";
>
> のようなケースではポインタ foo は文字列リテラルを指してる

（単に端折っただけかもしれないけれど、）文字列リテラルに関してCには非常に込み入った事情(Rationale Rev. 5.10 6.4.5 冒頭-l.26, N1256 Annex J.5.5)があり、厳密に言えば foo は "hoge" によって初期化された無名の配列を指している(N1256 6.7.8-32)。

C99RationaleV5.10
外部ﾘﾝｸ[pdf]:www.open-std.org
テンプレ入りキボンヌ

>>皆の衆
ともあれ、込み入った事情に該当しなければ
const char afoo[] = "hoge";
あるいは
const char * const ccfoo = "hoge";
場合によって
const char *cfoo = "hoge";
と書いて、うっかり書き換え防止に勇往邁進するのじゃ。
262: 261 (ﾜｯﾁｮｲ d6f5-K4S3) [sage] 2024/09/24(火) 19:51:57.01 ID:tv/lKhnI0(2/2) AAS
>>158
158(2): デフォルトの名無しさん (ﾜｯﾁｮｲ 8a56-/VPw) [sage] 2024/09/14(土) 19:10:37.88 ID:5H/bnNk90(3/4) AAS
>>155
外部ﾘﾝｸ:en.cppreference.com
ここ参考にしてたから文法定義の時点で式じゃないと思ってたけど、ちゃんと規格上は式としてのパースではあったね、すまない
改めて C99（でいいんだよね、6.7.8 ってことは）の draft 読んでみたけど、文字列リテラルで初期化できるのは 6.7.8.14,15 で特殊に定義された意味論であって、やっぱり式扱いじゃないんじゃないかね
件の意味論は 6.7.8-32 を介して 6.7.8-14,15 に帰結するように思われる一方で、文字列リテラルが 6.4.5-5 で自ら初期化した（やはり）無名の配列の代名詞だとすると 6.7.8-11 が適用されるという解釈も成り立ちそう。

char *gfoo1 = "hoge"; // (1)
char *gfoo2 = "hoge"; // (2)

void f() {
char *foo1 = "hoge"; // (3)
char *foo2 = "hoge"; // (4)
}

>>261 で触れた文字列リテラル書き換え派の場合、(1)〜(4)は別物なので、各々初期化しなければならないため前者の解釈。この時、(3), (4)が automatic storage duration でも良いように 6.7.8-32 では storage duration を定めていないのだと思う。
他方、文字列リテラル不変派の場合、(1)〜(4)は同一で良いので、初期化を一回で済ませて後者の解釈。
結局、前後者両方の解釈が出来るようになっているように見える。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.035s