配列データの変更を防ぐ方法は？

次のようなクラスがあるとします（これは単なる例です）。

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
};

a 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
};

3つのオプションすべてが伝播し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.
    // ...
};

まだ標準には含まれていませんが、多くのコンパイラがサポートしています。もちろん、このアプローチは適切なコンテナよりも劣っています。