假设以下类:
struct X : A, B, C{};
改成下面这样会出现什么问题?
struct indirect_C : C{};
struct indirect_BC : B, indirect_C{};
struct X : A, indirect_BC{};
该示例可能看起来有些做作,但是当您通过可变参数模板继承可变数量的基时,并且还希望派生类中可用(或不可用)这些基的功能时,就会发生这种情况。
template<class... List>
struct X : List...{
using List::something...; // ill-formed in C++11
};
因此,您需要一种解决方法,即“递归地”继承并在每个递归步骤中将功能纳入范围:
template<class Head, class... Tail>
struct inherit_indirect
: Head
, inherit_indirect<Tail...>
{
using Head::something;
using inherit_indirect<Tail...>::something;
};
template<class T>
struct inherit_indirect<T>
: T
{
using T::something;
};
(例如,参见我的这个答案,我使用了这种技术。)