1. Function Arguments
数组不是唯一一个在进行类型推导的时候,会变成指针的东西。
函数类型也会被推断成函数指针
2.测试
void someFunc(int, double); // someFunc is a function;
// type is void(int, double)
template<typename T>
void f1(T param); // in f1, param passed by value
template<typename T>
void f2(T& param); // in f2, param passed by ref
f1(someFunc); // param deduced as ptr-to-func;
// type is void (*)(int, double)
f2(someFunc); // param deduced as ref-to-func;
// type is void (&)(int, double)
在VS2019下测试 f1的param 是void(*)(int, double)
f2的param是 void1(*)(int,double)
这里和书中产生了偏差 看下面3
void(&a)(int, double) = param;
这里有待商榷
3. 函数指针和函数指针的引用
void(*p)(int, double) = someFunc;
函数指针的引用
void( *&r)(int , double) = p;
template<typename T>
void f1(T param)
{
函数指针的引用
void(*&a)(int, double) = param;
}// in f1, param passed by value
template<typename T>
void f2(T& param) // in f2, param passed by ref
{
void(&a)(int, double) = param;
}
所以说VS这里是一个bug,他没有写正确这个参数的类型
所以说 书上的说法才是正确的, 是一个函数的引用
4.对上面几篇总结一下
1.在类型推断的时候,实参的引用属性将会被忽略
2.推断时,当形参是通用引用是,实参是左值,将会被特殊处理
3.当形参是pass by value时,那么const volatile 都会被忽略
4.数组和函数会被推断成指针的情况