带默认模板参数的Stack类特化pop()函数调用差异疑问

这问题其实出在你写的特化代码的语法细节，以及编译器对模板默认参数的宽松处理上，我给你一步步拆解：

首先明确核心前提 #

你的类模板是带两个参数的，第二个参数有默认值：

template <typename T, typename CONT = vector<T>> class Stack { ... };

按照C++标准，Stack<int>和Stack<int, vector<int>>完全是同一个类型——后者只是把前者的默认参数显式写出来了。那为什么调用的pop不一样？问题出在你写的特化pop函数上。

你的特化写法其实不符合标准 #

你写的特化代码是：

template<> void Stack<int>::pop() { 
    cout << "Called Specialized "; 
    elems_.pop_back(); 
}

这里的Stack<int>是不完整的——你的类模板需要两个模板参数，而这里只给了一个。标准C++里，这种写法只有在你先定义了类模板的偏特化（比如template <typename CONT> class Stack<int, CONT>）之后才合法，用来特化这个偏特化类的成员函数。但你并没有定义这个偏特化类，所以严格来说这段代码是非法的。

编译器的“宽容”处理导致了差异 #

不过有些编译器（比如GCC在某些模式下）会宽松地解析这段代码，把它当成针对Stack<int, vector<int>>的成员函数显式特化——也就是专门给“使用默认参数实例化的Stack<int>”准备的特化。这时候编译器内部可能会把两种实例化场景区分开：

• 当你写Stack<int> mystack时，编译器认为你是依赖默认参数创建的实例，所以匹配到这个“宽松解析”的特化pop；
• 当你写Stack<int, vector<int>> mystack时，编译器认为你是显式指定了所有模板参数，所以会去匹配主模板里的pop函数。

怎么写才是符合标准的？ #

如果你想要的效果是所有T=int的Stack都调用特化pop（不管CONT是什么），你需要先偏特化类模板，再特化成员函数：

// 先偏特化类模板：当T=int时，不管CONT是什么
template <typename CONT>
class Stack<int, CONT> {
public:
    void push(int arg);
    int top() const;
    void pop();
    bool isEmpty() const;
private:
    CONT elems_;
};

// 特化这个偏特化类的pop成员
template <typename CONT>
void Stack<int, CONT>::pop() {
    cout << "Called Specialized ";
    elems_.pop_back();
}

这样不管你是Stack<int>、Stack<int, vector<int>>还是Stack<int, deque<int>>，都会调用这个特化的pop。

如果你只想特化T=int且CONT=vector的Stack，那就要显式指定所有模板参数来特化pop：

template<>
void Stack<int, vector<int>>::pop() {
    cout << "Called Specialized ";
    elems_.pop_back();
}

这时候不管你是写Stack<int>还是Stack<int, vector<int>>，都会调用这个特化pop——因为它们本质是同一个类型，标准编译器会正确匹配。

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