3.理解模板类型推导 Function Arguments

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.数组和函数会被推断成指针的情况