Question

我有以下的模板集：

//1  
template< typename T > void funcT( T arg )  
{
    std::cout<<"1: template< typename T > void funcT( T arg )";  
}  
//2  
template< typename T > void funcT( T * arg )  
{
    std::cout<<"2: template< typename T > void funcT( T * arg )";  
}  
//3  
template<> void funcT< int >( int arg )  
{  
    std::cout<<"3: template<> void funcT< int >( int arg )";  
}  
//4  
template<> void funcT< int * >( int * arg )  
{  
    std::cout<<"4: template<> void funcT< int *>( int * arg )";  
}  

//...  

int x1 = 10;  
funcT( x1 );  
funcT( &x1 );

Can someone please explain why funcT( x1 ); calls function #3 and funcT( &x1 ); calls function #2 but not #4 as expected?
I have already read this article http://www.gotw.ca/publications/mill17.htm which says that "overload resolution ignores specializations and operates on the base function templates only". But according to this logic funcT( x1 ); should call function #1, not #3. I am confused.

Answer 1

功能#3和#4是功能#1的专业化，而不是分别是功能#1和#2的专业化。

这意味着你的编译器会优先选择#1和#2之间。当它选择#1作为funcT(x1)的最佳匹配时，然后选择专门化的#3。对于funcT(&x1)，它选择#2作为最佳匹配并找不到专门化。

以 #4 为例说明

template<> void funcT<>( int * arg )

它变成了#2的专业化，您将获得预期的结果，即#4被称为funcT(&x1)。

另一个选择是简单地写下来

void funcT(int *arg)

如果常规函数匹配，就会始终选择它们而不是模板版本。

友情链接