为const类成员赋值

对。代码试图修改 int 这是 const 它通过规避常量正确性来实现这一点,就像你已经发现的那样。

// A::n is const, because A is const, right?
const A a(1);

对。 a 是 const ,因此 a.n 无法修改。

// but we change a const value here
*p_n = 2;

一旦你设法绕过 const 修改`a.n,这是不可修改的,所有赌注都已取消。代码具有未定义的行为。

分配*p_n和这样做有区别吗:

const_cast<A&>(a).n = 2;

不。 const_cast 这并不能改变以下事实 一 是 const .

考虑一下,你可以有一个指向const的指针,或者一个指向实际上不是const的对象的const引用,例如:

 int x = 42;
 const int& ref = x;

在这里,您可以摆脱引用的约束来修改整数。整数不是 const .使用const引用不会改变对象本身不是 const 。与您的示例类似,任何指针技巧或强制转换都不会改变 一 .

关于您的编辑。。。这并没有改变这样一个事实 一 是 const 而且 a.n 一旦建成 const 。您添加的引用仅解释了代码用于调用未定义行为的const正确性漏洞。

原因是 const 仅在构造后应用,否则构造 const 这个物体将毫无用处。需要构造函数来建立类不变量,这通常需要修改对象。