文字列に書き込むときにセグメンテーション違反が発生するのはなぜですか？
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]、__unnamed UBである。
これは6.4.5「文字列リテラル」で説明されています。
5変換フェーズ7では、1つまたは複数の文字列リテラルから生成される各マルチバイト文字シーケンスに、値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のタイプ "array of 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ます。
同じことをする場合char[]：
char s[] = "abc";
私達は手に入れました：
17: c7 45 f0 61 62 63 00 movl $0x636261,-0x10(%rbp)
したがって、スタックに格納されます（ %rbp）。
しかしなお、デフォルトのリンカスクリプトプット.rodataと.text実行持っている同じセグメント、ない書き込み許可インチ これは次のように観察できます：
readelf -l a.out
を含む：
Section to Segment mapping:
Segment Sections...
02 .text .rodata