...one 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>