孙玲的空间写模板代码这么多年，我最深的体会是：“编译器会包容你，不代表标准允许你。”同一份模板代码，在 GCC 下编译通过、交到 MSVC 上报出一长串错，或者反过来，是每个维护跨平台 C++ 项目的人都经历过的痛。模板代码跨编译器兼容这件事，表面看是“换个编译器试试”的问题，实际牵扯到模板的编译模型、名称查找规则、预处理宏、标准版本差异，甚至工程里 CMake 的配置习惯。
这篇文章不是从零教你写模板，而是把“为什么同一份模板代码会随编译器变脸”这件事讲透，再给出一套可以直接抄进项目的写法规范和验证体系。适合正在维护模板库、做跨平台 SDK，或者准备把老项目从单一编译器迁移到多编译器 CI 的人。读完你会发现，大多数兼容性问题其实在写代码的那一刻就注定了，只是有的编译器当时没有提醒你。
1. 为什么同一份模板代码会随编译器“变脸”？——三个能复现的差异场景
1.1 场景一：没有 typename 的“非法”代码，MSVC 却放行了
先看一段很典型的历史包袱代码：
cpp复制#include <vector>
#include <iostream>
template <typename T>
void print_first(const T& container) {
T::const_iterator it = container.begin(); // 这里少写了 typename
std::cout << *it << std::endl;
}
int main() {
std::vector<int> v{1, 2, 3};
print_first(v);
}
按 C++ 标准，T::const_iterator 是依赖类型名，前面必须写 typename，写作 typename T::const_iterator。GCC 和 Clang 在模板定义阶段就会直接报错：need 'typename' before 'T::const_iterator'。但在早期 MSVC 的一致性模式下，这种代码是可以编译的，甚至能正常运行。
这不是某个编译器的“善意”，而是历史遗留：MSVC 多年来一直没实现标准要求的两阶段查找，连带对 typename 的检查也很宽松。于是大量老项目积累了无数类似写法，一旦拿到 Linux 上用 GCC 编译，第一波报错全是“缺 typename”。
1.2 场景二：依赖名称查找时机不同，候选函数集合随之改变
再来看一个更隐蔽的差异，它不涉及语法错误，而是“重载决议的结果不同”。
cpp复制#include <iostream>
void foo(int) { std::cout << "foo(int)\n"; }
template <typename T>
void bar(T t) {
foo(t); // 参数类型依赖模板参数 T
}
void foo(double) { std::cout << "foo(double)\n"; }
int