Question

我试图将一个类模板专门化为另一个，如下例所示，我注意到这个编译并运行（至少在ideone上，这是：gcc 4.3.4）注释掉的行是否被注释掉了或不。

#include <iostream>
template <typename F>
struct foo{
  typedef F value_type;
};

template <typename G>
struct bar{};

//template<>  <- works if commented out or not
template <typename F>
struct bar<foo<F> >
{
  typename foo<F>::value_type val;
};

int main(void)
{
  typedef foo<int> F;
  typedef bar<F> B;
  B b;
  b.val = 10;
  std::cout << b.val << std::endl;
  return 0;
};

所以我的问题是，它真的是可选的吗？我的印象是，对于这种专业化，template<>行是必需的。

Answer 1

此

template<>
template <typename F>
struct bar<foo<F> >;

我想，

应该是语法错误。

Answer 2

该行应该不。

进行完全专业化时，有template<>，这是强制性的。在进行部分特化时，您将部分特化的参数放在这些尖括号中，并且没有其他template关键字。

所以完全专业化是：

template <>
struct bar<qyzzy>

和部分专业化是：

template <typename F>
struct bar<foo<F> >

每个只有一个template关键字和两对尖括号。

Answer 3

应注释掉template <>的行。否则它应该是一个错误。 Bar是一个命名空间级别的模板，所以为了专门化它，你只需编写

template <parameters if any>
class bar <arguments>
{
};

我不知道为什么当您取消注释该行时gcc会接受。我可以向你保证，当然不

当使用另一个类模板专门化类模板时，`template＆lt;＆gt;`是可选的吗？

3 个答案: