3

在我描述这个问题之前,我会告诉你我工作的目标是什么。

我想要一个模板来创建一个类(同时递归地展开一个类型列表),该类派生自可变参数列表中的所有给定类型。这很好用。(见下文)

现在我的目标是通过展开模板中的“自动”创建类型为子类的所有构造函数提供所有参数。最后,每个 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) {}

对于任何进一步的讨论:是的,我知道应该转发参数而不是作为值给出等等。但我想简化这个似乎足够长的讨论的例子。

4

1 回答 1

1

听起来您想要一个可变参数转发构造函数,例如:

template <typename... Ts>
class lots_of_parents : public Ts...
{
public:
    template <typename... Args>
    lots_of_parents(Args&&... args) : Ts(std::forward<Args>(args))... {}
};

lots_of_parents<A, B> mytop {A{1, 1}, B{1, 1}};

并且要么(a)剩下的问题是XY问题,要么(b)我根本不理解。

编辑:错过了关于你的构造函数的问题。暂时忽略函数不能部分特化,我认为语法看起来像:

template <typename Base, typename ... Next>
template <typename ... T>
Top<Base, Next...>::Top< TypeContainer<T...>>( T... args) {}

这仍然没有真正的意义,没有办法TypeContainer<T...>T... args.

于 2013-08-12T15:05:27.433 回答