C++——右值引用

int i=42;
int& r=i;

int&& rr=i;//×，左值不能绑定到右值引用
int& r2=i*42;//×，右值不能绑定到左值引用

const int& r3=i*42;//√，右值可以绑定const引用
int&& rr2 = i*42;//右值绑定到右值引用

int&& rr1=42;//√
int&& rr2=rr1;//×

int&& rr3=std::move(rr1);//√，使用std可以避免潜在的命名冲突

StrVec(StrVec&& s) noexcept :elements(s.elements), first_free(s.first_free), cap(s.cap)//接管s的资源{    s.elements = s.first_free = s.cap = nullptr;//让s进入null，否则销毁s时，构造也会被销毁}

StrVec& operator=(StrVec&& rhs) noexcept//为何其他地方不需要？    {        if (this != &rhs)//检测自赋值        {            free();            elements = rhs.elements;            first_free = rhs.first_free;            cap = rhs.cap;            rhs.elements = rhs.first_free = rhs.cap = nullptr;        }        return *this;    }

struct X{    int i;    //内置类型，可以移动    string s;//string有定义的移动操作};struct hasX{    X men;//X有合成的移动操作};X x,x2=std::move(x);//使用合成移动构造函数hasX hx,hx2=std::move(hx);    //使用合成移动构造函数

class StrVec {public:    StrVec() :elements(nullptr), first_free(nullptr), cap(nullptr) {}//默认初始化    StrVec(const StrVec&);//拷贝构造    StrVec& operator=(const StrVec&);//拷贝赋值运算符    ~StrVec();    StrVec(StrVec&& s) noexcept :elements(s.elements), first_free(s.first_free), cap(s.cap)//接管s的资源    {        s.elements = s.first_free = s.cap = nullptr;//让s进入null    }    StrVec& operator=(StrVec&& rhs) noexcept    {        if (this != &rhs)//检测自赋值        {            free();            elements = rhs.elements;            first_free = rhs.first_free;            cap = rhs.cap;            rhs.elements = rhs.first_free = rhs.cap = nullptr;        }        return *this;    }    void push_back(const string&);//拷贝元素    void push_back(string&&);//移动元素,右值引用    string* begin() const { return elements; }    string* end() const { return first_free; }    size_t size() const { return first_free - elements; }    size_t capacity() const { return cap - elements; }private:    static std::allocator<std::string> alloc;//分配器    void chk_n_alloc() { if (size() == capacity()) reallocate(); }//每一次添加元素都要check    pair<string*, string*> alloc_n_copy(const string*, const string*);//工具，给拷贝构造、赋值运算符和析构用    void reallocate();                //获得更多内存并拷贝元素    void free();        //销毁释放内存        std::string *elements;        //指向数组元素的指针    std::string *first_free;    //指向第一个空闲元素的指针    std::string *cap;            //指向数组尾后位置的指针};void StrVec::push_back(const string& s){    chk_n_alloc();//确保空间够容纳新的元素    alloc.construct(first_free++, s);}void StrVec::push_back(string&& s){    chk_n_alloc();//确保空间够容纳新的元素    alloc.construct(first_free++, std::move(s));}

StrVec vec;
string s = "some thing";
vec.push_back(s);//调用push_back(const string& s)
vec.push_back("done");//调用push_back(string&& s)

class Foo {    Foo& operator=(const Foo& rhs) &    {        //rhs赋值给本对象        return *this;//指向左值    }    Foo sorted() && ;    Foo sorted() const &;private:    list<int> data;};Foo Foo::sorted() &&//本对象是右值，没有其他用户，可以对源对象排序{    sort(data.begin(), data.end());    return *this;}Foo Foo::sorted() const &//本对象是左值，只能先复制一份，再排序，不能改变原来的{    Foo ret(*this);    sort(ret.data.begin(), ret.data.end());    return ret;}

    Foo sorted() && ;//1    Foo sorted() const &;//2都加（如果没有&就×）    using Comp = bool(const int&, const int&);//com是函数类型的类型别名    Foo sorted(Comp*);//3    Foo sorted(Comp*) const;//4都不加（如果有&就×)