实例化一个模板类<错误表达式>？

Question

这是我的代码：

template<typename T, template<typename = T,typename =std::allocator<typename = T> > class Container= std::vector>
 class stack
 {
     public:
     Container<T> cont;
     stack()
     {

     }
 };

如果我将第一行代码替换为下面的代码，那么它可以工作：

template<typename T, template<typename elem= T,typename =std::allocator<elem> > class Container= std::vector>

但我想问一下，当您不使用模板类型参数时，我已经阅读过，那么您可以这样写：<typename=default_type> 或 <typename>。此外，上述代码中的T 在模板模板参数Container 的参数列表中可见（即类型参数T 在其整个参数化子句中可见）。所以总而言之，我认为它应该可以工作。 但它没有并给出错误：

error: expression '<erroneous-expression> = <erroneous-expression>' is not a constant-expression
error: template argument 1 and 2 are invalid

那么任何人都可以解释为什么我会看到这些错误，什么是错误表达？

Answer 1

当一个模板参数本身就是一个模板时，除了定义模板模板参数的“模板签名”之外，它自己的模板参数在外部模板的上下文中不被使用或相关。因此，您不需要参数名称，因为它们不可用或不需要。你可以这么说：

template <typename T, template<typename, typename> class Container = std::vector>
class stack
{
  typedef Container<T, std::allocator<T> > CT;
  // ...
};

这里的template <typename, typename> 只是您期望的Container 模板类的模板签名。

在 C++11 中，您可以通过使用可变参数模板做得更好并允许更通用的容器：

template <typename T, template<typename...> class Container = std::vector> class stack;

---

[为了完整性：] 将默认类型放在模板参数的参数列表中也可以，这意味着您可以稍后省略这些类型（就像您已经做的那样）：

template<typename = T, typename = std::allocator<T> > class Container

---> now we can say:

Container<T> x;  // use second default argument
Container<> y;   // use both default arguments

---

回答你的问题：你想在

中指定一个默认的type

 template <typename = T, typename = std::allocator<typename> > class Container
                                    ^^^^^^^^^^^^^^^^^^^^^^^^
                                            Error!!

但是std::allocator<typename> 不是类型——它甚至不是合法的语法。你可以有一个模板参数，它又是一个模板，即template <typename> = std::allocator，但它不会被std::vector 匹配，或者你有一个实际的类型：

template <typename = T, typename = std::allocator<T> > class Container
                                   ^^^^^^^^^^^^^^^^^
                                   OK, this is a type

Answer 2

在类模板的parameter-list中，当你指定template模板参数时，template模板参数的模板参数没有被使用（其实他们不能使用）。因此，您甚至可以跳过提及他们的名字。

所以你应该做的是：

template<typename T, template<class,class> class Container= std::vector>
class stack
{
     Container<T, std::allocator<T> > cont;
};

也就是说，模板模板参数只需要参数的数量，以及它们的参数的信息：类型或值。

你也可以这样写以获得更好的可读性：

template<typename T, template<class U,class Allocator> class Container= std::vector>
class stack
{
     Container<T, std::allocator<T> > cont;
};

---

至于为什么您的第一个代码不起作用，因为std::allocator<typename = T> 应该只是std::allocator<T>。也就是说，这应该有效：

template<typename T, template<typename =T,typename =std::allocator<T> >  class Container= std::vector>

在这里查看：http://ideone.com/eO8qT

但是，模板模板参数的这种默认类型甚至不被考虑。他们被忽略了。

现在您可能会问为什么std::allocator<typename =T> 不起作用。因为它的格式不正确。你认为std::vector<typename =T> 有意义吗？请注意std::allocator 和std::vector 都是类模板，但Container 不是类模板。它是一个类模板的模板模板参数。这就是为什么 typename =T 被允许用于此，而它不允许用于诸如 std::allocator 之类的类模板。