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>