c++ - 为什么字符串文字是 const？

Question

众所周知，在 C++ 中，字符串文字是不可变的，修改字符串文字的结果是未定义的。例如

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

这将导致未定义的行为。

此外，字符串文字被放置在静态内存中。所以它们存在于整个程序中。我想知道为什么字符串文字有这样的属性。

Answer 1

有几个不同的原因。

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

另一个是允许字符串文字的合并。如果一个程序在几个不同的地方使用相同的字符串字面量，最好允许(但不一定要求)编译器合并它们，这样您就可以获得指向同一内存的多个指针，而不是每个指针占用一 block 单独的内存。这也适用于两个字符串文字不一定相同，但确实有相同的结尾:

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

在这种情况下，bar 可能是 foo+5(如果我计算正确的话)。

在这两种情况下，如果您允许修改字符串文字，它可能会修改恰好具有相同内容的 other 字符串文字。同时，老实说，强制执行这一点也没有多大意义——拥有足够多的字符串文字可以重叠，大多数人可能希望编译器运行得更慢只是为了节省(也许)几十个字节，这是非常罕见的大约内存。

在编写第一个标准时，已经有编译器使用了所有这三种技术(可能还有一些其他技术)。由于无法描述您从修改字符串文字中获得的一种行为，而且显然没有人认为这是一项重要的支持能力，因此他们做了显而易见的事情:说即使尝试这样做也会导致未定义的行为。