Как предотвратить изменение массива данных?

Скажем, у меня есть класс, который выглядит следующим образом (это только пример):

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*приводит 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.
    // ...
};

Его пока нет в стандарте, но многие компиляторы его поддерживают. Конечно, этот подход уступает надлежащим контейнерам.