《C++ Templates》：有关const、引用、指针的一些函数模板实参推导的例子

1.T按值传递

最简单的模板例子：

template<typename T>
void func(T x) {std::cout << typeid(T).name() << std::endl;x = 20;cout << x;
}

这种情况下，T永远不会被推导成带顶层const或引用的类型

【顶层const即变量本身不能被修改，例如const int和const int &都是变量本身不能被修改的情况】

这种情况，T是int类型

int a = 10;
int& b = a;
func(b);

这种情况，T还是int类型

int a = 10;
const int& p = a;
func(p);

这种情况，T还是int类型

const int a = 10;
func(a);

这种情况，T是int *

int* p = nullptr;
func(p);

而这种情况，T还是int * (因为int *const p的意思是p是一个指向int类型的指针，而且指针p的值不能改变，故该const是顶层const)

int *const p = nullptr;
func(p);

而底层const会被保留

【底层const即变量指向的内容不能被修改，典型例子是const int *p=&a，变量p的const就是底层const】

故这种情况下T是const int *（int const *）类型

template<typename T>
void func(T x) {std::cout << typeid(T).name() << std::endl;
}
int main()
{const int *a =nullptr;func(a);
}

顺便提一下，这种情况T依然是const int *,因为T是不会推导出引用的

const int* a = nullptr;
const int *&p =a;
func(p);

2.T &

T 仍然不会是引用

但是T会保留顶层const

 func函数如下

#include <type_traits>
using namespace std;
template<typename T>
void func(T &x) {if (std::is_reference<T>::value) {//可以判断T是否是引用类型std::cout << "T is a reference type." << std::endl;}else {std::cout << "T is not a reference type." << std::endl;}std::cout << typeid(T).name() << std::endl;//即使T真是int &，typeid(T).name()也只会输出int，所以要上面的判断帮忙x = 20;cout << x << endl;
}

T是int；x的类型是int &,运行过后a的值也是20；

int a = 10;
int& b = a;
func(b);

T是const int;x的类型是const int &

template<typename T>
void func(T &x) {if (std::is_reference<T>::value) {std::cout << "T is a reference type." << std::endl;}else {std::cout << "T is not a reference type." << std::endl;}if (std::is_const<T>::value) {//检测conststd::cout << "T is a const type." << std::endl;}else {std::cout << "T is not a const type." << std::endl;}std::cout << typeid(T).name() << std::endl;//x = 20;由于x是const int &,不可以给x赋值cout << x << endl;
}
int a=10;
const int& b = a;
func(b);