c++ - 封闭类的模板参数的默认参数

Question

代码：

template <typename element_type, typename container_type = std::deque<element_type> >
class stack
{
    public:
        stack() {}
        template <typename CT>
        stack(CT temp) : container(temp.begin(), temp.end()) {}
        bool empty();
   private:
       container_type container;
};

template <typename element_type, typename container_type = std::deque<element_type> >
bool stack<element_type, container_type>::empty()
{
    return container.empty();
}

当我编译它给出了错误。

封闭类的模板参数的默认参数'bool stack<element_type,container_type>::empty()'

为什么编译器会抱怨，我怎样才能让它工作？

Answer 1

您尝试为第二个模板参数提供默认参数stack两次。默认模板参数，就像默认函数参数一样，只能定义一次（每个翻译单元）；甚至不允许重复完全相同的定义。

只需在定义类模板的开头键入默认参数即可。之后，将其保留：

template<typename element_type,typename container_type>
bool stack<element_type,container_type>::empty(){
    return container.empty();
}

Answer 2

从语法上讲，该默认参数是类的默认参数，并且仅在类声明中才有意义。

如果您要调用该函数...

stack<foo,bar>().empty();

您只有类名站点上的模板参数，您已经在模板类声明时为其提供了默认参数。

您可以通过简单地从函数定义中删除默认参数来解决此问题：

template<typename element_type,typename container_type>
bool stack<element_type,container_type>::empty(){
    return container.empty();
}