Статическое утверждение, если значение постоянно, в противном случае не [дубликат] ⇐ C++

[Anonymous]

используя C++ 11 или C++17 (предпочтительно 11), у меня есть макрос _METRIC_(name, value), который ожидает строку и типы unsigned long long .

Я хочу сделать что-то вроде утверждения, которое работает следующим образом; если value постоянно, убедитесь, что оно не равно 0. Если нет, ничего не делайте. _METRIC_("имя", 0) --> ПЛОХО

unsigned long long x = 0; ... _METRIC_("имя", x); --> ОК

Я думаю, что это можно сделать с помощью шаблонной функции, но я не могу сделать это правильно, благодарю за помощь

редактировать: Я попробовал ответ из раздела Возможно ли is_constexpr в C++11?, не уверен, правильно ли я его использовал, но у меня он не работает
шаблон constexpr typename std::remove_reference::type makeprval(T && t) { вернуть т; } #define isprvalconstexpr(e) noException(makeprval(e)) шаблон constexpr void static_assert_if_constant (значение T) { если constexpr(isprvalconstexpr(значение)) { static_assert(value != 0, «Значение не должно быть нулевым!»); } } #define _METRIC_(имя, значение) ... static_assert_if_constant(значение); _METRIC_("имя", 0); -> компилируется нормально