IT数码 购物 网址 头条 软件 日历 阅读 图书馆
TxT小说阅读器
↓语音阅读,小说下载,古典文学↓
图片批量下载器
↓批量下载图片,美女图库↓
图片自动播放器
↓图片自动播放器↓
一键清除垃圾
↓轻轻一点,清除系统垃圾↓
开发: C++知识库 Java知识库 JavaScript Python PHP知识库 人工智能 区块链 大数据 移动开发 嵌入式 开发工具 数据结构与算法 开发测试 游戏开发 网络协议 系统运维
教程: HTML教程 CSS教程 JavaScript教程 Go语言教程 JQuery教程 VUE教程 VUE3教程 Bootstrap教程 SQL数据库教程 C语言教程 C++教程 Java教程 Python教程 Python3教程 C#教程
数码: 电脑 笔记本 显卡 显示器 固态硬盘 硬盘 耳机 手机 iphone vivo oppo 小米 华为 单反 装机 图拉丁
 
   -> C++知识库 -> c++11:std::forward,完美转发 -> 正文阅读

[C++知识库]c++11:std::forward,完美转发

目录

1、不完美转发

2、完美转发

2.1、引用折叠

2.2、std::forward


1、不完美转发

所谓完美转发,是指在函数模板中,完全按照模板的参数的类型,将参数传递给函数模板中调用的另一个函数。比如:

template <typename T>
void IamForwording(T t)
{
    IrunCodeActually(t);
}

上面的例子中,IamForwarding是一个转发函数模板。而函数IrunCodeActually则是真正执行代码的目标函数。对于目标函数IrunCodeActually而言,它总是希望转发函数将参数按照传入Iamforwarding时的类型传递(即传入ImaForwarding的是左值对象,IrunCodeActually就能获得左值对象,传入ImaForwarding的是右值对象,IrunCodeActually就能获得右值对象),而不产生额外的开销,就好像转发者不存在一样。

在ImaForwarding的参数中使用了最基本类型进行转发,该方法会导致参数在传给IrunCodeActually之前就产生了一次临时对象拷贝。因此这样的转发只能说是正确的转发,谈不上完美。

2、完美转发

C++11 标准中规定,通常情况下右值引用形式的参数只能接收右值,不能接收左值。但对于函数模板中使用右值引用语法定义的参数来说,它不再遵守这一规定,既可以接收右值,也可以接收左值(此时的右值引用又被称为“万能引用”)。

2.1、引用折叠

& + & -> &
& + && -> &
&& + & -> &
&& + && -> &&

一旦定义中出现了左值引用,引用折叠总是优先将其折叠为左值引用。

模板对类型的推导规则就比较简单了,当转发函数的实参是类型X的一个左值引用时,那么模板参数被推导为X&,而转发函数的实参是类型X的一个右值引用的话,那么模板的参数被推导为X&&类型。

结合以上的引用折叠规则,就能确定参数的实际类型,进一步,我们可以把转发函数写成如下形式:

template <typename T>
void IamForwording(T &&t)
{
    IrunCodeActually(static_cast<T &&>(t));
}

当调用转发函数时传入了一个X类型的左值引用,转发函数被实例化为如下形式:

void IamForwording(X& &&t)
{
    IrunCodeActually(static_cast<X& &&>(t));
}

应用上引用折叠规则,它就是:

template <typename T>
void IamForwording(X& t)
{
    IrunCodeActually(static_cast<X& >(t));
}

这样一来,左值传递没有任何问题。但是就有人问了,你写static_cast是不是脑子有点问题啊,先别骂,接着往下看。

当我们调用转发函数传入一个X类型的右值引用时,转发函数被实例化为:

void IamForwording(X&& &&t)
{
    IrunCodeActually(static_cast<X&& &&>(t));
}

应用上引用折叠规则,它就是:

void IamForwording(X&& t)
{
    IrunCodeActually(static_cast<X&&>(t));
}

此处的static_cast起到的作用就是std::move的作用,因为std::move通常就是一个static_cast。不过在c++11中,用于完美转发的不是static_cast,也不是std::move,而是std::forward。

2.2、std::forward

std::forward和std::move在实际实现上差别不大,不过标准库这么设计,也许是为了让每个名字对应于不同的用途,以应对未来的扩展。

template <typename T>
void IamForwording(T&& t)
{
    IrunCodeActually(std::forward<T>(t));
}
/*================================================================
*   Copyright (C) 2022 baichao All rights reserved.
*
*   文件名称:forward.cpp
*   创 建 者:baichao
*   创建日期:2022年05月15日
*   描    述:
*
================================================================*/

// forward example
#include <utility>  // std::forward
#include <iostream> // std::cout

// function with lvalue and rvalue reference overloads:
void overloaded(const int &x) { std::cout << "[lvalue]"; }
void overloaded(int &&x) { std::cout << "[rvalue]"; }

// function template taking rvalue reference to deduced type:
template <class T>
void fn(T &&x)
{
    overloaded(x);                  // always an lvalue
    overloaded(std::forward<T>(x)); // rvalue if argument is rvalue
}

int main()
{
    int a;

    std::cout << "calling fn with lvalue: ";
    fn(a);
    std::cout << '\n';

    std::cout << "calling fn with rvalue: ";
    fn(std::move(a));
    std::cout << '\n';

    return 0;
}

运行结果:

/*================================================================
*   Copyright (C) 2022 baichao All rights reserved.
*
*   文件名称:forward2.cpp
*   创 建 者:baichao
*   创建日期:2022年05月15日
*   描    述:
*
================================================================*/

#include <iostream>

using namespace std;

void RunCode(int &&m) { cout << "rvalue ref" << endl; }
void RunCode(int &m) { cout << "lvalue ref" << endl; }
void RunCode(const int &&m) { cout << "const rvalue ref" << endl; }
void RunCode(const int &m) { cout << "const lvalue ref" << endl; }

template <typename T>
void PerfectForward(T &&t)
{
    RunCode(forward<T>(t));
}

int main()
{
    int a;
    int b;
    const int c = 1;
    const int d = 0;

    PerfectForward(a);
    PerfectForward(move(b));
    PerfectForward(c);
    PerfectForward(move(d));
    return 0;
}

运行结果:

?

/*================================================================
*   Copyright (C) 2022 baichao All rights reserved.
*
*   文件名称:forward3.cpp
*   创 建 者:baichao
*   创建日期:2022年05月15日
*   描    述:
*
================================================================*/

#include <iostream>

using namespace std;

template <typename T, typename U>
void PerfectForward(T &&t, U &&func)
{
    cout << t << "\tforwarded...";
    func(forward<T>(t));
}

void RunCode(double &&m) { cout << "\tRunCode" << endl; }
void RunHome(double &&h) { cout << "\tRunHome" << endl; }
void RunComp(double &&c) { cout << "\tRunComp" << endl; }

int main()
{
    PerfectForward(1.5, RunComp);
    PerfectForward(8, RunCode);
    PerfectForward(1.5, RunHome);
    return 0;
}

?运行结果:

希望我们都有重新开始的勇气!

  C++知识库 最新文章
【C++】友元、嵌套类、异常、RTTI、类型转换
通讯录的思路与实现(C语言)
C++PrimerPlus 第七章 函数-C++的编程模块(
Problem C: 算法9-9~9-12:平衡二叉树的基本
MSVC C++ UTF-8编程
C++进阶 多态原理
简单string类c++实现
我的年度总结
【C语言】以深厚地基筑伟岸高楼-基础篇(六
c语言常见错误合集
上一篇文章      下一篇文章      查看所有文章
加:2022-05-18 17:26:01  更:2022-05-18 17:27:08 
 
开发: C++知识库 Java知识库 JavaScript Python PHP知识库 人工智能 区块链 大数据 移动开发 嵌入式 开发工具 数据结构与算法 开发测试 游戏开发 网络协议 系统运维
教程: HTML教程 CSS教程 JavaScript教程 Go语言教程 JQuery教程 VUE教程 VUE3教程 Bootstrap教程 SQL数据库教程 C语言教程 C++教程 Java教程 Python教程 Python3教程 C#教程
数码: 电脑 笔记本 显卡 显示器 固态硬盘 硬盘 耳机 手机 iphone vivo oppo 小米 华为 单反 装机 图拉丁

360图书馆 购物 三丰科技 阅读网 日历 万年历 2024年11日历 -2024/11/23 18:33:37-

图片自动播放器
↓图片自动播放器↓
TxT小说阅读器
↓语音阅读,小说下载,古典文学↓
一键清除垃圾
↓轻轻一点,清除系统垃圾↓
图片批量下载器
↓批量下载图片,美女图库↓
  网站联系: qq:121756557 email:121756557@qq.com  IT数码