Какой рекомендуемый способ инициализировать переменные члена класса в конструкторе — список инициализации или присваивание — и в каких случаях от этой рекомендации можно отступить?

Предпочтительный подход: списки инициализации

Всегда используй списки инициализации в своих конструкторах. Это лучшая практика для инициализации объектов-членов.

Пример правильного подхода:

Преимущества производительности

Списки инициализации дают значительные преимущества в производительности:

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

Неэффективная альтернатива (с использованием присваивания):

Этот подход заставляет компилятор:

1. Полностью сконструировать член через конструктор по умолчанию
2. Создать временный объект из whatever
3. Вызвать оператор присваивания
4. Уничтожить временный объект
5. Потерять ресурсы, уже выделенные конструктором по умолчанию

Единообразие и симметрия

Используй списки инициализации даже для встроенных типов (int, char*, float) — ради единообразия. Этот подход также работает с нестатическими const-членами и членами-ссылками, которые невозможно присвоить в теле конструктора.

Редкие исключения

Руководствуйся здравым смыслом в случаях, когда:

• Нескольким конструкторам нужен разный порядок инициализации
• Члены данных ссылаются сами на себя
• Члену нужна ссылка на this и требуется избежать предупреждений компилятора
• Необходимо выполнить валидацию или проверку ошибок перед инициализацией

Примечание: Такие случаи редки. По умолчанию используй списки инициализации, если нет конкретной технической причины от них отказаться.