C++0x: Делегирующие конструкторы (Delegating Constructors)

Еще одна приятная фича C++0x, которой лично мне очень не хватало - делегирующие конструкторы. Дальше я кратко изложу вот этот документ: Delegating Constructors (revision 3)[pdf].

Бывает так, что классу нужно несколько конструкторов, и тогда бывает удобно из одного конструктора вызвать другой. А сделать этого нельзя. Сейчас это решается функциями инициализации. Это несколько неинтуитивный способ и у него есть недостатки.
Пример кода с функцией инициализации.

class X {
  void CommonInit();
  Y y_;
  Z z_;
public:
  X();
  X( int );
  X( W );
};

X::X() : y_(42), z_(3.14) { CommonInit(); }
X::X( int i ) : y_(i), z_(3.14) { CommonInit(); }
X::X( W e ) : y_(53), z_( e ) { CommonInit(); }

Недостатки этого метода:
1. Несмотря на то, что тела у этих конструкторов совпадают, слить их в один не получится.
2. Невозможно делегировать инициализацию переменных.

Начинающие программисты часто не знают, что вызвать один конструтор из другого нельзя и пишут что-то вроде такого:

class X {
  int i_;
public:
  X();
  X( int );
};
X::X() { DoSomethingObservableToThisObject(); }
X::X( int i ) : i_(i) { X(); } 

Этот код компилируется, но делает совсем не то, что хотел программист.

Чего будет в С++0x: один конструктор, он называется "делегирующий конструктор", сможет вызывать другой, "целевой конструктор".

Пример кода:

class X {
  int i_;
public:
  X( int i ) : i_(i) { }
  X() : X(42) { } // i_ == 42
};

Сильно лучше, чем было, но я нашла один существенный минус. Если делегирующие конструкторы образуют цикл, то результатом будет undefined behavior. Диагностику новый Стандарт не требует.

Также см. Стандарт C++0x, 12.6.2.