c – 为什么字符串文字是常量？

众所周知,C字符串文字是不可变的,修改字符串文字的结果是未定义的.例如

char * str = "Hello!";
str[1] = 'a';

这将带来不确定的行为.

除了字符串文字放在静态内存中.因此它们存在于整个程序中.我想知道为什么字符串文字有这样的属性.

有几个不同的原因.

一种是允许将字符串文字存储在只读存储器中(正如其他人已经提到的那样).

另一种方法是允许合并字符串文字.如果一个程序在几个不同的地方使用相同的字符串文字,那么允许(但不一定要求)编译器将它们合并是很好的,因此您可以获得指向同一内存的多个指针,而不是每个指针占用一个单独的内存块.当两个字符串文字不一定相同但具有相同的结尾时,这也适用：

char *foo = "long string";
char *bar = "string";

在这样的情况下,bar可能是foo 5(如果我计算正确的话).

在任何一种情况下,如果允许修改字符串文字,它可以修改恰好具有相同内容的其他字符串文字.同时,老实说也没有太多的要点 – 要么有足够的字符串文字可以重叠,大多数人可能希望编译器运行得更慢只是为了保存(可能)几十个字节记忆的左右.

在编写第一个标准时,已经有编译器使用了所有这三种技术(可能还有其他几种).由于没有办法描述你从修改字符串文字中获得的一种行为,并且没有人显然认为它是一种重要的支持能力,所以他们做了显而易见的事实：即使尝试这样做也会导致未定义的行为.