Существуют ли два типа списков инициализаторов элементов в C++?

Что мне непонятно, так это то, как компилятор различает эти два случая (синтаксис тот же).

Увидев в списке инициализатор, компилятор сначала ищет переменные-члены с таким именем. Если он находит его, он пытается инициализировать этот член с заданными аргументами. Если это не так, он ищет прямой базовый класс или виртуальный базовый класс с таким именем, чтобы инициализировать подобъект базового класса с заданными аргументами. Это обычные правила поиска имени, применяемые, когда вы называете что-то внутри метода класса (включая конструкторы).

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

struct B1 {
  B1(char const*) {};
};
namespace Foo {
  struct B2 {
    B2(bool) {};
  };
}

struct Weird : public B1, public Foo::B2 {
  int B1;
  double B2;

  Weird() 
    : ::B1("meow")
    , Foo::B2(false)
    , B1(42)
    , B2(3.14)
  {}
};

Второй непонятный мне момент — почему мы можем захотеть поместить какой-то контент в тело конструктора из второго примера. Даже из ничего он уже создает и возвращает объект, используя конструктор родительского класса.

На самом деле он не возвращает никакого объекта, он просто создает этот объект. Однако кто-то может захотеть вызвать дополнительные функции, например:

class ParentClass {
public:
  ParentClass(string name);
  void registerSomething(ParentClass const&);
}

class ChildClass : public ParentClass {
public:
  ChildClass(string name) : ParentClass( name ) {
    registerSomething(*this);
  }
};

Может быть много причин, по которым кто-то может захотеть это сделать. В общем, поскольку дочерний класс «больше», чем родительский класс, это естественно только в том случае, если он хочет сделать больше в своем конструкторе, чем просто инициализировать подобъект базового класса.

Несколько слов о времени жизни объекта. Прежде чем войти в тело конструктора, вы создали только подобъекты нового объекта. Сам объект начинает свое время жизни, когда выполнение покидает тело конструктора. Аналогией может быть автомобиль и его части: прежде чем войти в конструктор кузова автомобиля, вы накачиваете шины, собираете двигатель и штампуете части кузова. Но ваша машина не машина, если она не собрана, что происходит в кузове конструктора. Это отражается в деструкторе и особенно заметно при наличии исключений: если во время конструктора объекта возникает исключение, его деструктор не вызывается. Будут вызываться только те деструкторы подобъектов, которые уже полностью сконструированы. Это связано с тем, что если конструктор не завершил выполнение, объект никогда не существовал и не для чего вызывать деструктор.

ParentClass — это тип, а varName1 — это переменная. Это два разных типа сущностей, которые каждый компилятор должен различать.

Есть много случаев, когда вы хотите поместить некоторый код в подкласс ctor. Например, вы хотите вычислить начальное значение члена подкласса на основе правильной инициализации объектов базового класса.

Они действительно одинаковы для компилятора: список инициализаторов используется для инициализации подобъектов. Если подобъект является базовым классом, он именуется по своему типу; если это член, он называется по имени члена; но принцип один и тот же в обоих случаях.

Применяются обычные правила поиска имени. Если вы дадите члену то же имя, что и базовый класс, он скроет базовый класс, и вы не сможете указать базовый класс в списке инициализаторов (это означает, что базовый класс должен иметь конструктор по умолчанию). (Не делайте этого. Установите соглашение об именах, чтобы имена типов и имена переменных никогда не конфликтовали.)

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

Что мне непонятно, так это то, как компилятор различает эти два случая (синтаксис тот же). Например, во втором примере компилятор может подумать, что ему нужно взять значение переменной name и присвоить его переменной ParentClass класса ChildClass, а затем он увидит, что такая переменная не объявлена ​​в классе ChildClass.

Компилятор знает, что ParentClass — это тип, не являющийся членом ChildClass. Вы не сможете объявить участника с именем ParentClass

Второй непонятный мне момент — почему мы можем захотеть поместить какой-то контент в тело конструктора из второго примера. Даже из ничего он уже создает и возвращает объект, используя конструктор родительского класса.

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