使用模板类的c++编译器行为

c++ compiler behaviour using template class

本文关键字：c++ 编译器      更新时间：2023-10-16

可能重复：
两相查找-需要解释

当我使用模板类时，编译器不会向我显示错误/缺少#includes的警告。

例如，如果我有一个名为"a"的类，它看起来或多或少是这样的：

template<class T>
class A {
    void print() const {cout << "Hey I didn't use include for 
                                 iostream and It works just fine!!!";}
};

如果我删除模板<类T>我得到了不存在<iostream>包括

当我使用template类时，为什么编译器不显示这些错误？

只是要指出的是，当我说它有效时，我的意思是，它在我编写类时不会向我显示任何编译错误，但只有当我使用它而不是非模板类时，错误才会立即显示。

当您编写模板代码时，只有当您创建此类的实例时，才会进行大量的语法检查，如果从未使用过，也从未检查过。

为了验证这一点，在末尾添加此行，A<int>;

更多信息请参阅两阶段查找-正如jrok所指出的，需要进行解释。

编辑：

链接的帖子提出了一个有趣的观点，即使没有实例化，这也会在gcc和clang上出错。我想和我一样，你也在MSVC++上

编译器第一次解析模板时，只需要对非依赖类型(未根据模板参数定义的类型(执行最基本的语法检查和类型检查。对于完全专用模板化类型的每个成员函数，所有依赖类型(依赖于模板参数的类型(的类型检查只需要在第一次遇到使用该函数的表达式时进行(例如，通过调用它(。这也意味着，您不使用模板化类型的任何成员函数(用于特定的专业化(可能根本无法完全编译。

这被称为两阶段名称查找，(如其他答案中所述(您可以在此处找到有关它的更多信息：两阶段查找

相关文章：