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

1.T按值传递

最简单的模板例子:

cpp 复制代码
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类型

cpp 复制代码
int a = 10;
int& b = a;
func(b);

这种情况,T还是int类型

cpp 复制代码
int a = 10;
const int& p = a;
func(p);

这种情况,T还是int类型

cpp 复制代码
const int a = 10;
func(a);

这种情况,T是int *

cpp 复制代码
int* p = nullptr;
func(p);

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

cpp 复制代码
int *const p = nullptr;
func(p);

而底层const会被保留

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

故这种情况下T是const int *(int const *)类型

cpp 复制代码
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是不会推导出引用的

cpp 复制代码
const int* a = nullptr;
const int *&p =a;
func(p);

2.T &

T 仍然不会是引用

但是T会保留顶层const

func函数如下

cpp 复制代码
#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;

cpp 复制代码
int a = 10;
int& b = a;
func(b);

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

cpp 复制代码
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) {//检测const
		std::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);
相关推荐
努力努力再努力wz6 分钟前
【c++进阶系列】:万字详解多态
java·linux·运维·开发语言·c++
NuyoahC1 小时前
笔试——Day46
c++·算法·笔试
啊吧怪不啊吧2 小时前
C++之list类的代码及其逻辑详解 (中)
开发语言·数据结构·c++·list
hai_qin2 小时前
三,设计模式-抽象工厂模式
c++·设计模式·抽象工厂模式
永不停转2 小时前
详谈 QLayout::SizeConstraint 和 QSizePolicy 对 QWidget 尺寸的影响
c++·qt
楼田莉子3 小时前
C++算法学习专题:滑动窗口
开发语言·数据结构·c++·学习·算法·leetcode
炸膛坦客3 小时前
C++ 学习与 CLion 使用:(四)常量和变量,包括字面常量和符号常量
开发语言·c++·学习
特立独行的猫a3 小时前
C/C++三方库移植到HarmonyOS平台详细教程(补充版so库和头文件形式)
c语言·c++·harmonyos·napi·三方库·aki
wangluoqi5 小时前
c++ 数据结构-并查集、ST表 小总结
数据结构·c++
时间之里13 小时前
c++:MFC中sqlite3的使用(附实际案例)
c++·mfc·sqlite3