переменная член Force быть построено базового класса

Question

Я в настоящее время сталкивается следующий сценарий:

class foo 
{ 
public: 
    foo (/* some parameters */); 
}; 

class bar 
{ 
public: 
    bar (foo & f); 
}; 

// both foo and bar are 3rd party 

class base 
{ 
public: 
    base (foo & f) : m_bar (f) {} 

private: 
    bar m_bar; 
}; 

class derived : public base 
{ 
public: 
    derived (foo & f) : base (f) {} 
}; 

class derived2 : public base 
{ 
public: 
    derived2() : base (/* well ... */) {} 

private: 
    foo m_foo; 
}; 

Как вы можете видеть, foo и bar были предназначены для использования, как это:

foo f (/* some parameters */); 
bar b (f); 

Тем не менее, я хочу, чтобы мои классы-оболочки были автономными, если необходимо, и derived2 должен быть. Но, derived2::m_foo не может быть просто передан base, а его неинициализирован.

Так что мой вопрос: есть ли способ заставить derived2::m_foo построить до base?

Единственное решение, которое я придумал себе это:

class derived2_foo 
{ 
protected: 
    foo m_foo; 
}; 

class derived2 : public base, public derived2_foo 
{ 
public: 
    derived2() : derived2_foo(), base (m_foo) {} 
}; 

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

Answer 1

Ваша основная идея хорошая, но вы должны использовать частное наследование, чтобы клиенты derived2 не знали, что происходит внутри.

class derived2_foo 
{ 
protected: 
    foo m_foo; 
}; 

class derived2 : private derived2_foo, public base 
{ 
public: 
    derived2() : derived2_foo(), base (m_foo) {} 
}; 

Я также изменил порядок, в котором ваши базовые классы появляются в объявлении класса. Всегда убедитесь, что порядок в объявлении класса совпадает с порядком в списке инициализации (как и с переменными-членами). Как C++ FAQ говорит:

Обратите внимание, что порядок B1 и B2 затем [...] определяется порядок, что базовые классы появляются в объявлении класса, не в том порядке, инициализатор появляется в списке инициализации класса .

Или еще более официальный источник, стандарт C++ на §12.6.2/13,2:

[...] прямые базовые классы инициализируются в порядке декларации, как они появляются в base-specifier-list (независимо от порядка mem-initializers).

Еще одно усовершенствование было бы поставить derived2_foo класс в свой собственный "частный" пространство имен:

namespace detail 
{ 
    class derived2_foo 
    { 
    protected: 
     foo m_foo; 
    }; 
} 

class derived2 : private detail::derived2_foo, public base 
{ 
public: 
    derived2() : derived2_foo(), base (m_foo) {} 
}; 

библиотеки как Boost, сделать это, тоже. Хотя пространство имен detail технически не скрывает и не защищает, оно сигнализирует клиентам, что они не должны зависеть от его содержимого.