Ответ.

История вопроса:

Список инициализации появился в C++ для оптимизации и корректной инициализации членов класса до выполнения основного тела конструктора. К этому привел опыт C и C++: для константных членов и ссылок в теле конструктора инициализировать их невозможно, только в списке.

Проблема:

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

Решение:

Оптимально объявлять и инициализировать члены класса через список инициализации — особенно если это константы (const) или ссылки (&). Список инициализации задействуется ДО выполнения тела конструктора, когда члены класса ещё только конструируются.

Пример кода:

class Example {
    const int value;
    int& ref;
public:
    Example(int v, int& r) : value(v), ref(r) { /* тело конструктора */ }
};

Ключевые особенности:

• Только список инициализации позволяет задать значения для const-членов и ссылок.
• Инициализация в теле конструктора — это присваивание (а не конструирование), что для const и ссылок невозможно.
• Порядок инициализации членов всегда соответствует их порядку объявления в классе, а не в списке.

Вопросы с подвохом.

Что будет, если поменять порядок членов класса и их инициализации в списке?

Инициализация всегда идёт в порядке объявления членов в классе, а не в порядке, как написано в списке инициализации. Если зависимые члены инициализированы "не в том порядке", возможно обращение к ещё неинициализированной памяти.

Пример кода:

class Foo {
    int x;
    int y;
    Foo() : y(2), x(y) {}
    // x будет инициализирован ПЕРВЫМ, значением неинициализированного y
}

Можно ли инициализировать const-член класса в теле конструктора?

Нет. Это вызовет ошибку компиляции. Только через список инициализации.

Что произойдет, если не инициализировать ссылку-член?

Если не инициализировать ссылку-член, возникнет ошибка компиляции, потому что ссылка должна быть "привязана" к объекту при создании и не может быть позже изменена.

Типовые ошибки и анти-паттерны

• Инициализация членов в теле конструктора вместо списка, особенно для const/symlink членов.
• Случайная смена порядка объявления членов или их инициализации, приводящая к багам или неопределённому поведению.
• Попытка инициализации через присваивание при работе с константами.

Пример из жизни

Негативный кейс

В классе для хранения настроек используется const std::string и ссылка, попытка инициализации данных членов осуществляется в теле конструктора, компилятор ругается или данные не инициализируются.

Плюсы: Новичок изучил ошибку, научился отличать конструирование от присваивания.

Минусы: Ошибка компиляции, невозможность использовать класс, возможны неожиданные ошибки на этапе инициализации объектов.

Позитивный кейс

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

Плюсы: Безопасная и корректная инициализация членов класса, высокая читаемость, отсутствие утечек или UB.

Минусы: Может возникнуть сложная логика инициализации, часть которой не так просто протестировать без дополнительного кода.