模板类成员函数的特化版本选择

最新推荐文章于 2023-02-05 11:53:36 发布

飞翔的土豆

最新推荐文章于 2023-02-05 11:53:36 发布

阅读量2.5k

点赞数

文章标签： gcc 测试 c

本文链接：https://blog.csdn.net/r06041210/article/details/7703547

版权

写了个简单的代码如下

//  test.cpp:

#include "test.h"

int main()
{
	C<int> c;
	c.func();
}

// test.h


#include <cstdio>

template<typename T>
class C
{
public:
	void func()
	{
		printf("111\n");
	}
};

// test1.cpp

#include "test.h"

template<>
void C<int>::func()
{
	printf("222\n");
}

分别在VS2008和gcc下编译，出现不同的结果：vs下打印111，gcc下打印222。

可见，在分离编译的情况下，vs没能找到函数特化的定义。

进一步测试发现，将特化定义从test1.cpp移至test.h，vs编译通过且打印222，gcc报重定义错误。

于是猜测如下：

vs下的函数特化定义依然是内链接的，所以必须在当前编译模块才能覆盖泛化定义；

gcc下函数特化定义是外链接的，并优先匹配给调用者；

另外，二者特化定义都必须出现在实例化之前，否则编译不通过

有待验证……

关注