const ссылка на указатель может изменить объект

Question

ссылки const ссылаются на то, что вы не можете изменить объект, на который вы ссылаетесь. Например:

int i = 1; 
const int& ref = i; 
ref = 42; // error, because of a const reference 

Но если использовать ссылку на указатель или unique_ptr, вы можете. Пример:

class TinyClass { 
public: 
    int var = 1; 
    void f1() { var = 42; } 
}; 

std::unique_ptr<TinyClass> pointer(new TinyClass); 
const std::unique_ptr<TinyClass>& constRef = pointer; 
constRef->f1(); // no error 

Я предполагаю, что это происходит потому, что сам указатель не был изменен. Но это чувствует misleading, или как легкая ошибка. Есть ли простой способ объявить «реальную» ссылку на указатель? Как и в: обеспечивает сам объект const.

изменить: предположим, что я не могу просто изменить тип unique_ptr. Сценарий реального мира будет состоять в том, что некоторые объекты построены в vector<unique_ptr<C>>, а некоторые функции получают ссылку (const) на один из ее элементов.

Answer 1

const в const std::unique_ptr<TinyClass>& constRef гарантирует, что constRef не укажет на другой объект после его установки. Это не имеет никакого отношения к самому объекту.

Если вы хотите, чтобы предотвратить изменение самого объекта:

std::unique_ptr<const TinyClass> ptr_to_const_object; 

---

Edit (после редактирования параметров порядка):

Вы ничего не можете сделать. Поскольку есть функция, которая хочет const vector<unique_ptr<C>>&, функция ясно говорит вам, что ей нужно играть с объектом внутри указателя (и даже с указателем), но ему не нужно менять элементы вектора (например, добавлять новый элемент или удалять его) ,