C++: гарантии порядка построения и инициализации

У меня есть некоторые сомнения относительно гарантий порядка построения и инициализации в C++. Например, следующий код имеет четыре класса X, Y, Z и W. Основная функция создает экземпляр объекта class X, который содержит объект class Y и является производным от class Z, поэтому будут вызваны оба конструктора. Кроме того, параметр const char*, переданный конструктору X, будет неявно преобразован в объект class W, поэтому также должен быть вызван конструктор W.

Какие гарантии дает стандарт С++ в отношении порядка вызовов конструкторов копирования? Или, что то же самое, что этой программе разрешено печатать?

#include <iostream>

class Z {
   public:
   Z() { std::cout << "Z" << std::endl; }
};

class Y {
   public:
   Y() { std::cout << "Y" << std::endl; }
};

class W {
   public:
   W(const char*) { std::cout << "W" << std::endl; }
};

class X : public Z {
   public:
   X(const W&) { std::cout << "X" << std::endl; }
   private:
   Y y;
};

int main(int, char*[]) {
   X x("x");
   return 0;
}

редактировать: это правильно?

   W      |
 /   \    |
Z     Y   |
 \   /    |
   X      V