Зачем в конструкторе инициализация вне тела конструктора?

Question

[Александр]

есть часть кода

class stack {
public:
     explicit stack (int size = 1000) : max_len (size)
      { // тело конструктора } 
private:
     int max_len;
};

Вопрос в том, зачем инициализация max_len (size) в вызове конструктора, почему не в теле самого конструктора?

Answer 1

[Армянское Радио]

Потому что без такой инициализации невозможно:
1) Передать параметры в базовые классы
2) Инициализировать константы.
3) Иметь поля, для которых нет умолчательного конструктора

Если с первым вроде как понятненько, то второе требует уточнений. Без такой инициализации, все поля в классе должны сперва создастся при помощи умолчательного конструктора, а потом еще раз инициализироваться уже в теле конструктора. Это двойная работа, что нехорошо.

Кроме того, для полей, у которых нет умолчательного конструктора, в таком случае, выходит что нет способа их адекватно создавать не на куче.

Comments

[Денис Загаевский]

Это с какой точки зрения всё это прям таки невозможно? Криво реализованное легаси я бы сказал. В других языках всё перечисленное есть и без этого синтаксиса.

[Армянское Радио]

Денис Загаевский, А теперь встройте свои идеи в C++ так, чтобы старый код, в который вложены миллионы баксов и человекочасов R&D продолжал собираться и не терял скорости и предсказуемости.

[Денис Загаевский]

gbg, я ж и говорю - кривое легаси.

[Антон Жилин]

gbg @zagaevskiy, это не люди пишут "кривое легаси", просто в C++ другой (кривоватый) синтаксис. Проводя параллель с Java:

// C++
MyThing() : field(blah) {}

// Java
MyThing() {
  field = new FieldType(blah);
}

// C++
MyThing() {
  field = FieldType(blah);
}

// Java
MyThing() {
  field = new FieldType();
  field.Init(blah);
}

Надеюсь, хотя бы на примере Java всем очевидно, что первое каноничней второго

[Армянское Радио]

Антон Жилин, есть определенная разница в том, в каком порядке будут происходить события создания в JAVA и в C++. И эта разница становится существенной, когда речь заходит о реализации принципа "вы не платите в C++ за то, что не используете"

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

Answer 2

[Тимур Покровский]

в теле происходит присваивание, а вне тела - инициализация
https://ravesli.com/urok-117-spisok-initsializatsi...

Answer 3

[AnT]

Странный вопрос. В С++ не существует другого спосба инициалиазции полей класса в определении конструктора. Никакой инициализации "в теле самого конструктора" не существует. О чем вы?