Як запобігти модифікації даних масиву?

Скажіть, у мене клас, який виглядає приблизно так (це лише приклад):

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зміні вмісту масиву 's 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
};

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

Усі три варіанти розповсюдження const.

Якщо ви дійсно хочете використовувати вказівники (настійно не рекомендується), принаймні використовуйте клавішу a, std::unique_ptrщоб уникнути ручного управління пам'яттю. Ви можете використовувати std::experimental::propagate_constобгортку з основ бібліотеки 2 ТС:

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

Це ще не в стандарті, але багато компіляторів підтримують його. Звичайно, такий підхід поступається правильним контейнерам.