C ++: garantías de orden de construcción e inicialización

Tengo algunas dudas sobre las garantías de orden de construcción e inicialización en C ++. Por ejemplo, el siguiente código tiene cuatro clasesX, Y, Z yW. La función principal instancia un objeto declass X, que contiene un objeto declass Yy ...