《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);
相关推荐
charlie11451419129 分钟前
从C++编程入手设计模式——观察者模式
c++·观察者模式·设计模式
岁忧40 分钟前
(LeetCode 每日一题) 2294. 划分数组使最大差为 K (贪心、数组)
java·c++·leetcode·职场和发展·go
杨某一辰1 小时前
【Guava】0.做自己的编程语言
c++·guava·语言设计
CodeWithMe1 小时前
【闲谈】对于c++未来的看法
开发语言·c++
dd向上2 小时前
聊聊GPIO 工作模式
c语言·c++·单片机·嵌入式硬件
愚润求学3 小时前
【递归,搜索与回溯算法】记忆化搜索(二)
linux·c++·算法·leetcode
凌佚4 小时前
rknn优化教程(三)
c++·yolo·目标检测
charlie1145141914 小时前
从C++编程入手设计模式——责任链模式
c++·设计模式·责任链模式
傅科摆 _ py5 小时前
《算法笔记》之二(笔记)
c++
希望_睿智5 小时前
实战设计模式之责任链模式
c++·设计模式·架构