模板推导规则

 情况3:param  既不是引用也不是指针

这意味着,参数要按照副本的方式传递.也就意味着无论如何推导,param始终会是一个全新的对象.

先看代码:

template<typename T>
void myTemplate4(T param)
{
    std::cout << "param = " << param << std::endl;
}

int x = 25;
const int cx = x;
const int& rx = x;

myTemplate4(x);        // 相当于调用了 myTemplate4<int>(int param)
myTemplate4(cx);       // 相当于调用了 myTemplate4<int>(int param)
myTemplate4(rx);       // 相当于调用了 myTemplate4<int>(int param)
myTemplate4(25);       // 相当于调用了 myTemplate4<int>(int param)

都是把
T         推导为  int 
param 推导为  int

不管左值右值,不管有没有限定词.一律为int

指针情况呢?

int x = 25;
int* px = &x;
const int* pcx = &x;
const int* const cpcx = &x;

myTemplate4(px);        // myTemplate4<int*>(int * param)
myTemplate4(pcx);       // myTemplate4<int const*>(const int * param)

myTemplate4(cpcx);       // myTemplate4<int const*>(const int * param)

指针的话有些特殊,
由于指针传递时是按照bit复制的.所以可以简单理解为. 指针本身是按照值来传递的,指针所指之物,要保持他本来的属性[指针时带有资源的,就像我们普通复制一个指针,最好也是把指针本身和资源都复制了,也就是要做资源的深拷贝]
也就是上面代码的最后一行, cpcx本身的const的属性被忽略, cpcx所指之物的const属性被携带

其实这里也不是遵循了普通的指针传值的规则.