【模板进阶】完美转发

🕗 发布于 2024-09-20 17:59 c++ 算法 开发语言

一、完美转发的概念

首先，在开始介绍完美转发之前，我们先介绍几个相关概念：

$(1)$ 直接调用：如从 $main$ 函数中调用 $f u n c M i dd l e ()$ 函数，这其实就叫作直接调用。

$(2)$ 转发：从 $main$ 主函数中调用 $f u n c M i dd l e ()$ 函数，然后通过 $f u n c M i dd l e ()$ 调用 $f u n c L a s t ()$ 函数，这就叫转发。

$(3)$ 完美转发：在转发（中转这些参数）的过程中，这些参数的某些类型信息回丢失（如参数的 $cos n t$ 属性，引用( $\&$ )等），显然这种转发就是不完美的。但是如果这些参数的类型信息可以原封不动地从 $f u n c M i dd l e$ 转发到 $f u n c L a s t$ ，那么这样的转发就成为完美转发。

二、普通转发和万能引用转发

2.1普通转发

我们先来看一个普通的转发函数模板（按值传递），函数里面打印了传入的参数，用于判断是否是完美转发：

//普通转发模板
template<typename F, typename T1, typename T2>
void funcMiddle_Temp(F f, T1 t1, T2 t2) {
std::cout << "--------------------------begin--------------------------\n";
std::cout << "type t1  = " << type_id_with_cvr<decltype(t1)>().pretty_name() << "\n";
std::cout << "type t2  = " << type_id_with_cvr<decltype(t2)>().pretty_name() << "\n";
std::cout << "--------------------------end--------------------------\n";

f(t1, t2);
}

void func1(int i, int& j) {
std::cout << "调用了func1\n";
j++;
}

void Test1() {
int j = 10;
funcMiddle_Temp(func1, 1, j); //此时转发出现了问题，丢失了引用&

std::cout << j << "\n";
}

首先我们将函数指针和参数传入转发模板，然后通过转发模板来调用 $f u n c 1$ 函数。
运行结果如下：
在这里插入图片描述

无论从类型推断来看，还是从 $j$ 的数据来看，传入的参数确确实实丢失了 $\&$ 限制，但这可能是由于转发模板的形参是值传递的原因。

2.1 万能引用转发

现在，我们为了避免值传递带来的影响，使用万能引用来传递参数：

//使用万能引用来转发

void func1(int i, int& j) {
std::cout << "调用了func1\n";
j++;
}

template<typename F, typename T1, typename T2>
void funcMiddle_Temp2(F f, T1&& t1, T2&& t2) {
std::cout << "--------------------------begin--------------------------\n";
std::cout << "type t1  = " << type_id_with_cvr<decltype(t1)>().pretty_name() << "\n";
std::cout << "type t2  = " << type_id_with_cvr<decltype(t2)>().pretty_name() << "\n";
std::cout << "--------------------------end--------------------------\n";
//转发后的t1,t2都是左值

f(t1, t2);
}


void Test2() {
int j = 10;
funcMiddle_Temp2(func1, 1, j); //成功转发

std::cout << j << "\n";
}

预判一下，这样推导出的 $T 1$ 和 $T 2$ 由于是万能引用，所以不会丢失信息，运行一下：
在这里插入图片描述

确实是，分别被推导为了右值引用和左值引用，这样传递参数减少了拷贝的开销，并且能够保证信息的完整性。

然而，这就是完美转发了吗？我们换一个最终函数 $f u n c 2$ ，形参中需要传递右值，如下：

void func2(int&& i, int& j) {
std::cout << i << "\n";
std::cout << j << "\n";
i++, j++;
}

在 $T es t 2$ 中加入这一句：

funcMiddle_Temp2(func2, 1, j); //编译失败，无法从T&转为T&&

编译器报错：无法从T&转为T&&。我们知道，用于接受实参的形参类型是万能引用，而无论是左值引用还是右值引用，都是左值，当一个左值尝试传递到一个右值上是，必然会发生错误！

那么我们该如何修改呢？使用 $s t d :: m o v e$ 固然可以将左值转为右值。然而，原本形参中需要接受的左值也变成了右值，这样固然不行。

那么，此时就需要引入 $s t d :: f or w a r d <>$ 了，这是一个专门为完美转发引入的模板。

三、使用 $s t d :: f or w a r d$ 完美转发

3.1 $s t d :: f or w a d$ 的用法

$s t d :: f or w a r d$ 是 $C + + 11$ 标准库提供的专门为了转发而存在的函数模板，这个函数模板要么返回一个左值，要么返回一个右值。

具体而言， $s t d :: f or w a d$ 是返回参数传入之前的状态。

$(1)$ 原来是右值，转发后变为了左值，那么使用 $s t d :: f or w a r d$ 后就会变回右值。
$(2)$ 如果一开始是左值，由于传入后还是左值，那么使用了 $s t d :: f or w a r d$ 后还是左值，不会发生变化。

参考下方代码，我们来实验一下：

/std::forward的使用

void printInfo(int &t) {
std::cout << "printInfo的左值引用版本\n";
}

void printInfo(int&& t) {
std::cout << "printInfo的右值引用版本\n";
}

void printInfo(const int& t) {
std::cout << "printInfo的const左值引用版本\n";
}

void printInfo(const int&& t) {
std::cout << "printInfo的const右值引用版本\n";
}


template<typename T>
void testF(T&& t) {
std::cout << "--------------------------begin--------------------------\n";
std::cout << "type t  = " << type_id_with_cvr<decltype(t)>().pretty_name() << "\n";

printInfo(std::forward<T>(t));
std::cout << "--------------------------end--------------------------\n";


}

void Test3() {
int i = 1;
const int j = 2;
int k = 3;
const int& n = i;
int&& m = 6;
int& x = i;
testF(n);
testF(m);
testF(x);

testF(i);
testF(j);
testF(std::move(k));
testF(std::move(j));
testF(4);
testF(int(5));
}

注意这里转发函数模板中的这一句的写法，这是完美转发的核心

printInfo(std::forward<T>(t));

测试结果如下：
在这里插入图片描述
可以发现，在传递参数和转发参数的过程中，左值右值的信息都完美的转发到了相应的函数中了。

3.1 使用 $s t d :: f or w a d$ 实现完美转发

我们了解了 $s t d :: f or w a r d$ 的特性和用法之后，就可以通过它实现完美转发了，参考下方代码：

//使用std::forward实现完美转发
template<typename F, typename T1, typename T2>
void funcMiddle_Temp3(F f, T1&& t1, T2&& t2) {

std::cout << "--------------------------begin--------------------------\n";
std::cout << "type t1  = " << type_id_with_cvr<decltype(t1)>().pretty_name() << "\n";
std::cout << "type t2  = " << type_id_with_cvr<decltype(t2)>().pretty_name() << "\n";
std::cout << "--------------------------end--------------------------\n";

//把参数转换为转发前的类型，这里把t1变为原来的右值
f(std::forward<T1>(t1), std::forward<T2>(t2));

//不改变原先的类型
std::cout << "--------------------------begin--------------------------\n";
std::cout << "type t1  = " << type_id_with_cvr<decltype(t1)>().pretty_name() << "\n";
std::cout << "type t2  = " << type_id_with_cvr<decltype(t2)>().pretty_name() << "\n";
std::cout << "--------------------------end--------------------------\n";


}

void Test4() {
int i = 10;
int j = 10;
funcMiddle_Temp3(func2, std::move(i), j);

std::cout << i << " " << j << "\n"; //成功修改
}

可以发现，成功编译了，我们运行一下：
在这里插入图片描述可以发现，类型正确，并且成功在函数内被修改了。

三、完美转发类型

3.1对返回值进行完美转发

有时，我们需要对函数的返回值进行修改，然后再进行转发，那么此时对于函数返回值的接受就需要使用万能引用，转发就要使用完美转发。
这里我们使用 $auto\&\&$ 作为万能引用接受返回值，参考下方代码：

int myfunc() {
return 1;
}

void myfunc2(int&& x) {
std::cout << x << "\n";

}

//转发函数
void funcMiddle_Temp() {
auto&& res = myfunc(); //万能引用

//对返回值进行操作
res++;

myfunc2(std::forward<decltype(res)>(res)); //将左值转为右值转发

}


void Test5() {
funcMiddle_Temp();
}

没什么问题，参数成功被修改了：

在这里插入图片描述

3.2 在构造函数模板中使用完美转发

首先，我们先定义一个 $H u man$ 类，然后写入其相应的构造函数，这里我们先使用完美转发，观察一下结果：

class Human {
private:
std::string m_name;
public:
Human(const std::string& tmpname) :m_name(tmpname) { //可以接受左值和右值
std::cout << "Human(const std::string & tmpname)执行了\n";
}
//只接受右值
Human(std::string&& tmpname) :m_name(std::move(tmpname)) { //可以接受右值
std::cout << "Human(std::string&& tmpname)执行了\n";
}
};

我们分别实现了用于接受左值的构造函数和用于接受右值的构造函数，其中，后者使用了 $s t d :: m o v e$ 将左值的形参转为右值，用于调用 $s t d :: s t r in g$ 的移动构造。

这种写法是没问题，不过我们可以通过 $s t d :: f or w a r d$ 将这两种写法合二为一。

参考下方代码：

//完美转发构造函数模板
template<typename T>
Human(T&& tmpname) :m_name(std::forward<T>(tmpname)) {
std::cout << "Human(T&& tmpname)执行了\n";
}

这里的 $T\&\&$ 是万能引用，然后通过 $s t d :: f or w a r d$ 将参数完美转发到 $s t d :: s t r in g$ 的构造函数里面，这样的写法比较简洁。

注意，此时我们添加一个拷贝构造函数：

//拷贝构造函数
Human(const Human& th) :m_name(th.m_name) {
std::cout << "Human(Human const&th)执行了\n";
}

然后调用这一段代码：


std::string sname = "ZhangSan";
Human myhuman1(sname);

Human myhuman2(std::string("LiSi"));

Human myhuman3(myhuman1);//编译失败

其中， $\ myhuman3(myhuman1);$ 将编译失败，原因是编译器选择了构造函数模板而不是靠北构造函数！

这个问题，我们可以通过 $std::false\_type$ 和 $std::is\_convertible$ 来解决，这里暂时不提。

3.3 在可变参模板中使用完美转发

3.3.1 不转发返回值的完美转发

在可变参模板中使用完美转发也是可以的，只不过要注意一下语法上的细节：


//在可变参模板中使用完美转发

template<typename F,typename...T>
void my_func_Middle_Temp(F f,T&&... t) {
f(std::forward<T>(t)...); //注意写法
}

void funcLast(int v1,int &v2) {
++v2;
std::cout << v1 + v2 << "\n";
}

void Test7() {
int j = 70;
my_func_Middle_Temp(funcLast, 20, j);

std::cout <<"j = "<< j << "\n";
}

注意这里 $f (s t d :: f or w a r d < T > (t) ...)$ 的写法。

3.3.2 转发返回值的完美转发

如果可变参数模板存在返回值的话，转发会复杂一点，一般情况下，我们可以写成下面的代码：


//将目标函数的返回值转发给调用者函数
int funcLast2(int v1,int &v2) {
++v2;
std::cout << v1 + v2 << "\n";
return v1 + v2;
}

//使用auto+decltype来推导返回值，也可以直接使用auto
template<typename F, typename...T>
auto my_func_Middle_Temp2(F f, T&&... t) -> decltype(f(std::forward<T>(t)...)) {

return f(std::forward<T>(t)...); //注意写法
}

void Test8() {
int j = 70;
int  k = my_func_Middle_Temp2(funcLast2, 20, j);

std::cout << "j = " << j << "\n";
std::cout << "k = " << k << "\n";


}

但是，这里存在一个问题，如果 $f$ 是一个函数模板，并且返回值是一个引用类型，那么使用 $d ec lt ye$ 就会丢失掉引用这个信息。

为了解决这个问题，我们可以使用 $d ec lt y p e (a u t o)$ 来推导返回值，这样不会丢失信息：

//更好的写法，避免f是一个函数模板，并且返回值带有引用/const限定等等
template<typename F, typename...T>
decltype(auto) my_func_Middle_Temp2(F f, T&&... t){

return f(std::forward<T>(t)...); //注意写法
}

四、完美转发失败的情况

这里介绍一种常见的失败，参考下方代码：

//完美转发失败的情况

void funcLast3(char* p) {
if (p != NULL) {
strncpy(p, "abc", 3);
std::cout << p << "\n";
}
else {
std::cout << "指针为空\n";
}
}

template<typename F,typename T>
void my_funcTemp2(F f, T&& t) {
f(std::forward<T>(t));
}

调用下方代码：

void Test9() {
char* p = new char[100];
memset(p, 0, 100);
my_funcTemp2(funcLast3, p);

delete []p;

my_funcTemp2(funcLast3, NULL); //编译失败，因为NULL是0，无法从int转为char*

在 $my\_funcTemp2(funcLast3, NULL);$ 编译失败了，无法将 $in t$ 转为 $c ha r *$ 。原因很简单，因为 $N ULL$ 是一个宏定义，本质上就是个 $in t$ 类型 $0$ 。

因此，在 $C + + 11$ 引入了 $n u llpt r$ 来表示空指针，它可以隐式地转换为任意类型的指针，所以，需要使用 $N ULL$ 的地方都尽量替换为 $n u llpt r$ 吧。

下面是正确的代码：

void funcLast3(char* p) {
if (p != nullptr) {
strncpy(p, "abc", 3);
std::cout << p << "\n";
}
else {
std::cout << "指针为空\n";
}
}

template<typename F,typename T>
void my_funcTemp2(F f, T&& t) {
f(std::forward<T>(t));
}

void Test9() {
char* p = new char[100];
memset(p, 0, 100);
my_funcTemp2(funcLast3, p);

delete []p;

my_funcTemp2(funcLast3, nullptr); //编译成功，nullptr被看做指针

}

原文地址：https://blog.csdn.net/Antonio915/article/details/142381135

免责声明：本站文章内容转载自网络资源，如本站内容侵犯了原著者的合法权益，可联系本站删除。更多内容请关注自学内容网（zxcms.com）！

上一篇：百亿级数据分表后怎么分页查询？
下一篇：如何将3D模型嵌入正在Web网页？支持什么模型格式？

【电脑】解决DiskGenius调整分区大小时报错“文件使用的簇被标记为空闲或与其它文件有交叉”
本文介绍如何解决DiskGenius调整分区大小时报错“文件使用的簇被标记为空闲或与其它文件有交叉”的错误。
阅读更多2024-11-16
UNI-APP小程序答题功能开发(左右滑动,判断,填空,问答,答题卡,纠错,做题倒计时等)
这里没啥好说的,就是根据不同的状态显示不同的内容。
阅读更多2024-11-16
ES6更新的内容中什么是proxy
Proxy 是 ES6（ECMAScript 2015）中引入的一个新的内置对象，用于定义某些操作的自定义行为（如属性查找、赋值、枚举、函数调用等）。通过创建一个对象的 Proxy，你可以控制对这个对
阅读更多2024-11-16
OTX 架构开发
（一）开发环境搭建编程环境配置根据选定的编程语言，安装相应的开发工具和编译器。如果选择 Java，安装 JDK（Java Development Kit），并配置环境变量。选择合适的集成开发环境（I
阅读更多2024-11-16
领夹麦克风哪个品牌好，手机领夹麦克风哪个牌子好，选购推荐
它最大的优势就是具有高度的灵活性，而且不受距离的过多限制，能够保证声音清晰、传输稳定，让交流沟通毫无阻碍。在此，我根据自己的选购经验以及周围朋友使用后的反馈情况，总结出了无线麦克风中那些销量靠前、口碑
阅读更多2024-11-16
SQL，力扣题目1126，查询活跃业务
(business_id, event_type) 是这个表的主键（具有唯一值的列的组合）。表中的每一行记录了某种类型的事件在某些业务中多次发生的信息。1、CTE表达式 + 窗口函数 + group
阅读更多2024-11-16
客运购票售票小程序校园巴士预约售票小程序开发方案php+uniapp
客运购票小程序开发，开发语言后端php，前端uniapp。
阅读更多2024-11-16
电子电气架构 --- 车载48V系统
电子电气架构 --- 车载48V系统
阅读更多2024-11-16
每日OJ题_牛客_DP36 abb_C++_Java
每日OJ题_牛客_DP36 abb_C++_Java（用abb中第一个出现的b来考虑，一个字符作为第一b能产生的abb字符，等于它后面相同的字符数量（意味着还能凑成多少个bb）乘以它前面与它不相同的字
阅读更多2024-11-16
51单片机基础03 矩阵按键读取与外部中断读取
介绍了独立按键读取、51单片机外部中断、矩阵按键读取等
阅读更多2024-11-16