c++ - 引用类型的专用函数模板

Question

为什么此代码的输出：

#include <iostream>  
template<typename T> void f(T param) 
{ 
   std::cout << "General" << std::endl ; 
} 
template<> void f(int& param) 
{ 
   std::cout << "int&" << std::endl ; 
}  

int main() 
{   
  float x ;  f (x) ;   
  int y ; f (y) ;   
  int& z = y ; f (z) ; 
}  

是

一般
一般
一般

第三个令人惊讶，因为该功能专门用于int&

编辑：我知道重载可能是一个合适的解决方案。我只是想了解它背后的逻辑。

Answer 1

表达式y和表达式的类型z都是int。出现在表达式中的引用不会保留引用类型。相反，表达式的类型将是引用的类型，表达式是左值。

因此，在这两种情况下，T都被推导出为int，因此根本不使用显式特化。

需要注意的重要一点（除了你应该真正使用重载，正如另一个人所说），你的模板中有一个非引用函数参数。在对参数类型进行任何推断之前T，参数类型将从数组转换为指向其第一个元素的指针（对于函数，参数将转换为函数指针）。因此，具有非引用函数参数的函数模板无论如何都不允许准确推导。

Answer 2

引用只是别名，而不是类型。所以当你调用 f(z) 时，它会匹配第一个版本与 T=int，这是一个比 T=int& 更好的选择。如果将 T 更改为 T&，则 int 和 int& 参数都将调用第二个版本。

Answer 3

我知道这不是答案，但是恕我直言，您可以尝试一下，在结构中使用类似方法的特征：

template<typename T>
struct value_traits
{
    static void print(){std::cout << "General" << std::endl ;} 
};

template<>
struct value_traits<const long>
{
    static void print(){std::cout << "const long" << std::endl ;} 
};

template<>
struct value_traits<std::vector<unsigned char> >
{
    static void print(){std::cout << "std::vector<unsigned char>" << std::endl ; }
};

template<>
struct value_traits<const int>
{
       static void print(){std::cout << "const int" << std::endl ;} 
};