在线调试网站:
https://wandbox.org/
#include <iostream>
#include <thread>
#include <mutex> void func(int &&args) {std::cout << args << std::endl;
}int main () {int a = 10;func(20); func(a); func(std::move(a)); return 0;
}
编译错误信息:需要的是右值,但是传入的是左值,类型不匹配;
prog.cc: In function 'int main()':
prog.cc:13:10: error: cannot bind rvalue reference of type 'int&&' to lvalue of type 'int'13 | func(a);| ^
prog.cc:5:17: note: initializing argument 1 of 'void func(int&&)'5 | void func(int &&args) {| ~~~~~~^~~~
#include <iostream>
#include <thread>
#include <mutex> void func(int &arg) {std::cout << "func lvalue:" << arg << std::endl;
}
void func(int &&arg) {std::cout << "func rvalue" << arg << std::endl;
}template <typename T>
void wrapper(T &&args) {func(args);
}
int main() {int a = 10; wrapper(a);wrapper(20);return 0;
}
最终都调用了func(int &arg)
func lvalue:10
func lvalue:20
虽然咱们调用wrapper()函数时,传入的参数一个是左值,一个是右值,可是最终的输出确都是左值。缘由是咱们在中间加了一层转发函数wrapper()。
引用叠加,引用是能够叠加的,对于 T &&a; 叠加规则以下:
(1)当T类型为 Type 时,a 为 Type &&a,右值引用。
(2)当T类型为 Type& 时,a为 Type &a,左值引用。(这点还在思考中)
(3)当T类型为 Type&& 时,a为 Type &&a,右值引用。
经过引用叠加,分析以上示例可知,调用wrapper()时,wrapper(a) 是调用的原型是 wrapper(int &),是左值调用;wrapper(20)调用的原型是wrapper(int &&),是右值调用。可是在wrapper()函数内部,不管如何,args都是一个左值,在调用func()函数的时候,调用的func()原型老是func(int &)。
所以,右值引用属性不能被转发。因此,C++11提供了std::forward()函数用于完美转发。即,在转发过程当中,左值引用在被转发以后仍然保持左值属性,右值引用在被转发以后依然保持右值属性。
#include <iostream>
#include <thread>
#include <mutex> void func(int &arg) {std::cout << "func lvalue:" << arg << std::endl;
}
void func(int &&arg) {std::cout << "func rvalue:" << arg << std::endl;
}template <typename T>
void wrapper(T &&args) {//func(args);func(std::forward<T>(args));
}
int main() {int a = 10; wrapper(a);wrapper(20);return 0;
}
func lvalue:10
func rvalue:20
思考:
1 完美转发解决了什么问题;
2 经典应用场景是什么;(锁,线程等需要move语义的场景)