C语言字符串常量特性解析-优快云博客

关于C语言字符串常量不可修改，起初误认为是编译器
把这样的代码

char *s=""str";

优化成了
const char*="str".
const属性也去不了。

但是实际上是与常量字符串的内存体现有关。bodata段

各类段

bss段：

BSS段（bsssegment）通常是指用来存放程序中未初始化的全局变量的一块内存区域。BSS是英文BlockStarted by Symbol的简称。BSS段属于静态内存分配。

data段：

数据段（datasegment）通常是指用来存放程序中已初始化的全局变量的一块内存区域。数据段属于静态内存分配。

text段：

代码段（codesegment/textsegment）通常是指用来存放程序执行代码的一块内存区域。这部分区域的大小在程序运行前就已经确定，并且内存区域通常属于只读,某些架构也允许代码段为可写，即允许修改程序。在代码段中，也有可能包含一些只读的常数变量，例如字符串常量等。

rodata段：

存放C中的字符串和#define定义的常量

heap堆：

堆是用于存放进程运行中被动态分配的内存段，它的大小并不固定，可动态扩张或缩减。当进程调用malloc等函数分配内存时，新分配的内存就被动态添加到堆上（堆被扩张）；当利用free等函数释放内存时，被释放的内存从堆中被剔除（堆被缩减）
stack栈：
是用户存放程序临时创建的局部变量，也就是说我们函数括弧“{}”中定义的变量（但不包括static声明的变量，static意味着在数据段中存放变量）。除此以外，在函数被调用时，其参数也会被压入发起调用的进程栈中，并且待到调用结束后，函数的返回值也会被存放回栈中。由于栈的先进先出特点，所以栈特别方便用来保存/恢复调用现场。从这个意义上讲，我们可以把堆栈看成一个寄存、交换临时数据的内存区。

回答

以下摘自：https://www.zhihu.com/question/20779337

C语言目前有两个主要标准C89和C99。这两个标准中对字符串常量的定义类似。要点：

类型是char[] (原因不明，没有看到过权威解释，估计是历史遗留。）
连续存储，末尾自动添加\0
静态存储
相同值常量的地址可以不同
修改字符是未定义行为

因为.rodata和.text一样是操作系统保护只读的。这就是标准中所说的未定义行为。实际中大部分操作系统（没有测试过）应该都会按照内存越权访问处理。

这样做的好处并不明显。理论上fork的时候可以不拷贝.rodata，但主流的fork都实现了Copy-on-write，性能上应该差别不大了。其他的好处也不大。

简单来说，这样做既没有什么明显的好处，也没有太大的坏处，很可能只是Dennis Ritchie et al拍脑袋的一个决定，原因可能就是没有原因。考虑到C并不是一个精心设计的语言，这种小问题并不少见。例如史上最昂贵的一个字节的错误（The Most Expensive One-byte Mistake）。可惜DR老大已故去，恐怕无从考证了。