c++ - 强制成员变量在基类之前构造

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

你的基本想法很好，但你应该使用私有(private)继承，这样 derived2 的客户端就不知道内部发生了什么。

class derived2_foo
{
protected:
    foo m_foo;
};

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

我还更改了基类在类声明中出现的顺序。始终确保类声明中的顺序与初始化列表中的顺序相匹配(就像成员变量一样)。作为C++ FAQ说:

Note that the order B1 and then B2 [...] is determined by the order that the base classes appear in the declaration of the class, not in the order that the initializer appears in the derived class’s initialization list.

或者对于更官方的来源，§12.6.2/13.2 中的 C++ 标准:

[...] direct base classes are initialized in declaration order as they appear in the base-specifier-list (regardless of the order of the mem-initializers).

另一个改进是将 derived2_foo 类放入它自己的“私有(private)”命名空间中:

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 命名空间在技术上并未隐藏或保护任何内容，但它向客户发出信号，表明他们不应依赖其内容。