Arene Base
Fundamental Utilities For Safety Critical C++
Loading...
Searching...
No Matches
std::is_nothrow_assignable_detail Namespace Reference

Function Documentation

◆ ARENE_IGNORE_ARMCLANG()

std::is_nothrow_assignable_detail::ARENE_IGNORE_ARMCLANG ( "-Wimplicit-int-float-conversion" ,
"No actual conversion here,
just a check"  )

◆ ARENE_IGNORE_CLANG()

std::is_nothrow_assignable_detail::ARENE_IGNORE_CLANG ( "-Wimplicit-int-conversion" ,
"No actual conversion here,
just a check"  )

◆ ARENE_IGNORE_END()

std::is_nothrow_assignable_detail::ARENE_IGNORE_END ( )

◆ ARENE_IGNORE_START()

std::is_nothrow_assignable_detail::ARENE_IGNORE_START ( )

Variable Documentation

◆ is_nothrow_assignable_v

template<typename To, typename From, bool = is_assignable_v<To, From>>
bool std::is_nothrow_assignable_detail::is_nothrow_assignable_v = false
externconstexpr

Type trait to detect if an instance of To is assignable to from arguments of From without throwing.

Template Parameters
ToThe type of the value to (try to) assign to
FromThe type of the value to (try to) assign from

◆ is_nothrow_assignable_v< To, From, true >

template<typename To, typename From>
bool std::is_nothrow_assignable_detail::is_nothrow_assignable_v< To, From, true > = noexcept(std::declval<To>() = std::declval<From>())
externconstexpr

Type trait to detect if an instance of To is assignable to from arguments of From without throwing.

Template Parameters
ToThe type of the value to (try to) assign to
FromThe type of the value to (try to) assign from