c++ - 为什么 GNU C++ 编译器允许你修改常量？

Question

我正在通过 GDB 调试一个用 C++ 编写的项目，发现 GNU C++ 编译器在没有警告或错误的情况下修改了一个常量。

这不是我正在调试的程序，但这是我目睹的行为示例:

#include <iostream>

int main(int argc, char *argv[]) {
  const int x = 10;

  int *px = (int *)&x;
  ++*px;

  std::cout << "*px: " << *px << "\n";
  std::cout << "x: " << x << "\n";

  for (int i = 0; i < x; ++i)
    std::cout << i+1 << "\n";

  return 0;
}

我不能代表其他编译器，因为我只用 GNU C++ 编译器 4.9.2 版对此进行了测试。为什么允许这样的事情？这打破了 const 对象的整个要点。

我用 g++ main.c -Wall -Werror 编译了上面的代码

输出:

*px: 11
x: 10
1
2
3
4
5
6
7
8
9
10

Answer 1

就编译器而言，您不是在修改常量。您正在修改指向非常量 int 的指针指向的内容，因为这就是强制转换 (int *) 告诉编译器考虑 &x作为。

这种所谓的 C 风格转换是 C++ 提供的最强大的转换。类型转换通常只应在真正必要的范围内进行。在许多情况下，const_cast、static_cast 或 dynamic_cast 就足够了(还有相当强大的 reinterpret_cast)。

C 风格转换的行为是应用允许编译成功所需的最不强大的转换。