模板类并包含 C++ 中的守卫

Question

在模板类周围包含防护措施是否明智？

每次使用不同的实现引用模板类时，难道不应该重新解析模板类吗？

注意：在 Visual C++ 2008 中，将两者结合起来没有出现任何错误...

Answer 1

你需要包括警卫。考虑以下代码：

// this is t.h
template <typename T>
void f( T t ) {
}

// this is t.cpp
#include "t.h"
#include "t.h"

int main() {
    f( 1 );
}

这会产生错误：

t.h:2: error: redefinition of 'template<class T> void f(T)'
t.h:2: error: 'template<class T> void f(T)' previously declared here

此外，包含模板的标头通常也包含非模板代码。

Answer 2

模板定义应该解析一次（这里有两个阶段名称查找之类的东西，以便可以立即给出尽可能多的错误，而无需实例化）。实例化是使用当时构建的内部数据结构完成的。

模板定义通常（即，如果您不使用导出或执行某些特殊操作）位于应具有包含保护的头文件中。为模板定义添加一个虽然无用但无害。

Answer 3

简短的回答：您计划多次包含任何定义的每个单元都应该有一个标头防护。这是有或没有模板的情况。

Answer 4

回答你的第一个问题：是的，在模板类周围包含防护是明智的，也是强制性的。或者更严格地围绕每个头文件的全部内容。

当头文件中有东西时，这是遵守单一定义规则的方法，这样它就可以共享并且仍然安全。可能还有其他头文件包含您的头文件。当编译器编译模块文件时，它可能会多次看到头文件的 #include ，但防护会在第二次及后续时间启动，以确保编译器只看到一次内容。

编译器重新解析任何东西并不重要；这就是它的工作。您只需提供一次内容，编译器就会看到它，并可以根据需要多次引用它。