为什么使用模板生成的函数具有"weak"符号类型？

Question

创建了一个模板函数C++ template <class T> void myswap(T&d,T&s)。 主要将其用于整数，双精度，复杂类型。 使用 g++ 编译源代码。 在通过 nm 转储符号表时，为相应类型生成的函数具有符号类型"W"。

为什么它们被生成为弱符号？

#include <iostream>
#include <complex>
template <class T>
void myswap(T& d, T& s)
{
T temp = d;
d=s;
s=temp;
}
int main(void)
{
int m=5,n=6;
std::cout << "m=" << m << " n=" << n <<std::endl;
myswap(m,n);
std::cout << "m=" << m << " n=" << n <<std::endl;
double p=4.3,q=5.6;
std::cout << "p=" << p << " q=" << q <<std::endl;
myswap(p,q);
std::cout << "p=" << p << " q=" << q <<std::endl;
std::complex<double> r(2.3,5.7), s(1.2,3.4);
std::cout << "p=" << r << " q=" << s <<std::endl;
myswap(r,s);
std::cout << "p=" << r << " q=" << s <<std::endl;
return 0;
}

Answer 1

由隐式实例化生成的函数模板专用化类似于内联函数，因为如果多个翻译单元生成相同的实例化，则不会违反 ODR。如果不是这样，那么模板几乎无法使用。

弱链接是在典型实现中用于实现此目的的机制。