#include <iostream>
#include <type_traits>
#include <typeinfo>
#include <memory>
using namespace std;
struct A
{
A(int&& n)
{
cout << "rvalue overload, n=" << n << endl;
}
A(int& n)
{
cout << "lvalue overload, n=" << n << endl;
}
};
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))); //std::forward 依据情况转换
//return std::unique_ptr<T>(new T(std::move(u))); // std::move 强制转换为右值
}
template <class T, class... U>
std::unique_ptr<T> make_unique(U&&... u)
{
return std::unique_ptr<T>(new T(std::forward<U>(u)...));
// return std::unique_ptr<T>(new T(std::move(u)...));
}
int main()
{
auto p1 = make_unique1<A>(2); // 2是右值
//rvalue overload, n= 2
int i = 10;
auto p2 = make_unique1<A>(i); //forward 左值,move是右值
int j = 100;
auto p3 = make_unique<B>(i, 2, j);
return 0;
}
std::move()和std::forward()对比
- std::move执行到右值的无条件转换。就其本身而言,它没有move任何东西。
- std::forward只有在它的参数绑定到一个右值上的时候,它才转换它的参数到一个右值。
- std::move和std::forward只不过就是执行类型转换的两个函数;std::move没有move任何东西,std::forward没有转发任何东西。在运行期,它们没有做任何事情。它们没有产生需要执行的代码,一byte都没有。
- std::forward<T>()不仅可以保持左值或者右值不变,同时还可以保持const、Lreference、Rreference、validate等属性不变;