为什么 C++对指针数据强制 const ？

Question

可能的重复：
为什么 const 限定符不起作用在 const 对象的指针成员上？

考虑以下具有指针成员 int *a 的类。编译器允许 const 方法 constMod，即使它修改了指针数据。为什么编译器不在 const 方法的上下文中将指针数据设置为 const？如果 a 只是一个 int，我们就不允许在 const 方法中修改它。

class ConstTest
{
    public:

    ConstTest(int *p): a(p) {}

    void constMod() const {
        ++(*a);
    }

    int *a;
};

我在 Linux 上使用 g++。

Answer 1

在 constMod() 内部，a 的声明被视为：

int *const a;

这意味着指针有一个常量值，而不是它指向的内容到。听起来您希望它被视为：

const int *a;

这是不同的。

Answer 2

指针本身没有被修改，只有指向的数据被修改。即使从人类的角度来看这听起来很奇怪，但从编译器的角度来看，类的任何成员都没有改变。

Answer 3

这只是一个所有权问题......编译器无法知道所指向的对象在逻辑上是否是该对象的一部分，因此留给程序员来监管此类问题。 const 成员可以执行有副作用的操作，只要它们不修改自己的表观值即可。这与让他们调用 std::cout::operator<<() 或其他非常量函数没有什么不同......

Answer 4

在上面的例子中，const 是指针本身。您不能执行++a;。但是，它不会阻止您修改所指向的数据。

Answer 5

我相信是因为在这里您试图更改 datamember 指向的值。
如果您尝试修改数据成员，则会出错。

这意味着，如果您指向其他内容而不是更改值，则会出现错误

Answer 6

const 成员函数不允许您修改它的成员。

在您的示例中，您有一个指向 int 的指针。

在 const 方法中，您正在修改它所指向的值，而不是指针本身。

尝试给出 ++a，这实际上会修改指针值，并且在您的 const 方法中是不允许的。

Answer 7

考虑

const T immutable_object0;
const T immutable_object1;
const T* mutable_view = ...a condition... ? &immutable_object0 : &immutable_object1;
// then later you reseat
mutable_view = ...another condition... ? &immutable_object0 : &immutable_object1;

or

const int immutable_data[120]
const int* mutable_view = immutable_data;
for(const int* end = immutable_data + 120; mutable_view != end; ++mutable_view) {
  // can't modify *mutable_view
}

是因为指针并不总是拥有所有权。在某些情况下，指针是对象的视图（第一个示例）或原始数组的迭代器（第二个示例）。对于这些情况，仅仅因为指向的数据是不可变的（或被视为不可变的）来限制指针上可用的操作是没有意义的。

第一个示例有点做作，但它的有效版本是当您使用指针成员来实现对象关联并且您不希望引用成员带来麻烦时。有时，指向的类型恰好是const。