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

Foo f1;
Foo f2(f1);

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

Если вы определяете класс следующим образом:

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

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

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

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

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

// 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)
{}