Question

当我执行以下操作时 -

      const int temp=10;
      int *ptr= &temp;
      *ptr=100;

执行此操作我可以取消引用指向CONST int的指针。 const数据变量存储在.rodata中，它是READ ONLY MEMORY。

我如何写入该部分？为什么不失败？

PS。我只收到一个编译时警告：初始化丢弃＆＃39; const＆＃39;指针到目标类型的限定符

Answer 1

你确定它在.rodata吗？这段代码

const int temp = 10;
int main(void) {
    int *ptr = &temp;
    *ptr = 100;
}

在Linux，GCC 5.2.1上崩溃; nm显示temp中存在的符号.rodata。

然而，

int main() {
    const int temp = 10;
    int *ptr = &temp;
    *ptr = 100;
}

不会崩溃，因为该变量具有自动存储持续时间，并且它在堆栈上分配，而不是驻留在.rodata部分的只读页面中。

C11草案n1570,6.7.3第6段：

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

当然，未定义的行为意味着：

使用不可移植或错误的程序结构或错误数据的行为，本国际标准没有规定

所以确实会发生任何事情，即使你的程序没有崩溃，它仍然是错误的。

无论如何，你得到了警告。每当C编译器发出警告时，作为程序员，您应该将其视为错误（即使明确设置-Werror），因为它们确实存在;只有很多旧的代码依赖于某些不良行为，这些事实上真的是错误，不能成为真正的错误。

请注意，C标准并未说明int *ptr = &temp;是错误的 - 它本身就是完全有效的C，并且只有当您尝试通过此temp更改ptr时才会定义行为发生。