Question

我正在尝试使用可变参数模板，并想知道它们是否可以用于通用（？）类模板，例如

template<typename T1, typename T2 , typename T4, typename T4>
struct Foo
{
    T1      &m_member1;
    T2      &m_member2;
    T3      &m_member3;
    T4      &m_member4;
};

此外，我希望能够通过链接构造函数来初始化所有成员。这是我走了多远：

template<typename... Types>
struct Foo;

template<typename T , typename... Types>
struct Foo<T, Types ...> : public Foo<Types ...>
{
    Foo( T member , Types ... others ) : m_member( member ) , Foo<Types ...>( others )
    {
    }

    T   m_member;
};

template<typename T>
struct Foo<T>
{
    Foo( T member ) : m_member( member )
    {
    }

    T   m_member;
};

目标是创建像这样的对象：

Foo<char,int,bool,float> f( 'a' , 42 , true , 1.234 );

代码无法编译（gcc 4.5.3），错误：

TestVariadicTemplates.cpp: In constructor ‘Foo<T, Types ...>::Foo(T, Types ...)’:
TestVariadicTemplates.cpp:15:83: error: parameter packs not expanded with ‘...’:
TestVariadicTemplates.cpp:15:83: note:         ‘others’
TestVariadicTemplates.cpp:15: confused by earlier errors, bailing out

修改

引用Foo的各个成员的最佳方式是什么？

Answer 1

您必须按照以下说法执行操作：使用...展开来自参数包（可变参数）的变量。

即代替

Foo<Types ...>( others )

写

Foo<Types ...>( others... )

初始化和访问可变参数类模板的成员

1 个答案: