Блог

Почему приведенный ниже метод не getRanks() компилируется и как я могу это исправить изящно?

Все, что я хочу сделать, это определить метод доступа к члену, который возвращает ссылку на член. Ссылка не const такова, поскольку я вполне могу изменить то, на что она ссылается позже. Но поскольку метод-член не изменяет объект, я объявляю его const . Затем компилятор (clang, std= c 11) настаивает на том, что существует «привязка ссылки», которая «отбрасывает квалификаторы». Но я ЖЕ НЕ отбрасываю квалификаторы, не так ли? И если да, то почему:

 struct teststruct{
  vector<int> ranks;
  vector<int>amp; getRanks()const{
    return ranks;
  }
};
  

Теперь код компилируется, если я изменяю оператор return, чтобы отбросить const:

 return const_cast<vector<int>amp;>(ranks);
  

Но «ранги» не должны быть const в первую очередь, я не понимаю, зачем мне нужно const_cast константу. Я даже не знаю, безопасно ли это делать.

В любом случае, есть ли очиститель для написания этого метода? Может кто-нибудь объяснить, почему такой простой метод здравого смысла терпит неудачу? Я хочу объявить getRanks() метод « const «, чтобы я мог вызывать его из других const методов.

Идея const функции-члена заключается в том, что вы должны иметь возможность вызывать их для const объектов. const функции не могут изменять объект.

Допустим, у вас есть класс

 class A
{
   int data;
   void foo() const
   {
   }
};
  

и для объекта, и для вызова функции:

 A const a;
a.foo();
  

Внутри A::foo this->data обрабатывается так, как если бы его тип был int const , а не int . Следовательно, вы не можете изменить this->data A:foo() .

Переходя к вашему примеру, тип this->ranks in getRanks() следует рассматривать как const vector<int> и не vector<int> . Поскольку автоматическое преобразование const vector<int> в vector<int>amp; не разрешено, компилятор жалуется, когда вы определяете функцию как:

 vector<int>amp; getRanks()const{
    return ranks;
  }
  

Он не будет жаловаться, если вы определите функцию как:

 const vector<int>amp; getRanks()const{
    return ranks;
  }
  

поскольку const vector<int> может быть автоматически преобразован в const vector<int>amp; .

ranks это const потому, что заключающий объект ( *this ) есть const , поэтому вам нужно вернуть ссылку на a std::vector<int> const .

Если вы хотите разрешить клиенту изменять вектор (и тем самым влиять на элемент), тогда получатель не должен быть const . Обратите внимание, что средство получения в любом случае глупо, поскольку ranks оно уже является общедоступным элементом данных.

Вы возвращаете ссылку на ranks , которая является членом teststruct . Это означает, что любой, кто получает эту ссылку, может изменять внутренние компоненты teststruct объекта. Так const что это ложь.

Не отбрасывайте const . Вместо этого решите, хотите ли вы, чтобы функция была const и возвращала копию ranks или const ссылку, или быть не- const и возвращать изменяемую ссылку. При необходимости вы всегда можете иметь оба варианта.

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

 auto v = teststruct.getRanks();
v[1] = 5; //assuming v.size() > 1
  

Вы можете исправить это, вернув копию:

 vector<int> getRanks() const
  

Или const ссылка:

 const vector<int>amp; getRanks() const
  

Если вы хотите ranks изменить даже в const объекте, вы могли бы сделать это:

 mutable vector<int> ranks;