在我描述这个问题之前,我会告诉你我工作的目标是什么。
我想要一个模板来创建一个类(同时递归地展开一个类型列表),该类派生自可变参数列表中的所有给定类型。这很好用。(见下文)
现在我的目标是通过展开模板中的“自动”创建类型为子类的所有构造函数提供所有参数。最后,每个 Unroll 类都应该使用创建给定类的实例所需的参数。每个递归创建的模板实例都应该使用 TypeContainer 中包含的参数包之一。
在你问之前:此代码仅用于学习 c++11 的新功能。:-)
// create a wrapper around tuple to make it constructible with initializer list
template <typename ... T>
class TypeContainer: std::tuple<T...>
{
public:
TypeContainer(T... args):std::tuple<T...>(args...){};
};
// create a template to concatenate some typelists
// ??? is there a already usable template in std:: ???
template < typename ... X >
class TypeConcatenate;
template <typename T, typename ... S >
class TypeConcatenate < T, TypeContainer< S... >>
{
public:
typedef TypeContainer< T, S...> type;
};
// The follwing template unrolls a typelist and creates a recursively
// inherited class.
template <typename ... T> class Unroll;
template < class Base, class Head, class ... Next >
class Unroll< Base, Head, Next...>: public Unroll < Base, Next...>
{
public:
// collect all needed types for the instance creation of all child
// classes.
typedef typename TypeConcatenate<typename Head::Parms, typename Unroll < Base, Next...>::AllParms>::type AllParms;
};
template < class Base, class Head>
class Unroll < Base, Head>
{
// provide first parameter set for the constructor
public:
typedef TypeContainer<typename Head::Parms> AllParms;
};
template < class Base, class ... Next>
class Top : public Unroll < Base, Next...>
{
// I want to have a constructor which accepts
// all parameters for all the sub classes.
public:
template <typename ...T> Top(T... args);
};
// ??? The following lines of code will not compile!!!
// gcc 4.8.1 gives:
// error: ISO C++ forbids declaration of 'Top' with no type
// ??? Why the compiler could not interpret this as constructor ???
template <typename Base, typename ... Next, typename ... T>
Top<Base, Next...>::Top< TypeContainer<T...>>( T... args) {}
class Base {};
class A: public Base
{
public:
typedef TypeContainer<int, float> Parms;
A( int i, float f){}
} ;
class B: public Base
{
public:
typedef TypeContainer< char, int> Parms;
B( char c, int i){}
};
Top<Base, A, B> top {A{ 1,1},B{1,1}};
问题:
1)是否有一种更简单的方法来确定类层次结构的参数列表。我的方式typedef typename TypeConcatenate<typename Head::Parms, typename Unroll < Base, Next...>::AllParms>::type AllParms;
看起来有点难:-)
2)因为 1)我有一种类型的容器,T...
我的构造函数出现问题,解包包含在容器中的参数列表。也许我的解决方案非常复杂。没有解决基本思想的提示吗?
3)忽略1)和2)的问题来自一个完全无聊的设计我想知道我不能专门化构造函数
template <typename Base, typename ... Next, typename ... T>
Top<Base, Next...>::Top< TypeContainer<T...>>( T... args) {}
对于任何进一步的讨论:是的,我知道应该转发参数而不是作为值给出等等。但我想简化这个似乎足够长的讨论的例子。