网站备案更改网站负责人,做英剧网站的目的,株洲做网站优化,泉州网站建设费用右值引用应该是C11引入的一个非常重要的技术#xff0c;因为它是移动语义#xff08;Move semantics#xff09;与完美转发#xff08;Perfect forwarding#xff09;的基石#xff1a; 移动语义#xff1a;将内存的所有权从一个对象转移到另外一个对象#xff0c;高效…右值引用应该是C11引入的一个非常重要的技术因为它是移动语义Move semantics与完美转发Perfect forwarding的基石 移动语义将内存的所有权从一个对象转移到另外一个对象高效的移动用来替换效率低下的复制对象的移动语义需要实现移动构造函数和移动赋值运算符。完美转发定义一个函数模板该函数模板可以接收任意类型参数然后将参数转发给其它目标函数且保证目标函数接受一、 引入的新规则
1. 规则1引用折叠规则如果间接的创建一个引用的引用则这些引用就会“折叠”。在所有情况下除了一个例外引用折叠成一个普通的左值引用类型。一种特殊情况下引用会折叠成右值引用即右值引用的右值引用 T 。即
X 、X 、X 都折叠成XX 折叠为X
2. 规则2右值引用的特殊类型推断规则当将一个左值传递给一个参数是右值引用的函数且此右值引用指向模板类型参数(T)时编译器推断模板参数类型为实参的左值引用如
templatetypename T
void f(T);int main()
{int i 42;f(i)
}
上述的模板参数类型T将推断为int类型而非int。
若将规则1和规则2结合起来则意味着可以传递一个左值int i给f编译器将推断出T的类型为int。再根据引用折叠规则 void f(int )将推断为void f(int)。从上述两个规则可以得出结论如果一个函数形参是一个指向模板类型的右值引用则该参数可以被绑定到一个左值上。规则3虽然不能隐式的将一个左值转换为右值引用但是可以通过static_cast显示地将一个左值转换为一个右值。【C11中为static_cast新增的转换功能】。std::move()解析
class Foo {
public:std::string member;Foo(const std::string m): member(m) {} // Copy member. Foo(std::string m): member(std::move(m)) {} // Move member.
};
上述Foo(std::string member)中的member是rvalue reference但是member却是一个左值lvalue因此在初始化列表中需要使用std::move将其转换成rvalue。
标准库中move的定义如下
templatetypename T
typename remove_referenceT::type move(T t)
{return static_casttypename remove_referenceT::type (t);
}
move函数的参数T是一个指向模板类型参数的右值引用【规则2】通过引用折叠此参数可以和任何类型的实参匹配因此move既可以传递一个左值也可以传递一个右值
std::move(string(hello))调用解析 首先根据模板推断规则确地T的类型为string;typename remove_referenceT::type 的结果为 string ;move函数的参数类型为string;static_caststring (t)t已经是string于是类型转换什么都不做返回string ;string s1(hello); std::move(s1); 调用解析 首先根据模板推断规则确定T的类型为string;typename remove_referenceT::type 的结果为 stringmove函数的参数类型为string 引用折叠之后为string;static_caststring (t)t是string经过static_cast之后转换为string, 返回string ;从move的定义可以看出move自身除了做一些参数的推断之外返回右值引用本质上还是靠static_castT完成的。
因此下面两个调用是等价的std::move就是个语法糖。
void func(int a)
{cout a endl;
}int a 6;
func(std::move(a));int b 10;
func(static_castint(b));
std::move执行到右值的无条件转换。就其本身而言它没有move任何东西。 三、std::forward()解析 class Foo
{
public:std::string member;templatetypename TFoo(T member): member{std::forwardT(member)} {}
};
传递一个lvalue或者传递一个const lvaue 传递一个lvalue模板推导之后 T std::string传递一个const lvaue, 模板推导之后T const std::stringT 将折叠为T即std::string 折叠为 std::string最终函数为: Foo(string member): member{std::forwardstring(member)} {}std::forwardstring(member)将返回一个左值最终调用拷贝构造函数传递一个rvalue 传递一个rvalue模板推导之后 T std::string最终函数为: Foo(string member): member{std::forwardstring(member)} {}std::forwardstring(member) 将返回一个右值最终调用移动构造函数总结
1. std::move和std::forward本质都是转换。std::move执行到右值的无条件转换。std::forward只有在它的参数绑定到一个右值上的时候才转换它的参数到一个右值。
2. std::move没有move任何东西std::forward没有转发任何东西。在运行期它们没有做任何事情。它们没有产生需要执行的代码一byte都没有。
测试代码
#include iostream
using namespace std;templatetypename T
void PrintT(T t)
{cout lvaue endl;
}templatetypename T
void PrintT(T t)
{cout rvalue endl;
}templatetypename T
void TestForward(T v)
{PrintT(v);PrintT(std::forwardT(v));PrintT(std::move(v));cout -------- endl;
}int main()
{TestForward(1);int x 1;TestForward(x);TestForward(std::forwardint(x));
}
输出结果 [ 1 ]. C11改进我们的程序之move和完美转发 [ 2 ]. C11 std::move和std::forward
3. C完美转发
