xieite::has_noex_mv

`xieite::has_noex_mv_assign<>`

Defined in header <xieite/trait/has_noex_mv_assign.hpp>

A wrapper around std::is_nothrow_move_assignable {} to specify that a type is move-assignable without throwing.

Definition

template<typename T>
concept has_noex_mv_assign = std::is_nothrow_move_assignable_v<T>;

Example

struct A {
	void operator=(A&&) noexcept {}
};

struct B {
	void operator=(B&&) {}
};

int main() {
	xieite::dump(xieite::has_noex_mv_assign<A>);
	xieite::dump(xieite::has_noex_mv_assign<B>);
}

Output:

true
false

[View in Compiler Explorer]