Есть такая проблема, что в static assert в некоторых компиляторах(

Question

Есть такая проблема, что в static assert в некоторых компиляторах(

не буду показывать пальцем) нельзя просто вставить false, т.к. он будет проверен даже если не инстанцировался шаблон(например). В стандартной библиотеке видел такую штуку типо always_false переменная шаблонная, но туда нужно передавать шаблонный аргумент, который иногда неудобно делать, в итоге написал такую штуку, это решит проблему?
// for static asserts ( or other shit ), that dont work if not used. Implicit template, so it needs to be instantiated
consteval inline bool always_false(auto x) noexcept {
return false;
}

#c++ #embedded #programming #russian

0

17.06.2021

16 ответов

2 просмотра

Kelbon Автор вопроса

Alexander Karaev
В static_assert ни в одном standard compliant комп...

в msvc у меня работало

0

17.06.2021

Alexander Karaev

И в чем отличие always_false<T> от always_false(var)? И там, и там необходим dependent context

0

17.06.2021

Kelbon Автор вопроса

Alexander Karaev
И в чем отличие always_false<T> от always_false(va...

у меня шаблон на переменной, я не могу передать его в always_false<T>

0

17.06.2021

Denis P

Kelbon
у меня шаблон на переменной, я не могу передать ег...

пример есть?

0

17.06.2021

Alexander Karaev

Kelbon
у меня шаблон на переменной, я не могу передать ег...

От "шаблона на переменной" можно взять decltype, если я правильно распарсил

0

17.06.2021

Kelbon Автор вопроса

Denis P
пример есть?

template<Mode MathMode> Transformation_matrix(float angle_in_rad, const Vector<float, dimension, MathMode>& rotation_axis) noexcept { if constexpr (dimension == 4) { } else { static_assert(always_false(false), "ERRIR"); } }

0

17.06.2021

Kelbon Автор вопроса

Alexander Karaev
От "шаблона на переменной" можно взять decltype, е...

ну как бы да, но это уже лишние знаки, я чет про это не подумал

0

17.06.2021

Ofee Oficsu

template<typename = decltype([]{})> constexpr inline auto always_false = false; И не надо ничего руками передавать. Ну, и так уж получилось, что в моём коде на практике мёртвых ветвей обычно не возникает – такое чаще в отладке полезнее, а для этого есть альтернатива по-проще: static_assert(![]{}, "...");

0

17.06.2021

Denis P

Ofee Oficsu
template<typename = decltype([]{})> constexpr inli...

какой компилятор так умеет интересно) я про первое

0

17.06.2021

Liber Azerate

Denis P
какой компилятор так умеет интересно) я про первое

На данный момент все, кроме шланга

0

17.06.2021