使用std::is_same为何模板函数仍无法适配stack与queue？
嘿，我来帮你拆解这个编译错误的问题，顺便理清背后的核心原因，再给你几个适配不同C++标准的解决方案～
你遇到的编译错误，本质是C++静态类型检查的特性导致的：
C++模板在实例化的时候，编译器会完整检查模板函数里的所有代码分支——不管运行时这个分支会不会被执行到。比如当你传入stack<int>调用print_container时，编译器会检查整个函数，包括else分支里的cont.front()，但std::stack根本没有front()成员函数，所以直接报错；同理，传入queue<int>时，if分支里的cont.top()也会因为std::queue没有这个成员而触发错误。
你用的std::is_same是编译期的类型判断，但它只是返回一个编译期常量，普通的if是运行时判断，编译器不会因为std::is_same的结果就跳过不匹配分支的代码检查——这就是问题的关键。
根据你的需求（支持C++11，也接受更高标准），给你几个实用的方案：
方案1：函数重载（最直观，C++11完全支持）
针对stack和queue分别写重载的模板函数，让编译器自动匹配对应的实现，完全避开类型判断的坑：
#include <iostream> #include <stack> #include <queue> // 处理std::stack的版本 template<typename T> void print_container(std::stack<T>& cont) { while (!cont.empty()) { auto elem = cont.top(); std::cout << elem << '\n'; cont.pop(); } } // 处理std::queue的版本 template<typename T> void print_container(std::queue<T>& cont) { while (!cont.empty()) { auto elem = cont.front(); std::cout << elem << '\n'; cont.pop(); } } int main(int argc, char *argv[]) { std::stack<int> stk; stk.push(1); stk.push(2); stk.push(3); std::queue<int> q; q.push(1); q.push(2); q.push(3); std::cout << "print stack" << std::endl; print_container(stk); std::cout << "print queue" << std::endl; print_container(q); return 0; }
这个方案简单直接，完全符合C++的重载机制，编译期就能精准匹配对应的容器类型，不会有无效代码的检查问题。
方案2：SFINAE编译期分支（C++11可用）
如果你想把逻辑集中在同一个模板函数的“概念”下，可以用SFINAE（Substitution Failure Is Not An Error）特性，让编译器只实例化匹配的代码分支：
#include <iostream> #include <stack> #include <queue> #include <type_traits> // 自定义类型trait：判断是否是std::stack template<typename T> struct is_stack : std::false_type {}; template<typename T, typename Container> struct is_stack<std::stack<T, Container>> : std::true_type {}; // 自定义类型trait：判断是否是std::queue template<typename T> struct is_queue : std::false_type {}; template<typename T, typename Container> struct is_queue<std::queue<T, Container>> : std::true_type {}; // 仅当容器是stack时实例化这个版本 template<typename Cont> typename std::enable_if<is_stack<Cont>::value>::type print_container(Cont& cont) { while (!cont.empty()) { auto elem = cont.top(); std::cout << elem << '\n'; cont.pop(); } } // 仅当容器是queue时实例化这个版本 template<typename Cont> typename std::enable_if<is_queue<Cont>::value>::type print_container(Cont& cont) { while (!cont.empty()) { auto elem = cont.front(); std::cout << elem << '\n'; cont.pop(); } } int main(int argc, char *argv[]) { std::stack<int> stk; stk.push(1); stk.push(2); stk.push(3); std::queue<int> q; q.push(1); q.push(2); q.push(3); std::cout << "print stack" << std::endl; print_container(stk); std::cout << "print queue" << std::endl; print_container(q); return 0; }
这里我们定义了is_stack和is_queue两个类型判断工具，再用std::enable_if来控制哪个模板函数被实例化——当传入stack时第一个模板匹配，传入queue时第二个模板匹配，彻底避免了无效代码的编译。
方案3：C++17+用if constexpr（最简洁）
如果你的开发环境可以升级到C++17，if constexpr是最优雅的解决方案，它是编译期的条件判断，编译器会直接丢弃不满足条件的分支代码：
#include <iostream> #include <stack> #include <queue> #include <type_traits> template<typename Cont> void print_container(Cont& cont) { while (!cont.empty()) { // 用lambda包裹编译期分支，获取元素 auto elem = [&]() -> decltype(auto) { if constexpr (std::is_same_v<Cont, std::stack<int>>) { return cont.top(); } else { return cont.front(); } }(); std::cout << elem << '\n'; cont.pop(); } } int main(int argc, char *argv[]) { std::stack<int> stk; stk.push(1); stk.push(2); stk.push(3); std::queue<int> q; q.push(1); q.push(2); q.push(3); std::cout << "print stack" << std::endl; print_container(stk); std::cout << "print queue" << std::endl; print_container(q); return 0; }
if constexpr会在编译期就确定哪个分支有效，无效分支的代码根本不会被编译，完美解决了你的问题，代码也更紧凑。
你提到实际是想复用DFS（stack）和BFS（queue）的代码，上面的思路完全可以复用：
- 用重载：写
traverse函数，分别重载stack和queue版本，实现对应的遍历逻辑； - 用SFINAE或
if constexpr在同一个模板函数里处理不同容器的操作（取元素、弹出等）。
这样既保证了代码复用，又完全符合C++的静态类型特性，不会出现编译错误。
内容的提问来源于stack exchange，提问作者pambda
