O
Size: a a a
O
SE
O
template<typename T>
struct bad_instantiation {
static_assert(always_false_v<T>,
"This instantiation "
"is not valid because...")
}C
template<typename T>
struct bad_instantiation {
static_assert(always_false_v<T>,
"This instantiation "
"is not valid because...")
}O
O
template<class T> struct dependent_false : std::false_type {};
template <typename T>
void f() {
if constexpr (std::is_arithmetic_v<T>)
// ...
else
static_assert(dependent_false<T>::value, "Must be arithmetic"); // ok
}O
RM
RM
TS
BH
RM
RM
RM
BH
RM
BH
RM