Как я могу заставить класс const правильно работать со ссылочными данными?

Допустим, у меня есть класс изображения, который ссылается на буфер, содержащий огромное количество данных.

При вызове конструктора копирования было бы неплохо не копировать данные, если в этом нет крайней необходимости.

Однако, если я создаю новый объект изображения из существующего константного объекта, новый объект изображения начинается в неконстантном состоянии, что позволяет изменять данные изображения в новом объекте, даже если данные изображения в старом объект не мог.

Я полагаю, что это фундаментальная проблема в C++, потому что объект shared_ptr имеет ту же проблему: если вы получили константный shared_ptr, вам нужно только скопировать его в неконстантный объект shared_ptr (через конструктор), чтобы получить изменчивый объект, который кажется коварным способом противодействия константной правильности. Необработанные указатели не имеют этой проблемы, поскольку такая копия не разрешена.

Я понимаю, что члены-указатели по своей природе не наследуют константность от своего владельца, но то, что мне нужно, — это способ построить класс, чтобы он выглядел так, чтобы было легко гарантировать, что содержимое константного объекта остаются постоянными

Этот вопрос дает частичный ответ на этот вопрос, поскольку он предлагает использовать std::experimental::propagate_const, чтобы убедиться, что указатель в константном объекте становится константным указателем:

Как сделать указатель с глубокой константой

Однако я считаю, что это не решает проблему того, как гарантировать, что конструктор копирования с константным объектом, явно указывающим на константные данные, становится объектом, который не может изменять указанные данные.