c++ - 为什么 const_cast 删除指针的 constness 而不是指向 const 的指针？

Question

我知道这const_cast适用于指针和引用。

我假设输入const_cast应该是指针或引用。我想知道如果输入是对 a 的指针/引用，为什么它不会删除常量const int？

以下代码按预期工作。

1. const_cast多级指针

   int main()
   {
       using std::cout;
       #define endl '\n'
       const int * ip = new int(123);
       const int * ptr = ip;
       *const_cast<int*>(ptr) = 321;
       cout << "*ip: " << *ip << endl;  // value of *ip is changed to 321
   }
   

   但是当我尝试指向const int或引用的指针时const int，该值似乎没有改变。

2. const_cast参考 const int

   int main()
   {
       using std::cout;
       #define endl '\n'
       const int i = 123;
       const int & ri = i;
       const_cast<int&>(ri) = 321;
       cout << "i: " << i << endl;  // value in 'i' is 123
   }
   

3. const_cast带有指向 const int 的指针

   int main()
   {
       using std::cout;
       #define endl '\n'
       const int i = 123;
       const int * ri = &i;
       *const_cast<int*>(ri) = 321;
       cout << "i: " << i << endl;  // value in 'i' is 123
   }
   

（1）按预期工作，但我无法理解为什么（2）和（3）不按我认为的方式工作，尽管输入const_cast是指针/引用。

请帮助我理解这背后的哲学。谢谢。

标签： c++const-cast

Answer 1

有两种常量。

对象的常数是对象的固有属性。它不能改变。

想想印刷书中的一页。可以看成一串字符，不能更改。它说的是它所说的，就是这样。所以它是一个const string.

现在想想黑板。上面可能写了一些东西。你可以把它擦掉，然后写点别的。所以黑板是一个非常量string。

另一种常量是指针和引用常量。这种常量性不是指向对象的固有属性，而是一种权限。它说你不能通过这个指针修改对象。它没有说明对象本身是否可以修改。

所以如果你有一个 const 指针，你不一定知道它真正指向什么。也许它是一个书页。也许它是一块黑板。指针不告诉。

现在，如果您确实知道它确实是一块黑板，您可能会很讨厌并要求允许继续更改上面写的内容。这就是 const_cast 所做的。它允许你做某事。

如果您要求修改字符串的权限，结果是打印的页面，会发生什么？你得到你的许可，你继续擦拭它......并且......究竟发生了什么是undefined。也许什么都没有。也许打印被弄脏了，您既不能识别原始字符串，也不能在上面写任何东西。也许你的世界会爆炸成碎片。你可以试试看，但不能保证明天也会发生同样的事情。