C++编译器何时检查模板正确性？未实例化无报错是否符合预期？

一、未实例化的模板不报错是预期行为 #

先看你给出的错误代码示例：

template <typename T> void k(T x)
{
    std::array<T, 3> a { x, x, x };
    std::cout << a(1) << "\n";
}

int main()
{
//  k<int>(5);
    return 0;
}

这完全符合C标准的预期行为。C对模板的检查分为两个阶段：

• 第一阶段（模板定义阶段）：仅检查非依赖于模板参数的代码，比如基础语法错误、不依赖模板参数的变量/函数是否存在等。
• 第二阶段（模板实例化阶段）：才会彻底检查所有依赖于模板参数的代码，因为此时模板参数的具体类型已确定，编译器能明确判断代码合法性。

示例中的a(1)属于依赖代码——std::array<T,3>的类型由模板参数T决定，编译器在看到模板定义时，无法提前确定该类型是否支持operator()。哪怕我们知道std::array没有这个运算符，编译器也不会在未实例化时做这种预判，只有当模板被实例化（取消注释k<int>(5)），a的具体类型确定为std::array<int,3>，编译器才会发现这个调用非法。

这确实和SFINAE无关，SFINAE是模板重载决议时的机制，针对参数替换失败的情况跳过对应重载，而这里的核心是模板根本没被实例化，依赖代码未进入检查流程。

二、基类模板错误方法被派生类重载隐藏时不报错的情况 #

这种场景同样符合标准规则。C++中，模板类的成员函数遵循按需实例化原则：即使整个模板类被实例化，只要某个成员函数没有被实际使用（比如调用、取其地址），编译器就不会实例化这个成员函数。

当派生类实例化并重载了基类的方法，基类中那个有错误的方法会被派生类的重载版本隐藏，只要基类的错误方法从未被调用或引用，编译器就不会去实例化它，自然也就不会发现其中的错误。

内容的提问来源于stack exchange，提问作者Adhémar Patamob