如何理解“大多数现代链接器都会删除多余的代码,比如模板实例化。”

• 做什么 冗余模板实例化 这是什么意思?

template <typename T> class A {}; 在 a.hpp . 我们有两种方法来实例化 a.cpp :

1显式实例化

• 显式实例化定义: template class A <type>;
• 显式实例化声明: extern template class A <type>;

• 当代码在上下文中引用需要完全定义的类型的模板时,或者当类型的完整性影响到代码和此特定类型时 , 隐式实例化发生

A<int> a; 将调用隐式实例化。

_{difference between specialization and instantiate}

让我们回一个问题:

我将把它分成几个案例 :

案例1——隐式实例化

#include "a.h"
A<int> a;

=>

class A<int>
{

};

A<int> a;

案例2——隐式实例化

#include "a..h"
A<int> a;
A<int> b;

=>

class A<int> 
{

};

A<int> a;
A<int> b;

案例3——显式实例化定义:

#include "a.h"
template class A<int>;
A<int> a;

=>

#包括“a.h”
模板类A<int>;

• _{头文件中显式的实例化声明的行为类似于Case3——没有实例化多余的模板。}

• _{成员函数有其他标尺,请看: https://en.cppreference.com/w/cpp/language/class_template}

• 隐式实例化 将生成冗余模板实例化 不会。
• link-time .

_{如果您想知道链接器如何删除冗余模板实例化,请阅读以下线程: How does the linker handle identical template instantiations across translation units?}