const 引用和 const 指针上的 new-expression 和 delete-expression答案

【问题标题】：new-expression and delete-expression on const reference and const pointerconst 引用和 const 指针上的 new-expression 和 delete-expression
【发布时间】：2013-10-11 21:48:43
【问题描述】：

C++

很多文献都说const 引用不能用来修改它们的引用对象，const 指针不能用来修改它们的指针。

那么，为什么他们会是deleted？

const int& cirDynamic = *( new int(5) );
// ^ 'const int& cirDynamic = *( &( *( new int(5) ) ) );' gives same output below
cout << cirDynamic << endl; // 5
delete &cirDynamic;
cout << cirDynamic << endl; // garbage value

我知道T* const 中的尾随 const 仅防止指针被重新定位，但在下面我使用两个consts，如const T* const，以强调。为什么下面的指针可以是deleted？

const int* const cipcDynamic =  new int(5);
// ^ 'const int* const cipcDynamic = &( *( new int(5) ) );' gives same output below
cout << *cipcDynamic << endl; // 5
delete cipcDynamic;
cout << *cipcDynamic << endl; // garbage value

输出显示至少有一些动态分配的内存被释放。是否全部都被释放了，或者在只有副本被释放的情况下是否存在复制？

const 引用 sn-p (int&) 的非 const 版本和 const 指针 const sn-p 的非前导 const 版本（int* const 和 int*）产生相同的输出他们更多的 const 对应物。在所有 5 种情况下，为什么以及如何延长临时 new-expression 的生命周期？

如果数据类型是类或结构，则假设相应的运算符没有被重载、显式删除或设为非公共，标准是否做出以下保证：

解引用运算符提供对指针对象的直接访问
new 运算符生成指向动态分配内存的指针，而不是原始动态分配内存的动态分配副本

如果 new 运算符重载但仍返回 ::operator new(size) 并且取消引用运算符重载但仍返回对对象的引用，是否有任何副作用会使这两点不成立？

【问题讨论】：

这方面需要解释什么？
是的，你需要更具体一点。你是在问为什么你首先看到一个 5 显示，然后看到一个垃圾值？
@KerrekSB @NateKohl ：编辑它，质疑如果指针和引用是const，为什么可以使用delete。

标签： c++ new-operator delete-operator const-reference const-pointer

【解决方案1】：

常量影响对象本身。 new 和 delete 和构造函数会影响对象的创建。询问构造函数或析构函数是const 是没有意义的，因为它们在对象存在之前或之后运行。同样，您可以动态创建和销毁常量对象，和/或您可以通过常量指针或引用管理动态创建的对象。

作为一个非常简单的思想实验，考虑以下代码：

{
    const int x = 0;
}

如果 constness 可以防止对象 x 被销毁，这将不起作用。

【讨论】：

【解决方案2】：

所有示例中的

'const' 仅阻止您通过赋值修改变量。这就是它所做的一切。它不会阻止删除以回收内存。

在您的第一个示例中，“const int& cirDynamic”会阻止您编写类似“cirDynamic=2”的内容。但是获取 cirDynamic 的地址是合法的（这会得到一个“const int*”指针），并且 delete 会愉快地对 const 指针进行操作。

在您的第二个示例“const int* const cipcDynamic”中，第一个 const 阻止您修改指针指向的位置，例如“*cipcDynamic = 2”，第二个 const 阻止您修改指针本身指向到另一个地方，比如“cipcDynamic = new int”。

【讨论】：