C++11中std::forward的使用 (转)
std::forward argument: Returns an rvalue reference to arg if arg is not an lvalue reference; If arg is an lvalue reference, the function returns arg without modifying its type.
std::forward:This is a helper function to allow perfect forwarding of arguments taken as rvalue references to deduced types, preserving any potential move semantics involved.
std::forward<T>(u)有两个参数:T 与 u。当T为左值引用类型时,u将被转换为T类型的左值,否则u将被转换为T类型右值。如此定义std::forward是为了在使用右值引用参数的函数模板中解决参数的完美转发问题。
std::move是无条件的转为右值引用,而std::forward是有条件的转为右值引用,更准确的说叫做Perfect forwarding(完美转发),而std::forward里面蕴含着的条件则是Reference Collapsing(引用折叠)。
std::move不move任何东西。std::forward也不转发任何东西。在运行时,他们什么都不做。不产生可执行代码,一个比特的代码也不产生。
std::move和std::forward只是执行转换的函数(确切的说应该是函数模板)。std::move无条件的将它的参数转换成一个右值,而std::forward当特定的条件满足时,才会执行它的转换。
std::move表现为无条件的右值转换,就其本身而已,它不会移动任何东西。 std::forward仅当参数被右值绑定时,才会把参数转换为右值。 std::move和std::forward在运行时不做任何事情。
下面是从其他文章中copy的测试代码,详细内容介绍可以参考对应的reference:
- #include "forward.hpp"
- #include <utility>
- #include <iostream>
- #include <memory>
- #include <string>
- //////////////////////////////////////////////
- // reference: http://en.cppreference.com/w/cpp/utility/forward
- struct A {
- A(int&& n) { std::cout << "rvalue overload, n=" << n << "\n"; }
- A(int& n) { std::cout << "lvalue overload, n=" << n << "\n"; }
- };
- class B {
- public:
- template<class T1, class T2, class T3>
- B(T1&& t1, T2&& t2, T3&& t3) :
- a1_{ std::forward<T1>(t1) },
- a2_{ std::forward<T2>(t2) },
- a3_{ std::forward<T3>(t3) }
- {
- }
- private:
- A a1_, a2_, a3_;
- };
- template<class T, class U>
- std::unique_ptr<T> make_unique1(U&& u)
- {
- return std::unique_ptr<T>(new T(std::forward<U>(u)));
- }
- template<class T, class... U>
- std::unique_ptr<T> make_unique(U&&... u)
- {
- return std::unique_ptr<T>(new T(std::forward<U>(u)...));
- }
- int test_forward1()
- {
- auto p1 = make_unique1<A>(2); // rvalue
- int i = 1;
- auto p2 = make_unique1<A>(i); // lvalue
- std::cout << "B\n";
- auto t = make_unique<B>(2, i, 3);
- return 0;
- }
- ////////////////////////////////////////////////////////
- // reference: http://www.cplusplus.com/reference/utility/forward/
- // 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 test_forward2()
- {
- int a;
- std::cout << "calling fn with lvalue: ";
- fn(a);
- std::cout << '\n';
- std::cout << "calling fn with rvalue: ";
- fn(0);
- std::cout << '\n';
- return 0;
- }
- //////////////////////////////////////////////////////
- // reference: http://stackoverflow.com/questions/8526598/how-does-stdforward-work
- template<class T>
- struct some_struct{
- T _v;
- template<class U>
- some_struct(U&& v) : _v(static_cast<U&&>(v)) {} // perfect forwarding here
- // std::forward is just syntactic sugar for this
- };
- int test_forward3()
- {
- /* remember the reference collapsing rules(引用折叠规则):
- 前者代表接受类型,后者代表进入类型,=>表示引用折叠之后的类型,即最后被推导决断的类型
- TR R
- T& &->T& // lvalue reference to cv TR -> lvalue reference to T
- T& &&->T& // rvalue reference to cv TR -> TR (lvalue reference to T)
- T&& &->T& // lvalue reference to cv TR -> lvalue reference to T
- T&& &&->T&& // rvalue reference to cv TR -> TR (rvalue reference to T) */
- some_struct<int> s1(5);
- // in ctor: '5' is rvalue (int&&), so 'U' is deduced as 'int', giving 'int&&'
- // ctor after deduction: 'some_struct(int&& v)' ('U' == 'int')
- // with rvalue reference 'v' bound to rvalue '5'
- // now we 'static_cast' 'v' to 'U&&', giving 'static_cast<int&&>(v)'
- // this just turns 'v' back into an rvalue
- // (named rvalue references, 'v' in this case, are lvalues)
- // huzzah, we forwarded an rvalue to the constructor of '_v'!
- // attention, real magic happens here
- int i = 5;
- some_struct<int> s2(i);
- // in ctor: 'i' is an lvalue ('int&'), so 'U' is deduced as 'int&', giving 'int& &&'
- // applying the reference collapsing rules yields 'int&' (& + && -> &)
- // ctor after deduction and collapsing: 'some_struct(int& v)' ('U' == 'int&')
- // with lvalue reference 'v' bound to lvalue 'i'
- // now we 'static_cast' 'v' to 'U&&', giving 'static_cast<int& &&>(v)'
- // after collapsing rules: 'static_cast<int&>(v)'
- // this is a no-op, 'v' is already 'int&'
- // huzzah, we forwarded an lvalue to the constructor of '_v'!
- return 0;
- }
- ////////////////////////////////////////////////////
- // reference: https://oopscenities.net/2014/02/01/c11-perfect-forwarding/
- void sum(int a, int b)
- {
- std::cout << a + b << std::endl;
- }
- void concat(const std::string& a, const std::string& b)
- {
- std::cout<< a + b << std::endl;
- }
- void successor(int a, int& b)
- {
- b = ++a;
- }
- template <typename PROC, typename A, typename B>
- void invoke(PROC p, A&& a, B&& b)
- {
- p(std::forward<A>(a), std::forward<B>(b));
- }
- int test_forward4()
- {
- invoke(sum, 10, 20);
- invoke(concat, "Hello", "world");
- int s = 0;
- invoke(successor, 10, s);
- std::cout << s << std::endl;
- return 0;
- }
GitHub:https://github.com/fengbingchun/Messy_Test
C++11中std::forward的使用 (转)的更多相关文章
- C++11中std::forward的使用
std::forward argument: Returns an rvalue reference to arg if arg is not an lvalue reference; If arg ...
- C++11中std::move、std::forward、左右值引用、移动构造函数的测试
关于C++11新特性之std::move.std::forward.左右值引用网上资料已经很多了,我主要针对测试性能做一个测试,梳理一下这些逻辑,首先,左值比较熟悉,右值就是临时变量,意味着使用一次就 ...
- C++11中std::function的使用
class template std::function is a general-purpose polymorphic function wrapper. Instances of std::fu ...
- C++11中std::move的使用
std::move is used to indicate that an object t may be "moved from", i.e. allowing the effi ...
- C++11中std::bind的使用
std::bind: Each argument may either be bound to a value or be a placeholder: (1).If bound to a value ...
- C++11中std::unordered_map的使用
unordered map is an associative container that contains key-value pairs with unique keys. Search, in ...
- item 23: 理解std::move和std::forward
本文翻译自<effective modern C++>,由于水平有限,故无法保证翻译完全正确,欢迎指出错误.谢谢! 博客已经迁移到这里啦 根据std::move和std::forward不 ...
- 用C++11的std::async代替线程的创建
c++11中增加了线程,使得我们可以非常方便的创建线程,它的基本用法是这样的: void f(int n); std::thread t(f, n + 1); t.join(); 但是线程毕竟是属于比 ...
- C++11 使用 std::async创建异步程序
c++11中增加了线程,使得我们可以非常方便的创建线程,它的基本用法是这样的: void f(int n); std::thread t(f, n + 1); t.join(); 但是线程毕竟是属于比 ...
随机推荐
- NOSQL之MONGODB
MongoDB 基于分布式文件存储的数据库.由 C++ 语言编写.旨在为 WEB 应用提供可扩展的高性能数据存储解决方案,它是一个介于关系数据库和非关系数据库之间的产品,是非关系数据库当中功能最丰富, ...
- 一份11gR2 rac awr报告的简单分析
昨晚网友发来一份awr报告,希望帮忙分析一下.由于其他信息都没有,仅仅只有一份awr,鉴于目前有大多的朋友还不太熟悉或者说不知道如何去进行awr的分析.我这里就拿这个awr来进行分析,当抛砖引玉了.首 ...
- ElementUI 知识点
类型是number的el-input 去掉滚轮事件: @mousewheel.native.prevent <el-input type="number" @mousewhe ...
- windows 安装操作系统时切换分区表格式
在出现分区管理界面时,按下shift+F10呼出命令行,输入diskpart 后尝试如下命令将磁盘分区表手动转换到MBR. list disk ---- 显示当前磁盘列表 select disk x ...
- linq to sql (Group By/Having/Count/Sum/Min/Max/Avg操作符) (转帖)
http://wenku.baidu.com/link?url=2RsCun4Mum1SLbh-LHYZpTmGFMiEukrWAoJGKGpkiHKHeafJcx2y-HVttNMb1BqJpNdw ...
- 转jmeter --JDBC请求
做JDBC请求,首先要了解这个JDBC对象是什么,然后寻找响应的数据库连接URL和数据库驱动. 数据库URL:jdbc:sqlserver://200.99.197.190:1433;database ...
- Ushare共享流媒体
一. 支持USB 参考: http://wenku.baidu.com/link?url=K_uAp4QEa2cX3nPMkbc-colCAHA1yBwo1JCYsZf-qR7AVFPkmpbBVYR ...
- [C++ Primer] : 第13章: 拷贝控制
拷贝, 赋值与销毁 当定义一个类时, 我们显示地或隐式地指定在此类型的对象拷贝, 移动, 赋值和销毁时做什么. 一个类通过定义5种特殊的成员函数来控制这些操作, 包括: 拷贝构造函数, 拷贝赋值运算符 ...
- 【jmeter】jmeter聚合报告之90%Line参数说明
其实要说明这个参数的含义非常简单,可能你早就知道他的含义,但我对这个参数一直有误解,而且还一直以为是“真理”,原于一次面试,被问到了这个问题,所以引起我这个参数的重新认识. 先说说我错误的认识: 我一 ...
- file_get_contents failed to open stream: HTTP request failed(一个字符决定成败)
file_get_contents 开始成功了.后来不知怎么的就报错,调试半天没发现什么问题. 结果.里面多了一个"空格"就报错.去掉空格就好了,你们仔细找找吧.