文字列とポインタについての初歩的な質問

Question

質問内容

かなり初歩的なことなのですが、下記のソースコードにおいて一番上の文は配列の初期化、次の文は、ポインタの初期化を表していることはわかるのですが、１番下の文は文法的に正しいのでしょうか？また正しいならどんな意味をなしているのでしょうか。かなり変な質問だと思いますがよろしくお願いします。

該当のソースコード

char s[]="abcde";
char *s="abcde";
char s="abcde";

Comments

[LouiS0616]

実際に試してみましたか？

Answer 1

少なくとも現在の言語仕様上は間違っています。 現代の主要なコンパイラではエラーになるはずです。

古いコンパイラでは (処理系の拡張として) char s="abcde"; を通す場合もあり、その場合はポインタを char 型に暗黙に型変換をしていることになります。 ポインタと整数の間での変換がどうなるかというのは言語仕様上では規定していないので実際にどうなるかは言語処理系の裁量次第ですが、一般的にはポインタのビットパターンを整数として解釈してその下位 1 バイトを得るという処理になるでしょう。

あくまでも言語仕様の外のことですし、それが出来たところで普通は意味のあることが出来るとは思えません。

• 言語仕様に照らすと正しくない
• 処理系が通すことは無くもない (古い処理系はチェックがガバガバなこともある)
• 仮に通ったとしても意味のある何かが出来るとは思えないのでもしそういうコードを見つけたらたぶん間違っているだろう

Comments

[kelt22]

詳しい説明ありがとうございます。疑問だったことが理解できました。

Answer 2

すでに回答がついているのですが、質問文に気になるところがあります。

「一番上の文」とか「次の文」と言っていますが、これらは「文」ではありません。
char s[] = "abcdef"; は「宣言」です。

例えば、if文は「if (式) 文」という構文ですが、
if (a > 0) char s[] = "abcde"; はエラーになります。
「char s[] = abcde";」が宣言であって、文ではないからです。
C++ では、宣言は文になれるのでエラーになりません。

質問が文法的に正しいかどうかというものなので、指摘してみました。

また、質問に対して LouiS0616さんが「実際に試してみましたか？」と
尋ねていますが、こういうことにはきちんと返答しましょう。

Answer 3

１番下の文は文法的に正しいのでしょうか？

正しくありません。charをchar *で初期化する形となり、コンパイルエラーとなります。