Question

请考虑以下代码段：

template<template<class> class T,class U>
struct apply
{
     typedef T<U> type;
};

typedef apply<std::tuple,int>::type tuple_of_one_int; //Should be std::tuple<int>

GCC 4.8.2。表示：

type/value mismatch at argument 1 in template parameter list for [...] struct apply
expected a template of type ‘template<class> class T’, got ‘template<class ...> class std::tuple’

这基本上意味着像std::tuple这样的可变参数模板不是T中apply的有效模板参数。

这是一个GCC错误还是标准要求这种行为？

Answer 1

如果我错了，有人会纠正我，但这句话似乎是正确的：

3当template-argument的相应类模板的模板参数列表中的每个模板参数或[FI 11]模板别名模板（调用）时，模板参数匹配模板模板参数（称为P）它A）匹配P
的模板参数列表中的相应模板参数

A（给定模板）必须将每个模板参数与P的模板模板相匹配。

从本节的第二部分我们了解到限制不适用于反向，这意味着包含参数包的模板模板可以匹配任何内容。

当P的template-parameter-list包含模板参数包（14.5.3）时，模板参数包将匹配具有相同类型的A的模板参数列表中的零个或多个模板参数或模板参数包。在P
中形成模板参数包

你可能已经知道让它工作的方法是

template<template<class> class T,class U>                                       
struct apply                                                                       
{                                                                                  
         typedef T<U> type;                                                        
};                                                                                 

template<class T> using tuple_type  = std::tuple<T>;
typedef apply<tuple_type,int>::type tuple_of_one_int;

c ++ 11标准也有与您相同的例子。

template <class ... Types> class C { /∗ ... ∗/ };

template<template<class> class P> class X { /∗ ... ∗/ };

X<C> xc; //ill-formed: a template parameter pack does not match a template parameter

最后一条评论完整地描述了您的情况，在这种情况下，课程C将相当于std::tuple。

Answer 2

您的代码格式错误，标准中有相同的示例（在14.3.3 / 2下）：

...
template <class ... Types> class C { /∗ ... ∗/ };

template<template<class> class P> class X { /∗ ... ∗/ };
...
X<C> xc; // ill-formed: a template parameter pack does not match a template parameter
...

Answer 3

修复：

template<template<class...> class T,class U>
struct apply
{
     typedef T<U> type;
};

typedef apply<std::tuple,int>::type tuple_of_one_int;
typedef apply<std::vector,int>::type vector_of_int;

可变参数模板是否可以匹配非可变参数模板参数？

3 个答案: