如何防止修改数组数据？

说我有一个看起来像这样的类（这只是一个例子）：

class A {
    double *ptr;
public:
    A() : ptr( new double[100] ) {}
    A( const A &other ) {
        other.ptr[7] = 15;
    }
    void doNotChangeMyData() const {
        ptr[43] = 14;
    }
    void changeMyData() {
        ptr[43] = 14;
    }
    ~A() { delete[] ptr; }
};

该const在拷贝构造函数和两个doNotChangeMyData功能让这个ptr不能改变的; 但是，这仍然允许我修改指向的数组的内容ptr。

有没有一种方法可以防止仅ptr在const实例中更改数组的内容，而不能“小心”（或远离原始指针）？

我知道我可以做类似的事情

void doNotChangeMyData() const {
    const double *const ptr = this->ptr;
    ptr[43] = 14; // then this would fail to compile
}

但是我宁愿不必...

指针不传播const。添加const到类型double*yields double* const，const在取消引用时将导致非左值。

相反，您可以使用std::vector：

class A {
    std::vector<double> data(100);
public:
    // no explicit copy ctor or dtor
};

一std::array：

class A {
    std::array<double, 100> data{};
public:
    // no explicit copy ctor or dtor
};

或内置数组（不推荐）：

class A {
    double data[100] {};
public:
    // no explicit copy ctor or dtor
};

所有这三个选项都会传播const。

如果您确实要使用指针（强烈不建议使用），请至少使用a std::unique_ptr来避免手动进行内存管理。您可以使用std::experimental::propagate_const库基本原理2 TS中的包装器：

class A {
    std::experimental::propagate_const<std::unique_ptr<double[]>> ptr;
public:
    A()
        : ptr{new double[100] {}}
    {
    }
    // manual copy ctor
    A(const A& other)
        : ptr{new double[100]}
    {
        std::copy_n(other.ptr.get(), 100, ptr.get());
    }
    // defaulted move ctor & dtor
    // assignment operator, etc.
    // ...
};

它尚未纳入标准，但许多编译器都支持它。当然，这种方法不如适当的容器。