为什么 C 编译器不警告与文字字符串不兼容的类型？ [复制]

Question

由于未定义的行为（尝试修改字符串文字），以下程序会引发系统分段错误：

int main() {
  char *s = "immutable";
  s[0] = 'a';
  return 0;
}

不过，似乎绝对没有办法告诉 GCC/Clang 发出哪怕是最轻微的警告（-Wall -Wextra -pedantic -std=c11 不要做任何事情）。

特别是对于初学者来说，这种情况会很有用。即使对于非初学者，在一些不太明显的情况下也可能会有所帮助：

void f(char *s) {
  s[0] = '0';
}

int main() {
  char *s = "immutable";
  f("literal"); // oops
  f(s); // oops
  return 0;
}

此外，这将有助于在 C 编程中强制执行一些 const-culture。

为什么故意忽略这种情况？该标准是否积极禁止在这种情况下发出诊断信息，还是主要是为了向后兼容（现在尝试强制执行它们会产生太多警告）？

Answer 1

TL;DR C 编译器不会发出警告，因为它们没有“看到”那里的问题。根据定义，C 字符串文字是空终止的 char 数组。只是说，

[...] 如果程序试图修改这样的数组，行为是 未定义。

因此，在编译过程中，编译器不知道char 数组应该表现为字符串文字 或字符串。 禁止尝试修改。

_{相关阅读：如有兴趣，请参阅Why are C string literals read-only?}

也就是说，我不太确定这是否是一个好的选项，但gcc 有-Wwrite-strings 选项。

引用online manual，

-Wwrite-strings

在编译 C 时，将字符串常量指定为 const char[length] 类型，以便将 1 的地址复制到非 const char * 指针中会产生警告。这些警告帮助您在编译时找到可以尝试写入字符串常量的代码，但前提是您在声明和原型中使用 const 时非常小心。否则，这只是一个麻烦。这就是我们没有让-Wall 请求这些警告的原因。

因此，它使用 backdoor 方式产生警告。

根据定义，C 字符串文字（即字符串文字）是带有空终止符的char 数组。该标准不要求它们必须是const 合格的。

参考：C11，章节

在翻译阶段 7，一个字节或零值代码被附加到每个多字节 由一个或多个字符串文字产生的字符序列。多字节字符 然后使用序列来初始化一个静态存储持续时间和长度的数组 足以包含序列。对于字符串文字，数组元素有 键入char，并使用多字节字符的各个字节进行初始化 顺序。 [....]

使用上述选项使 字符串文字 const 合格，因此使用字符串文字作为分配给非 const 类型指针的 RHS 会触发警告。

参考C11，第 6.7.3 章

如果尝试通过使用来修改使用 const 限定类型定义的对象 具有非 const 限定类型的左值，行为未定义。 [...]

因此，这里编译器会为将const 限定类型分配给非const 限定类型产生警告。

与为什么使用-Wall -Wextra -pedantic -std=c11 不会产生此警告有关，是再次引用引用

[...] 这些警告可以帮助您在编译时找到可以尝试写入字符串常量的代码，但前提是您必须非常小心地在声明和原型中使用 const。否则，这只是一个麻烦。这就是我们没有让-Wall 请求这些警告的原因。

Answer 2

有一个选项：-Wwrite-strings。它通过将字符串文字的类型从 char[N] 更改为 const char[N] 来工作。此更改与标准 C 不兼容，将导致有效代码被拒绝，在极少数情况下，无效代码会被静默接受。默认不启用。

不幸的是，由于在 C 中定义字符串文字的方式，在不改变语言的情况下提供良好的警告非常困难。