c - 在C语言中，const变量可以通过指针修改吗？

Question

我在代码中写了一些类似的东西

const int x=1;
int *ptr;
ptr = &x;
*ptr = 2;

这适用于所有编译器吗？为什么 GCC 编译器没有注意到我们正在更改常量变量？

Answer 1

const 实际上并不意味着“常量”。 C 中“常量”的东西具有在编译时确定的值；文字 42 就是一个例子。 const 关键字实际上意味着只读。例如，请考虑:

const int r = rand();

r 的值直到程序执行时才确定，但 const 关键字意味着您不允许修改 r初始化后。

在您的代码中:

const int x=1;
int *ptr;
ptr = &x;
*ptr = 2;

赋值ptr = &x;是一个约束违规，这意味着符合要求的编译器需要对此进行提示；您不能合法地将 const int* (指向 const int 的指针)值分配给非 const int* 对象。 如果编译器生成一个可执行文件(它不需要这样做；它可以直接拒绝它)，那么该行为不是由 C 标准定义的。

例如，生成的代码实际上可能将值 2 存储在 x 中 - 但随后对 x 的引用可能会产生值 1，因为编译器知道 x 在初始化后不能被修改。它知道这一点，因为您通过将 x 定义为 const 告诉了它。如果你对编译器撒谎，后果可能会很严重。

实际上，可能发生的最糟糕的事情是程序按照您的预期运行；这意味着您有一个很难检测到的错误。 (但是你应该得到的诊断结果将是一个很大的线索。)