+3
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
template <typename T>
void f() {
if constexpr (std::is_arithmetic_v<T>)
// ...
else
static_assert(false, "Must be arithmetic"); // ill-formed: invalid for every T
}
// The common workaround for such a catch-all statement is a type-dependent expression that is always false:
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
}
То есть «static_assert(false)» в шаблоне — это UB. Чтобы оно было не UB и можно было спокойно отключать ненужные специализации — надо городить ёбанный костыль. Пиздец. Почему стандартизаторы не могут просто взять и сделать что-то удобное? Что-то, для чего не требуется городить по десятку костылешаблонов, заставляющих его работать? Что-то без ёбанной явной специализации для bool? Почему любой высер крестокомитета обязательно должен быть максимально сложным, вербозным, неочевидным говном с кучей подводных камней и UB?
Запостил: 
gost,
06 Января 2020
Follow us!
Нихуя не понял на этом сайте https://stackoverflow.com/questions/14637356/static-assert-fails-compilation-even-though-template-function-is-called-nowhere
Получается в с++ есть просто константные выражения, а есть константные выражения которые вычисляются еще раньше?
З.Ы. Почему просто не написать static_assert(std::is_arithmetic_v<T>, "Must be arithmetic") без всяких там constexpr if'ов?
https://i.imgur.com/TM58HLT.png
Я в круги давно не играл толком, на самом деле. Изредка захожу по фану старые мапки вспомнить...
Парня бы себе лучше завёл.
Тут можно написать, да, но это просто пример такого поведения. У меня в калькуляторе был более сложный случай:
Сюда бы идеально подошло static_assert(false), но увы, приходится городить тупые костыли. Собственно, я об этом поведении только вчера и узнал, поэтому и наговнокодил такой вот багор.
Кстати, если этой специализации не делать — получается UB, и в «Visual Studio», например, успешно конпелируется деление на 0 (получается 0).