Почему бы мне не попытаться изменить его?
Потому что это неопределенное поведение.Цитата C99 N1256 черновик 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» и инициализирует его, чтобы указывать на объект с типом «array of char» длиной 4, элементы которого инициализируются ссимвольная строка литерала.Если предпринята попытка использовать p для изменения содержимого массива, поведение не определено.
Куда они идут?
GCC4.8 x86-64 ELF Ubuntu 14.04:
char s[]: стек char *s: .rodata секция объектного файла - тот же сегмент, куда выводится раздел
.text объектного файла, который имеет разрешения на чтение и выполнение, но не на запись
Программа:
#include <stdio.h>
int main() {
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
Таким образом, строка сохраняется в секции .rodata.
Тогда:
readelf -l a.out
Содержит (упрощенно):
Program Headers:
Type Offset VirtAddr PhysAddr
FileSiz MemSiz Flags Align
[Requesting program interpreter: /lib64/ld-linux-x86-64.so.2]
LOAD 0x0000000000000000 0x0000000000400000 0x0000000000400000
0x0000000000000704 0x0000000000000704 R E 200000
Section to Segment mapping:
Segment Sections...
02 .text .rodata
Это означает, что скрипт компоновщика по умолчанию сбрасывает как .text, так и .rodata в сегмент, который может быть выполнен, но не изменен (Flags = R E).Попытка изменить такой сегмент приводит к ошибке в Linux.
Если мы сделаем то же самое для char[]:
char s[] = "abc";
, то получим:
17: c7 45 f0 61 62 63 00 movl $0x636261,-0x10(%rbp)
поэтому он сохраняется в стеке (относительно %rbp), и мы, конечно, можем его изменить.