链接器如何识别重复模板实例

最新推荐文章于 2025-02-17 19:25:24 发布

原创最新推荐文章于 2025-02-17 19:25:24 发布 · 268 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#cpp #模板

c++查漏补缺专栏收录该内容

20 篇文章

订阅专栏

本文探讨了在C++中当两个源文件包含相同模板定义及其实例时，链接器如何处理这些实例。通过具体示例说明了不同情况下模板实例的选择过程。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

在两个cpp文件中都有一个相同的模板定义，并且都有相同实例，那么在main文件中调用这个实例会调用哪个模板实例呢？

//文件名caller1.cpp
#include<iostream>
template<typename T>
void func(T const &v)
{
    std::cout<<"func1: "<<v<<std::endl;
}
void caller1()
{
    func(1);
    func(0.1);
}

//文件名caller2.cpp
#include<iostream>
template<typename>
void func(T const &v)
{
    std::cout<<"func2: "<<v<<std::endl;
}
void caller2()
{
    func(2);
    func(0.2f);
}

//文件名main.cpp
void caller1();
void caller2();
int main()
{
    caller1();
    caller2();
    return 0;
}

看代码可知caller1.cpp编译所得目标文件有func< int >及func< double >两个函数模板实例，而caller2.cpp编译所得目标文件有func< int >及func< float >两个函数模板实例。我们将这两个文件和main.c文件进行链接。
g++ caller1.o caller2.o main.o -o a.out
./a.out
func1: 1
func1: 0.1
func1: 2
func2: 0.2
从输出可以看出caller2()中本应该调用caller2.cpp中的func< int >，但是由于caller1.cpp和caller2.cpp中均有func< int >实例，并且函数参数列表也相同，那么链接时链接器基于函数名，模板实参列表以及参数列表判断两个函数模板实例等价，而将caller2.cpp中的func< int >除名。所有func< int >的调用都被链接到caller1.cpp中的func< int >实例。
在写链接命令如果将caller2.o放在caller1.o之前，结果会相反。