模板是否针对相同类型的参数实例化多次？

Question

这是我的代码来解释这个问题：

template<typename T>
void get_data(T data)
{
    cout << "got me" << data << endl;
}

int main()
{
      get_data(10);
      get_data(20);
}

在这段代码中，当调用get_data(20)时，在调用get_data(10)时已经存在int的代码扩展。 那么，它将再次扩展相同数据类型的代码还是使用扩展的代码？ 请解释。

Answer 1

实例化将在同一编译单元中进行。 除了浪费之外，使用相同类型的双模板实例化还会导致违反ODR（一个定义规则）的问题-如果您具有2个相同的函数，您（或编译器）将如何知道每次使用哪个？

对于不同的编译单元，模板可能会在每个单元中独立实例化。 在链接阶段，将放弃其中一种实现方式（或导致链接错误，具体取决于链接器及其配置）。

Answer 2

模板在编译期间进行了扩展，以包含所需的变体。 在这种情况下，只需要构建一个int版本的get_data函数，它将用于两个调用。