Boost C++ Libraries of the most highly regarded and expertly designed C++ library projects in the world. Herb Sutter and Andrei Alexandrescu, C++ Coding Standards



template <class T>
struct is_nothrow_move_assignable : public true_type-or-false_type {};

Inherits: If T is a (possibly cv-qualified) type with a non-throwing move assignment-operator or a type without move assignment-operator but with non-throwing assignment-operator, then inherits from true_type, otherwise inherits from false_type. Type T must be a complete type.

In other words, inherits from true_type only if expression variable1 = std::move(variable2) won't throw (variable1 and variable2 are variables of type T).

Compiler Compatibility: If the compiler does not support partial-specialization of class templates, then this template can not be used with function types.

Without some (C++11 noexcept shall work correctly) help from the compiler, is_nothrow_move_assignable will never report that a class or struct has a non-throwing assignment-operator; this is always safe, if possibly sub-optimal. Currently (June 2015) MSVC-12.0, Clang and GCC 4.7 have the necessary compiler support to ensure that this trait "just works".

Header: #include <boost/type_traits/is_nothrow_move_assignable.hpp> or #include <boost/type_traits.hpp>