c++11：std::move，移动语义

目录

功能

is_move_constructible,判断类型是否可移动构造

移动语义经典的场景之实现高性能的swap函数

功能

    将一个左值强制转化为右值引用。需要注意的是，被转化的左值，其生命周期并没有随着左右值得转化而改变（例如，std::move转化后的左值变量lvalue不能被立即析构）

/*================================================================
*   Copyright (C) 2022 baichao All rights reserved.
*
*   文件名称：moveable.cpp
*   创 建 者：baichao
*   创建日期：2022年05月14日
*   描    述：
*
================================================================*/

#include <iostream>

class Moveable
{
public:
    Moveable() : i(new int(3)) { std::cout << "Moveable()" << std::endl; }
    ~Moveable()
    {
        delete i;
        std::cout << "~Moveable()" << std::endl;
    }
    Moveable(const Moveable &m) : i(new int(*m.i)) { std::cout << "Moveable(const Moveable &m)" << std::endl; }
    Moveable(Moveable &&m) : i(m.i)
    {
        m.i = nullptr;
        std::cout << "Moveable(Moveable &&m) " << std::endl;
    }

    int *i;
};

int main()
{
    Moveable a;
    Moveable c(std::move(a));
    //std::cout<<*a.i<<std::endl;  //a.i此时已经为nullptr
    return 0;
}

Moveable c(std::move(a))，调用了移动构造函数。

/*================================================================
*   Copyright (C) 2022 baichao All rights reserved.
*
*   文件名称：huge_mem.cpp
*   创 建 者：baichao
*   创建日期：2022年05月14日
*   描    述：
*
================================================================*/

#include <iostream>

using namespace std;

class HugeMem
{
public:
    HugeMem(int size) : sz(size > 0 ? size : 1)
    {
        c = new int[sz];
    }
    ~HugeMem()
    {
        delete[] c;
    };
    HugeMem(HugeMem &&hm) : sz(hm.sz), c(hm.c)
    {
        hm.c = nullptr;
    }
    int *c;
    int sz;
};
class Moveable
{
public:
    Moveable() : i(new int(3)), h(1024){}
    ~Moveable(){delete i;}
    Moveable(Moveable &&m) : i(m.i), h(move(m.h))
    {
        m.i = nullptr;
        std::cout << "Moveable(Moveable &&m)" << std::endl;
    }
    int *i;
    HugeMem h;
};
Moveable GetTemp()
{
    Moveable tmp = Moveable();
    cout << hex << "Huge Mem from " << __func__
         << " @" << tmp.h.c << endl;
    return tmp;
}

int main()
{
    Moveable a(GetTemp());
    cout << hex << "Huge Mem from " << __func__
         << " e" << a.h.c << endl;
}

运行结果：

 a.h.c的地址与GetTemp()函数中的局部变量tmp的地址一致，而且在图中我们能看到三次移动构造，第一次发生在Moveable tmp = Moveable()；第二次发生在return tmp；第三次发生在Moveable a(GetTemp())。

需要注意的是声明了移动构造函数、移动赋值函数、拷贝赋值寒素和析构函数中的一个或者多个，编译器也不会再为程序生成默认的拷贝函数。所以在c++11中，拷贝构造/赋值和移动构造/赋值必须同时提供，或者同时不提供，程序才能保证类同时具有拷贝和移动语义。只声明其中一种的话，类都仅能实现一种语义。

其实，只实现一种语义在类的编写中也是非常常见的。比如说只有拷贝语义的类型--事实上在c++11之前我们见过大多数的类型的构造都是只使用拷贝语义的。而只有移动语义的类型则会非常有趣，因为只有移动语义表明该类型的变量所拥有的资源只能被移动，而不能被拷贝。那么这样的资源必须是唯一的。因此，只有移动语义构造的类型往往都是“资源型”的类型，比如说unique_ptr，文件流等。

is_move_constructible,判断类型是否可移动构造

//（判断一个类型是否可以被引用）******是一个类型，类型，类型是否可以被引用
标识T是否为移动可构造类型的特征类。

可移动构造类型是可以从其类型的右值引用构造的类型。这包括标量类型和移动可构造类。

可移动构造类是具有移动构造函数（隐式或自定义）或为右值引用调用的复制构造函数的类（除非该类具有已删除的移动构造函数，否则始终调用这些构造函数）。

请注意，这意味着所有可复制构造的类型也是可移动构造的。
is_move_constructible<UmknownType>::value;

/*================================================================
*   Copyright (C) 2022 baichao All rights reserved.
*   
*   文件名称：ismove.cpp
*   创 建 者：baichao
*   创建日期：2022年05月14日
*   描    述：
*
================================================================*/


// is_move_constructible example
#include <iostream>
#include <type_traits>

struct A { };
struct B { B(B&&) = delete; };

int main() {
  std::cout << std::boolalpha;
  std::cout << "is_move_constructible:" << std::endl;
  std::cout << "int: " << std::is_move_constructible<int>::value << std::endl;
  std::cout << "A: " << std::is_move_constructible<A>::value << std::endl;
  std::cout << "B: " << std::is_move_constructible<B>::value << std::endl;
  return 0;
}

移动语义经典的场景之实现高性能的swap函数