배열 데이터 수정을 방지하는 방법은 무엇입니까?

다음과 같은 클래스가 있다고 가정 해보십시오 (이것은 단지 예일뿐입니다).

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역 참조 될 때 l 값이 아닙니다.

대신, 당신은 사용할 수 있습니다 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됩니다.

당신이 경우 정말 (권장하지 않음) 포인터를 사용하려면, 적어도를 사용하여 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.
    // ...
};

아직 표준은 아니지만 많은 컴파일러가이를 지원합니다. 물론이 방법은 적절한 용기보다 열등합니다.