c++ - const 引用和 const 指针上的 new 表达式和 delete 表达式

Question

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 只会防止指针被重新定位，但下面我使用了两个 const，如 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 引用片段的非 const 版本 (int&) 和 const 指针 const 片段的非前导 const 版本 (int* const 和 int*) 产生与其更多 const 对应物相同的输出。在所有 5 种情况下，为什么以及如何延长临时 new 表达式的生命周期？

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

• 解引用运算符提供对指针对象的直接访问

• new 运算符生成指向动态分配内存的指针，而不是原始动态分配内存的动态分配拷贝

如果 new 运算符被重载但仍返回 ::operator new(size) 并且解引用运算符被重载但仍返回对象的引用，则有什么副作用会使这两点不成立吗？

Answer 1

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

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

{
    const int x = 0;
}

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