C++ неявный конструктор копирования для класса, содержащего другие объекты

Foo f1;
Foo f2(f1);

Да, это будет делать то, что вы ожидаете:
В Ф2 копия конструктор foo::foo в(Фу как const&) называется.
Эта копия создает свой базовый класс, а затем каждый член (рекурсивно)

если вы определяете такой класс:

class X: public Y
{
    private:
        int     m_a;
        char*   m_b;
        Z       m_c;
};

следующие методы будут определены вашим компилятором.

• конструктор (по умолчанию) (2 версии)
• Конструктор (Копия)
• деструктор (по умолчанию)
• оператор присваивания

Конструктора: По Умолчанию:

на самом деле существует два конструктора по умолчанию.
Один используется для zero-initialization в то время как другой используется для value-initialization. Используемый зависит от того, используете ли вы () во время инициализации или нет.

// Zero-Initialization compiler generated constructor
X::X()
    :Y()                // Calls the base constructor
                        //     If this is compiler generated use 
                        //     the `Zero-Initialization version'
    ,m_a(0)             // Default construction of basic PODS zeros them
    ,m_b(0)             // 
    m_c()               // Calls the default constructor of Z
                        //     If this is compiler generated use 
                        //     the `Zero-Initialization version'
{
}

// Value-Initialization compiler generated constructor
X::X()
    :Y()                // Calls the base constructor
                        //     If this is compiler generated use 
                        //     the `Value-Initialization version'
    //,m_a()            // Default construction of basic PODS does nothing
    //,m_b()            // The values are un-initialized.
    m_c()               // Calls the default constructor of Z
                        //     If this is compiler generated use 
                        //     the `Value-Initialization version'
{
}

Примечания: если базовый класс или какие-либо члены не имеют допустимого видимого конструктора по умолчанию, то конструктор по умолчанию не может быть создан. Это не ошибка если ваш код не пытается использовать конструктор по умолчанию (тогда только ошибка времени компиляции).

Конструктор (Копия)

X::X(X const& copy)
    :Y(copy)            // Calls the base copy constructor
    ,m_a(copy.m_a)      // Calls each members copy constructor
    ,m_b(copy.m_b)
    ,m_c(copy.m_c)
{}

Примечания: если базовый класс или какие-либо члены не имеют допустимого видимого конструктора копирования, конструктор копирования не может быть создан. Это не ошибка, если ваш код не пытается использовать конструктор копирования (тогда только ошибка времени компиляции).

Оператор Присваивания

X& operator=(X const& copy)
{
    Y::operator=(copy); // Calls the base assignment operator
    m_a = copy.m_a;     // Calls each members assignment operator
    m_b = copy.m_b;
    m_c = copy.m_c;

    return *this;
}

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

деструктор

X::~X()
{
                        // First runs the destructor code
}
    // This is psudo code.
    // But the equiv of this code happens in every destructor
    m_c.~Z();           // Calls the destructor for each member
    // m_b              // PODs and pointers destructors do nothing
    // m_a          
    ~Y();               // Call the base class destructor

• если любой конструктор (включая копию) объявляется, тогда конструктор по умолчанию не реализуется компилятором.
• если объявлен конструктор копирования, компилятор не будет создать один.
• если оператор присваивания объявлен, компилятор не будет генерировать его.
• если деструктор объявлен, компилятор не будет генерировать один.

глядя на ваш код, генерируются следующие конструкторы копирования:

Foo::Foo(Foo const& copy)
    :bar(copy.bar)
{}

Bar::Bar(Bar const& copy)
    :i(copy.i)
    ,baz(copy.baz)
{}

Baz::Baz(Baz const& copy)
    :j(copy.j)
{}