Что значит такое объявления полей в С++?

Question

[alex_ak1]

Наткнулся на странный способ объявления полей в С++:

class Cls
{
  private:
    std::string m_field;
  public:
    const std::string& field = m_field;
}

Это получение константной ссылки на внутренне поле?

Answer 1

[Wataru]

Да. Field - ссылка на приватное поле. Но она константная, поэтому так дается доступ к приватному полю только на чтение.

Это становится понятнее, если воспринимать ссылки как указатели, которые не могут быть нулевыми, не могут менять адресс, куда они указывают, и должны быть инициализированны.

Comments

[alex_ak1]

Меня скорее смущает присваивание в поле. Что это за новый синтаксис? Что сюда можно вписать? Просто на с# это практически нормальная запись, а в с++ я такого раньше не видел.

[Wataru]

alex_ak1, в смысле, новый синтаксис? Ссылки всегда так заводились. И так же инициализация в объявлении в классе тоже была всегда. Опять же, воспринимайте это как присваивание указателю адреса переменной. Только синтаксический сахар это скрывает, нет операции взятия адреса и разыменовывания указателя при работе со ссылками.

Да, странно использовать поле класса в инициализации его же, но ничего не запрещает это делать.

[alex_ak1]

Wataru, просто раньше не видел этого внутри класса. А поле меняется внутри класса дальше через метод

[Wataru]

alex_ak1, Почитайте про ссылки в C++. Чаще в коде они встречаюстя как локальные переменные для сокращения кода, чтобы не писать длинные конструкции:

int &item = container[index].something.property;
item.x = 10;
item.y = 12

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

Еще раз, ссылка - это как псевдоним для переменной. Это как указатель, но его не надо разыменовывать.

Ссылки можно использовать и в классах. Там же можно использовать указатели? Вот ссылки там тоже можно использовать. Инициализация в объявлении используется повсеместно:

class Foo() {
public:
...
private:
int count_ = 10;
int doulbe_count_ = count_*2;

Это полностью эквивалентно:

class Foo() {
public:
  Foo() : count_(10), double_count(2*count_) {}
}

Ну вот у вас не int переменная, а ссылка. Использовать другие поля в инициализации можно. Надо только учитывать порядок инициализации и не использовать что-то еще не инициализированное.

Видели же как константы объявляются через друг друга?

const int kMaxBitrate = 100000;
const int kMaxTime = 10;
const int kMaxData = kMaxBitrate * kTime;

Вот так же можно использовать в инициализации любых переменных любые другие.

[alex_ak1]

Wataru, спасибо :)
я наверное просто утром тупил чтоль :) в целом вопрос реально не стоит выеденного яйца :) все понятно :)