重复的 c++模板实例化

Question

编译器是否可以在多个翻译单元中复制同一模板的实例？

例如，如果您的 a.cpp 在函数内使用 std:vector ，并且 b.cpp 也使用相同的内容，则是否存在使用两次 std 的风险：最终二进制文件中的 :vector ？

Answer 1

正如 Sharptooth 所说，最终的二进制文件将仅包含一个实例化。但每次在编译单元中遇到模板时，它们仍然会被实例化。如果您想要一些编译速度，在 C++0x 中我们可以使用extern template。它的工作方式与普通 extern 变量类似，因为它必须在至少一个编译单元中指定，但编译器不会在该单元中实例化模板。请参阅此处和此草案 (14.7.2 [temp.explicit]) 了解更多信息。

Answer 2

这可能在编译项目时发生，因此不同的 .obj 文件将具有相同实例化的副本。当链接二进制文件时，链接器将消除实例化的所有冗余副本，因此最终的二进制文件将只有一个副本。

Answer 3

这是可能的，但前提是您显式实例化它们，但随后您将收到链接器错误：

// header.hpp
template< typename T >
class A
{
};

// source1.cpp
template class A< int >;

// source2.cpp
template class A< int >;

如果您没有显式实例化模板，那么任何合适的链接器都将轻松消除副本。

Answer 4

我认为编译器使用与普通类的成员函数相同的机制。它可以使它们内联，我认为它会留下链接器用来整理最终二进制文件的信息。

唯一的区别是编译器“编写”定义 - 即模板的“实例化” - 但它在编译 a.cpp 或 b.cpp 时设法进行完全相同的实例化