Как можно на этапе компиляции проверить, зафейлится ли static_assert, если

Question

supapro.cxx

rept1d Illuminati

Как можно на этапе компиляции проверить, зафейлится ли static_assert, если

вызвать функцию с заданными типами аргументов?

#c #embedded #programming #russian

0

11.11.2021

9 ответов

21 просмотр

Konstantin

Alexander Karaev
если ассерт написан внутри функции - никак, это ha...

можно же заинстанцировать шаблон без вызова

0

11.11.2021

Alexander Karaev

Konstantin
можно же заинстанцировать шаблон без вызова

моё утверждение: если в теле функции f написано static_assert(<cond>), то нельзя написать конструкцию, которая отвечает в compile-time на вопрос "приведёт ли вызов f(...) к срабатыванию ассерта"

0

11.11.2021

Konstantin

Alexander Karaev
моё утверждение: если в теле функции f написано st...

Да, всё верно, обработать эту ситуацию в условии не получится никак

0

11.11.2021

Denis P

Alexander Karaev
моё утверждение: если в теле функции f написано st...

можно же с помощью enable_if её выключить если срабатывает ассерт, просто написав в enable_if ровно то же условие, что в ассерте, и это уже можно будет определить

0

11.11.2021

Alexander Karaev

Denis P
можно же с помощью enable_if её выключить если сра...

о чем и речь

0

11.11.2021

Denis P

Alexander Karaev
моё утверждение: если в теле функции f написано st...

ну так значит это утверждение не верно?)

0

11.11.2021