最近我有一个问题，我知道指向一个常量数组的指针在初始化为下面代码中所示时，位于.rodata区域，而该区域只能读取。
然而，在模式C11中，我看到在此内存地址写入会导致未定义的行为。
我知道Borland的Turbo-C编译器可以写入指针指向的位置，这是因为某些系统（如MS-DOS）上的处理器在实模式下运行吗？还是独立于处理器的操作模式？是否有其他编译器可以写入指针并且不会出现任何内存违规，即在保护模式下使用处理器？
#include <stdio.h>
int main(void) {
char *st = "aaa";
*st = 'b';
return 0;
}
正如所指出的那样，尝试在C语言中修改常量字符串将导致未定义的行为。这有几个原因。
其中一个原因是字符串可能位于只读内存中。这允许它在同一程序的多个实例之间共享，并且如果所在页面被换出（因为该页面是只读的，因此可以从可执行文件重新加载），不需要将其保存到磁盘。它还通过在尝试修改时引发错误（例如分段故障）来帮助检测运行时错误。
另一个原因是字符串可能是共享的。许多编译器（例如gcc）会注意到在编译单元中出现相同的文字字符串时，它们将为其共享相同的存储空间。因此，如果程序修改一个实例，则可能也会影响其他实例。
也从未需要这样做，因为可以通过使用静态字符数组轻松实现相同的预期效果。例如：
#include <stdio.h>
int main(void) {
static char st_arr[] = "aaa";
char *st = st_arr;
*st = 'b';
return 0;
}
这段代码实现了与原始代码相同的功能，但没有产生任何未定义行为，且占用的内存也相同。在这个例子中，字符串 "aaa" 作为数组初始化程序使用，并没有自己的存储空间。数组 st_arr 替代了原来示例中的常量字符串，但是 (1) 它不会被放在只读内存中，(2) 也不会与任何对该字符串的其他引用共享。因此，如果需要修改它，则是安全的。
static 关键字 - 我刚刚添加了它。对此感到抱歉！ - Tom Karzes有没有其他编译器可以写入指针并在保护模式下使用处理器而不会导致内存泄漏失败？
GCC 3及更早版本曾支持gcc -fwriteable-strings，以允许您编译旧的K&R C代码，在其中这似乎是合法的，根据https://gcc.gnu.org/onlinedocs/gcc-3.3.6/gcc/Incompatibilities.html。(这是ISO C中未定义的行为，因此是ISO C程序中的错误)。该选项将定义ISO C未定义的赋值行为。
-fwritable-strings
将字符串常量存储在可写数据段中，并且不使它们唯一化。这是为了与旧程序兼容，这些程序假定它们可以写入字符串常量。向字符串常量写入内容是一个非常糟糕的想法；“常量”应该是恒定不变的。
GCC 4.0已删除该选项（发行说明）；最后一个GCC3系列是2006年3月的gcc3.4.6。然而，显然在那个版本中 它已经变得有缺陷。
gcc -fwritable-strings会将字符串字面量视为非const匿名字符数组（参见@gnasher的答案），因此它们会进入.data节，而不是.rodata，从而链接到可执行文件的一个段中，该段映射到读+写页面，而不是只读页面。（可执行段基本上与x86分段无关，它只是从可执行文件到内存的启动+范围内存映射。）
它还会禁用重复字符串合并，因此char *foo() { return "hello"; }和char *bar() { return "hello"; }将返回不同的指针值，而不是合并相同的字符串字面量。
相关:
在GNU/Linux上，使用ld -N（--omagic）进行链接将使文本（以及数据）部分变为读+写。即使现代GNU Binutils ld将.rodata放入自己的部分（通常具有读取但不执行权限），而不是将其作为.text的一部分。让.text可写可能很容易成为安全问题：您永远不希望同时拥有写入和执行权限的页面，否则某些错误（如缓冲区溢出）可能会变成代码注入攻击。
要从gcc中执行此操作，请使用gcc -Wl,-N将该选项传递给ld进行链接。
这并不意味着写入const对象时就不再是未定义行为。例如，编译器仍将合并重复的字符串，因此写入一个char *foo =“hello”;将影响整个程序中所有其他使用"hello"的地方，甚至跨文件。
如果你想要可写的内容，请使用static char foo[] = "hello";，其中引用的字符串只是非const数组的一个初始化器。作为奖励，这比全局范围内的static char *foo = "hello";更有效率，因为获取数据的层级减少了一级：它只是一个数组而不是存储在内存中的指针。
你的字面值 "aaa" 会在匿名位置产生一个由四个 const char 'a'，'a'，'a'，'\0' 组成的静态数组，并返回指向第一个 'a' 的指针，转换为 char*。
试图修改这四个字符中的任何一个都是未定义的行为。未定义行为可以做任何事情，从按预期修改字符，假装修改字符，什么也不做或崩溃。
基本上与 static const char anonymous[4] = { 'a', 'a', 'a', '\0' }; char* st = (char*) &anonymous [0];相同。
-d选项打开了重复合并，则不能再向这些字符串常量写入数据，而应该将它们视为指向常量数据的指针。 - Michael Petch