C++类模板全特化报错：template-id与模板声明不匹配

错误原因 #

你对Stack<std::string>做了类的全特化，这个特化版本本质是一个普通非模板类，而非模板的一部分。因此它的成员函数不需要用template <>标记——你之前错误地使用了模板特化语法，导致编译器无法匹配声明。

修正方案 #

修改stack.tpp中Stack<std::string>的成员函数定义，去掉每个函数前的template <>：

// stack.tpp 修正后的特化类成员函数
void Stack<std::string>::push(std::string const& x)
{
    m_elems.push_back(x);
}

std::string Stack<std::string>::pop()
{
    std::string x;
    x = top();
    m_elems.pop_back();
    return x;
}

std::string Stack<std::string>::top() const
{
    return m_elems.back();
}

bool Stack<std::string>::empty() const
{
    return m_elems.empty();
}

关键区别说明 #

• 原模板类Stack<T>是通用模板，它的成员函数是模板函数，定义时需要template <typename T>。
• template <> class Stack<std::string>是全特化类，相当于一个独立的普通类，它的成员函数就是常规成员函数，不需要任何模板语法修饰。
• 如果你只是想特化原模板类的某个成员函数（而非整个类），才需要用template <>，比如：

  // 仅特化原模板类的int版本push函数
  template <>
  void Stack<int>::push(int const& x) {
      m_elems.push_back(x * 2);
  }
  

内容的提问来源于stack exchange，提问作者Tini4