C++模板的特例化编译为多重定义问题
之前遇到了一些关于模板特例化的问题,自己总结一下。
模板的特例化是C++新标准的一个特点,可以自定义某些模板的实现,比如在比较函数compare可以使用less<T>标准库模板比较string、int、char、指针等类型,但如果有const char*类型且比较字符串的字典大小时,就与之前的比较方式不同了:
#ifndefA_H#defineA_H#include<iostream>#include<cstring>usingstd::less;template<typenameT>intcompare(constTv1,constTv2){if(less<T>()(v1,v2)){return-1;}elseif(less<T>()(v2,v1)){return1;}else{return0;}}template<>inlineintcompare(constchar*consta,constchar*constb){returnstrcmp(a,b);}#endif#include"a.h"usingstd::cout;usingstd::endl;intmain(){cout<<compare(1,2)<<endl;cout<<compare("123","asd")<<endl;return0;}
现在看上去没什么问题,并且只有这两个文件编译通过且正常运行,如果多了一个包含a.h的文件a.cpp:
#include"a.h"
这里只有一句,但包含了a.h文件表示将其模板函数的定义包含,且特例化的函数类似一个普通函数,则a.cpp、main.cpp包含多个相同函数的定义,因此在链接时有重定义问题。
解决方法:
使用内联inline声明特例化的模板,则某些函数的定义可以在多个文件包含(一些函数的实现可能不支持内联):
template<>inlineintcompare(constchar*a,constchar*b){returnstrcmp(a,b);}
另外一个是使用一个文件包含该头文件,让所有链接的文件只有一个特例化定义
第三个是定义普通同名函数,通过重载调用非模板函数(在参数匹配级别相同时,非模板重载函数优先调用)
//a.h#ifndefA_H#defineA_H#include<iostream>#include<cstring>usingstd::less;template<typenameT>intcompare(constTv1,constTv2){if(less<T>()(v1,v2)){return-1;}elseif(less<T>()(v2,v1)){return1;}else{return0;}}intcompare(constchar*a,constchar*b);//a.cpp#include"a.h"intcompare(constchar*a,constchar*b){std::cout<<"constchar*"<<std::endl;returnstrcmp(a,b);}//main.cpp相同
如果有其他的方法请大家一起交流
声明:本站所有文章资源内容,如无特殊说明或标注,均为采集网络资源。如若本站内容侵犯了原著者的合法权益,可联系本站删除。