Cのconst文字列へのポインタ

Question

char *p = "string"; //creates pointer to constant string 

char p[] = "string"; //just an array with "string" 

なぜ私は最初の例で定数文字列へのポインタを作成するのですか？それは単に "文字列"を持つメモリ内の場所を参照するポインタではないでしょうか？

Answer 1

残念なことにC（およびC++ 03、互換性については）では合法です。しかし、ポインタを介して文字列リテラルを変更しようとすると、未定義の動作になります。だから、より良い常に最初のケースでconst char*

const char * cp = "Hello"; //OK 
char* p = "Hello"; //OK (unfortunately) 
cp[0] = 'Y'; //Compile-time error, good 
p[0] = 'Y'; //no compiler error, undefined behavior 

Answer 2

最初のケースでは、"string"がプロセスの読み取り専用領域に格納される可能性があります。したがって、pが指すメモリを変更しようとすると、未定義の動作が発生します。

2番目のケースでは、実際のメモリは実行時に（またはプログラム起動時にローカル変数でない場合はプロセスの適切なセクションで）スタックに割り当てられ、初期化されるため、メモリの変更はOKです。

最初のケースは次のように示すことができる。後者の場合であるのに対し

+---+   +---+---+---+---+---+---+---+ 
| | ----> | s | t | r | i | n | g | \0| 
+---+   +---+---+---+---+---+---+---+ 
    p 

：

+---+---+---+---+---+---+---+ 
| s | t | r | i | n | g | \0| 
+---+---+---+---+---+---+---+ 
       p 

あなたは、彼らがしていることを聞いたことがあるかもしれないが2つの宣言は、有意差を持っています低品質のCプログラミングブックと同じです。第二のタイプchar []の配列ある一方

最初は、タイプchar *のポインタあります。いくつかのコンテキストでは、配列識別子がデコレーションをポインタに渡しますが、ポインタではありません。

ポインタがアドレスアレイが「全部」であるに過ぎない - 最初のケースsizeof(p)にポインタ（ターゲットマシンに応じて通常4又は8）の大きさが得られる、第2の場合には得られます7 * sizeof(char)、実際の文字列の長さ。

Answer 3

最初の1つは、ポインタを作成し、それを定数文字列のアドレスに設定します（おそらくページの書き込み保護を持たない領域にあります）。このポインタへの書き込みは不正です（おそらくクラッシュします）。

は、配列を作成し、文字をコピーします。この配列に書き込むと、スタック上のある場所に書き込まれ、完全に合法です。

Answer 4

にリテラル文字列を代入、「文字列」ので、メモリを変更しようと、プロセスの読み取り専用領域に格納することができるのpによって指さだろう未定義の動作が発生します。

上記のコード行を繰り返し実行することで証明できます。

char *p="string"; 

pの内容（つまり「文字列」のアドレス）が一定のままであることがわかります。

char p[] = "string"; 

これらのメモリは、pの変更内容を実行するたびに割り当てられます。