C++ std::is_move_assignable及示例

在C++11之后，移动语义成为了一种重要的优化手段，可以提升程序的效率。在使用移动语义时，我们常常会遇到一个问题：如何判断一个类是否支持移动赋值运算符(moving assignment operator)。C++11标准中提供了一个类模板std::is_move_assignable，可以用于判断一个类型是否支持移动赋值运算符。

std::is_move_assignable的定义

在标准头文件type_traits中定义了std::is_move_assignable这个类模板，其定义如下：

template <class T>
struct is_move_assignable;

is_move_assignable是一个类型推导模板，在编译期根据模板参数T的类型推导出一个std::integral_constant类型的值，该值为true表示类型T支持移动赋值运算符，否则为false。

如何使用std::is_move_assignable

使用std::is_move_assignable非常简单，只需要像下面这样使用即可：

static_assert(std::is_move_assignable<MyType>::value, "MyType must be move assignable");

其中，MyType是我们要判断的类型。如果MyType支持移动赋值运算符，则上述代码不会产生编译错误；否则，编译器会在编译期间产生一个错误信息。

我们可以把该代码放在类MyType的头文件中，以确保我们在使用该类型时始终能够正确地检查其支持性。

示例：一个支持移动赋值运算符的类

下面我们来看一个示例，演示如何在一个类中支持移动赋值运算符。

class MyType {
public:
    MyType() = default;

    MyType(const MyType& other)
    {
        std::cout << "copy constructor called" << std::endl;
    }

    MyType(MyType&& other) noexcept
    {
        std::cout << "move constructor called" << std::endl;
    }

    MyType& operator=(const MyType& other)
    {
        std::cout << "copy assignment operator called" << std::endl;
        return *this;
    }

    MyType& operator=(MyType&& other) noexcept
    {
        std::cout << "move assignment operator called" << std::endl;
        return *this;
    }
};

在上面的示例中，我们定义了一个类MyType，它包含了移动构造函数(moving constructor)和移动赋值运算符。接下来我们可以使用std::is_move_assignable来检查该类是否支持移动赋值运算符：

static_assert(std::is_move_assignable<MyType>::value, "MyType must be move assignable");

由于MyType支持移动赋值运算符，所以上述代码不会产生编译错误。

示例：一个不支持移动赋值运算符的类

下面我们看一个示例，演示如何在一个类中不支持移动赋值运算符。

class MyClass {
public:
    MyClass() = default;

    MyClass(const MyClass& other)
    {
        std::cout << "copy constructor called" << std::endl;
    }

    MyClass& operator=(const MyClass& other)
    {
        std::cout << "copy assignment operator called" << std::endl;
        return *this;
    }
};

在上述示例中，我们定义了一个类MyClass，它不包含移动赋值运算符。接下来我们可以使用std::is_move_assignable来检查该类是否支持移动赋值运算符：

static_assert(std::is_move_assignable<MyClass>::value, "MyClass must be move assignable");

由于MyClass不支持移动赋值运算符，所以上述代码会在编译期间产生一个错误信息。

结论

std::is_move_assignable使得我们能够在编译期间检查一个类是否支持移动赋值运算符，从而保证代码的正确性和可移植性。在使用移动语义的情况下，应该为每个类实现移动构造函数和移动赋值运算符，以提高程序效率并避免不必要的内存拷贝。使用std::is_move_assignable可以确保我们的类实现了必需的移动语义，避免了在运行时出现不可控的错误，提高了程序的稳定性和可维护性。