为何C++模板类含非法代码无编译报错，调用函数才触发错误？

这是C++模板的**延迟实例化（按需实例化）**机制造成的，具体区别如下：

非模板类的编译检查逻辑 #

非模板类的所有成员函数在类定义阶段就会被编译器完整检查——不管这个函数会不会被调用，编译器都会解析函数体内的代码，验证语法和语义合法性。比如示例中的类C，它的add函数里写了_v += a，编译器在处理类C的定义时，就会检查B是否支持+=运算符，发现不支持直接报错，和这个函数有没有被调用完全无关。

模板类的编译检查逻辑 #

模板本质是一个“代码蓝图”，编译器在处理模板定义时，只会做基础的语法检查（比如拼写、语法结构是否合法），不会去验证成员函数内依赖模板参数的代码逻辑。只有当模板被实例化，并且某个成员函数被实际调用时，编译器才会针对具体的模板参数（比如示例中的B），实例化这个成员函数的具体代码，再进行完整的语义检查。

回到示例：

• 当只创建A<B>对象时，编译器只会实例化A<B>的构造函数（因为构造函数被调用了），而add函数没有被调用，所以编译器不会解析它的函数体，自然不会发现_v += a的错误。
• 只有调用b.add(B())时，编译器才会实例化A<B>::add函数，此时才会检查B是否支持+=运算符，发现不支持就抛出编译错误。

这种机制是为了让泛型编程更灵活：一个模板可以适配多种类型，只要这些类型在实际被用到的操作上合法即可，不需要类型支持模板里的所有操作——这也是STL等模板库能正常工作的基础之一。

内容的提问来源于stack exchange，提问作者O.T.Vinta