AB
Один. Поправил
Size: a a a
2020 April 21
AB
Есть способ ещё короче написать static_assert, который всегда false?
template <typename T>P. S. Любопытно, что специализация, вроде как, не нужна (нет других вариантов), а без неё не работает. Похоже на недоработку языка.
class S {
static_assert(sizeof(T) == 0 && sizeof(T) != 0);
};
Заведи себе
template <typename>
inline constexpr bool dependent_false_v = false;
AB
Я это у майков увидел
AB
У остальных тоже есть такое, только с поправкой на 98
AB
У майков вообще лафа в этом плане, они реализуют основные трейты через _v и _t, а не наоборот
DF
Но ведь в 98 не было шаблонов значений🤓
AB
В msvc stl и нет поддержки 98
АК
Есть способ ещё короче написать static_assert, который всегда false?
template <typename T>P. S. Любопытно, что специализация, вроде как, не нужна (нет других вариантов), а без неё не работает. Похоже на недоработку языка.
class S {
static_assert(sizeof(T) == 0 && sizeof(T) != 0);
};
я юзаю
static_assert(sizeof(T) == 0);AB
я юзаю
static_assert(sizeof(T) == 0);С неполными типами не будет работать
АК
Artöm Bakri Al-Sarmini
С неполными типами не будет работать
исходный вариант тоже
A
исходный вариант тоже
почему это?
АК
почему это?
sizeof(incomplete) - ill-formed
v
sizeof(incomplete) - ill-formed
Хотел сделать зависимый фолзе, а получил свинью.
v
почему это?
A
sizeof(incomplete) - ill-formed
а я почему-то думал, что будет 0. Спс, запомню на будущее.