C99 N1256ドラフト
文字列リテラルには2つの異なる使用法があります。
初期化char[]：
char c[] = "abc";
これは「より魔法」であり、6.7.8 / 14「初期化」で説明されています。
文字型の配列は、文字列リテラルで初期化できます。オプションで中括弧で囲むこともできます。文字列リテラルの連続する文字（スペースがある場合、または配列のサイズが不明である場合の終了のnull文字を含む）は、配列の要素を初期化します。
したがって、これは次のショートカットです。
char c[] = {'a', 'b', 'c', '\0'};
他の通常の配列と同様に、c変更できます。
他の場所：それは以下を生成します：
だからあなたが書くとき：
char *c = "abc";
これは次のようになります。
/* __unnamed is magic because modifying it gives UB. */
static char __unnamed[] = "abc";
char *c = __unnamed;
以下からの暗黙のキャストに注意してくださいchar[]にchar *常に合法です、。
次にを変更するとc[0]、__unnamedUBであるも変更されます。
これは6.4.5「文字列リテラル」に記載されています。
5変換フェーズ7では、文字列リテラルから生じる各マルチバイト文字シーケンスに、値0のバイトまたはコードが追加されます。次に、マルチバイト文字シーケンスを使用して、シーケンスを含めるのに十分な静的ストレージ期間と長さの配列を初期化します。文字列リテラルの場合、配列要素のタイプはcharであり、マルチバイト文字シーケンスの個々のバイトで初期化されます[...]
6これらの配列が異なるかどうかは、それらの要素が適切な値を持っているかどうかは不明です。プログラムがそのような配列を変更しようとした場合の動作は未定義です。
6.7.8 / 32「初期化」は直接的な例を示します：
例8：宣言
char s[] = "abc", t[3] = "abc";
「プレーン」なchar配列オブジェクトsを定義し、tその要素は文字列リテラルで初期化されます。
この宣言は
char s[] = { 'a', 'b', 'c', '\0' },
t[] = { 'a', 'b', 'c' };
配列の内容は変更可能です。一方、宣言
char *p = "abc";
pタイプ "pointer to char"で定義し、長さが4のタイプ "charの配列"で、要素が文字列リテラルで初期化されるオブジェクトを指すように初期化します。を使用pして配列の内容を変更しようとした場合の動作は未定義です。
GCC 4.8 x86-64 ELF実装
プログラム：
#include <stdio.h>
int main(void) {
char *s = "abc";
printf("%s\n", s);
return 0;
}
コンパイルして逆コンパイルします。
gcc -ggdb -std=c99 -c main.c
objdump -Sr main.o
出力に含まれるもの：
char *s = "abc";
8: 48 c7 45 f8 00 00 00 movq $0x0,-0x8(%rbp)
f: 00
c: R_X86_64_32S .rodata
結論：GCCはchar*それをで.rodataはなくセクションに格納し.textます。
しかしなお、デフォルトのリンカスクリプトプット.rodataと.text同じでセグメント実行持って、ない書き込み許可。これは次のようにして観察できます：
readelf -l a.out
を含む：
Section to Segment mapping:
Segment Sections...
02 .text .rodata
同じことをする場合char[]：
char s[] = "abc";
私達は手に入れました：
17: c7 45 f0 61 62 63 00 movl $0x636261,-0x10(%rbp)
そのため、スタックに格納されます（と比較して%rbp）。