Windsgo's Blog

std::string a = "abc"; // a是一个泛左值glvalue, "abc"是纯右值prvalue
std::string& b = a; // b是一个泛左值，同时他是绑定到左值的左值引用

std::string make_a_string()
{
    std:string inside = "abc";
    return inside;
}
std::string c = make_a_string(); 
// 等式右侧是一个将亡值xvalue
// 返回的inside是一个即将被销毁的临时变量
// 这句话理论上发生的事情是
// 1. 函数make_a_string()中“构造”一个inside变量
// 2. inside作为函数的值返回，是一个xvalue，作为c的构造参数
//    即此处更明确（显式）的写法是
std::string c( make_a_string() );
//    而在出该行作用域前，这个构造函数是会执行类string的拷贝构造的
//    然而，一个将亡值，我们竟然在对其做拷贝构造，这不合理，我们应该直接窃取其资源
// 所以，函数make_a_string()理论上的返回语句应该写成
return std::move(inside)
// 或者在构造c时:
std::string c( std::move(make_a_string()) )
// 而实际上我们都不用这么做，因为c++11以后有了返回值优化的说法
// 编译器会帮我们尝试移动构造而不是拷贝构造，我们只需要实现对应对象的移动构造函数即可

std::string&& ra = std::move(a);

std::string ra = std::move(a);

class Entity{
public:
    Entity(const std::string& a);
    Entity(const Entity& rhs); // copy
    Entity(Entity&& rhs); // move
private:
    std::string m_data;
};

int main()
{
    // 你通过某个函数获得了一个Entity类
    Entity entity1 = make_an_entity();
    // 然后你希望用这个entity1来构造另一个类对象，构造完之后这个entity1就不需要了
    Entity entity2 = std::move(entity1); // 调用了move构造函数
}

template<typename T>
void do_something(T&& value) {
    do_it_actually_here(value);
}

std::string a = "hello";
do_something(std::move(a));

template<typename T>
void do_something(T&& value) {
    do_it_actually_here( std::forward<T>(value) );
}