C语言中printf格式字符串与参数共享内存是否触发未定义行为？

先明确C标准中printf的签名：

int printf(const char * restrict format, ...);

1. restrict的核心约束（针对printf场景） #

restrict本质是给编译器提供优化提示：在format指针的有效作用域内，所有对其指向对象的修改操作，只能通过format或基于format的指针完成。但要注意，format指向的是const char类型对象——也就是只读内存，printf本身不会修改这个对象的内容。

2. 静态const数组的情况：printf(str, str + 2) #

static const char str[] = "%sHello\n";
printf(str, str + 2);

这段代码不会触发未定义行为。原因是：

• str是const数组，存储内容不可修改，printf只会读取format和参数指针指向的内容，没有任何修改操作。
• restrict的约束仅针对“修改操作”，当对象是只读且无修改行为时，约束自动满足。实际运行时会输出Hello\nHello\n，符合预期。

3. 字符串字面量的内存复用 #

C标准允许编译器将内容相同或重叠的字符串字面量存储在同一块只读内存中，比如：

"foo" + 1 == "oo"; // 可能为真

这是合法的实现行为，不属于未定义行为。

4. 共享内存的字符串字面量传入printf的情况：printf("%sHello\n", "Hello\n") #

即使编译器让"%sHello\n"和"Hello\n"共享内存（即"Hello\n"是"%sHello\n"的后缀，参数指针指向"%sHello\n"的第3个字符），这段代码也不会触发未定义行为。
理由和第二个场景一致：两个指针指向同一块只读内存，printf只会读取内容，没有修改操作，完全符合restrict的约束——毕竟restrict禁止的是“通过其他指针修改被restrict指针指向的对象”，而这里根本没有修改行为。

内容的提问来源于stack exchange，提问作者CPlus