static char* 指针指向的字符串字面量修改为何导致段错误？

Question

**问题：** 为什么对 `static char* p = "hello";` 中的 `p` 执行 `p[0] = 'H';` 会触发段错误（SIGSEGV）？ 根本原因在于：C/C++ 标准规定字符串字面量（如 `"hello"`）存储在**只读数据段（.rodata）**，而非可写内存区域。即使声明为 `static char*`，该指针仅改变其自身存储位置（静态存储期），**并不复制字符串内容**，而是直接指向编译器放置的只读常量池。此时 `p` 是一个指向只读内存的非常量指针，解引用修改（如 `p[0] = ...`）将违反内存保护机制，由 MMU 触发硬件异常，OS 以段错误终止进程。常见误判是认为 `static` 赋予了“可修改性”，实则它只影响生命周期与链接属性；真正可修改的字符串需显式定义为 `static char buf[] = "hello";`（数组形式，内容复制到可写静态区）或动态分配内存。这是初学者易踩的底层内存模型认知陷阱。

Answer 1

```html

一、现象层：段错误的直观复现

执行以下代码在主流Linux/x86_64平台（GCC 11+，启用默认PIE/RELRO）将立即触发SIGSEGV：

static char* p = "hello";
p[0] = 'H'; // ← 段错误发生点

通过gdb ./a.out调试可见：Program received signal SIGSEGV, Segmentation fault.，且info proc mappings显示该地址落在.rodata区间（如0x555555558000-0x555555559000 r--p）。

二、语言规范层：C/C++标准的明确定义

• C11 §6.4.5/6：“字符串字面量具有静态存储期，且其内容不可修改；试图修改会产生未定义行为（UB）。”
• ISO/IEC 14882:2020 [lex.string]/8：“字符串字面量是const char[N]类型，隐式转换为const char*；任何非常量指针指向它均不改变其只读本质。”
• 关键辨析：static char* p中static仅修饰指针变量p本身（使其生命周期为整个程序运行期），绝不修饰其所指向的内容。

三、内存布局层：ELF段与MMU保护机制

编译后目标文件可通过readelf -S a.out | grep -E '\.(rodata|data|bss)'验证：

Section	Flags	Virtual Address	Description
.rodata	AX	0x...8000	只读、可执行（常含字符串字面量）
.data	WA	0x...a000	可读写、已初始化全局/静态变量

当CPU执行mov BYTE PTR [rax], 0x48（对应p[0]='H'）时，MMU查页表发现该虚拟页标记为Read-Only，触发#PF (Page Fault)异常，内核判定为非法写入，发送SIGSEGV。

四、编译器实现层：常量合并与指针解引用语义

以Clang/GCC为例，AST和IR揭示本质：

// 源码
static char* p = "hello";

// 编译器生成的LLVM IR片段（简化）
@.str = private constant [6 x i8] c"hello\00", align 1
@p = global ptr @.str, align 8
; 注意：@.str 存于rodata，@p存于data段（可写），但其值指向.rodata

此时p是ptr类型变量（存于可写.data），但其值是@.str地址——而@.str被链接器强制映射到只读段。修改*p即修改只读页，与指针是否static无关。

五、解决方案层：安全可修改字符串的四种范式

1. 静态数组（推荐）：static char buf[] = "hello"; buf[0] = 'H'; → 内容复制到可写.data段
2. 堆分配：char* p = strdup("hello"); p[0] = 'H'; free(p);
3. 栈数组：char buf[] = "hello"; char* p = buf; p[0] = 'H';
4. C++ std::string：static std::string s = "hello"; s[0] = 'H';（自动管理堆内存）

六、深度陷阱警示：为什么const不是银弹？

即使声明const char* p = "hello";，仍无法阻止const_cast强制转换后写入（UB）；而char* const p = "hello";仅禁止修改指针值，不禁止修改其所指内容。真正安全的写法必须是const char* const p = "hello";（双重const），但这同时剥夺了修改能力。可修改性必须由存储位置（.data/.bss/.heap）决定，而非类型修饰符。

七、工程实践检查清单

graph LR
A[发现字符串字面量赋值给非const指针] --> B{是否需修改内容？}
B -->|是| C[改用数组/堆分配]
B -->|否| D[显式添加const修饰：const char* p = “hello”]
C --> E[静态数组：static char buf[] = “hello”]
C --> F[动态分配：char* p = malloc…]
D --> G[启用-Wwrite-strings编译警告]

建议在CI中强制添加-Wwrite-strings -Wcast-qual，并使用clang++ --analyze进行静态检测。

```