...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 has_trivial_move_assign : public true_type-or-false_type
{};
Inherits: If T is a (possibly cv-qualified) type with a trivial move assignment-operator then inherits from true_type, otherwise inherits from false_type.
If a type has a trivial move assignment-operator then the operator has the
same effect as copying the bits of one object to the other: calls to the
operator can be safely replaced with a call to memcpy
.
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 (as yet unspecified) help from the compiler, has_trivial_move_assign
will never report that a user-defined class or struct has a trivial constructor;
this is always safe, if possibly sub-optimal. Currently (February 2013) compilers
have no necessary intrinsics
to ensure that this trait "just works". You may also test to see
if the necessary intrinsics
are available by checking to see if the macro BOOST_HAS_TRIVIAL_MOVE_ASSIGN
is defined.
Header: #include
<boost/type_traits/has_trivial_move_assign.hpp>
or #include <boost/type_traits.hpp>
Examples:
has_trivial_move_assign<int>
inherits fromtrue_type
.
has_trivial_move_assign<char*>::type
is the typetrue_type
.
has_trivial_move_assign<int (*)(long)>::value
is an integral constant expression that evaluates to true.
has_trivial_move_assign<MyClass>::value
is an integral constant expression that evaluates to false.
has_trivial_move_assign<T>::value_type
is the typebool
.