Можно ли сделать код, который, если constexpr-выражение true, выдаст предупреждение?

Question

[Mercury13]

Задача: вывести в лог предупреждение, когда происходит отладка: логирование, имитация редких веток кода и тому подобное.
Для чего? — чтобы программист не пустил в продакшен программу в режиме отладки.

[[maybe_unused, deprecated("DEBUGGING!!")]] inline void dbg() {}

/// [+] simulate changed horizon when actually it did not
constexpr bool SIMULATE_CHANGED_HORIZON = false;
inline bool chgNot(bool x) {
    if constexpr (SIMULATE_CHANGED_HORIZON) {
        dbg();
        return x;
    } else {
        return !x;
    }
}

К сожалению, этот код предупреждает всегда — даже если у нас false и dbg() в неё не вкомпилируется.

Comments

[Армянское Радио]

static_assert() - ?

[Mercury13]

Армянское Радио, Предупреждение, а не ошибку!

[Евгений Шатунов]

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

[Mercury13]

Евгений Шатунов,
1. Случилась ошибка в любой сложной подсистеме — в данном случае в событиях Qt, некоторые из которых возбуждаются из сторонних потоков. Эту подсистему надо отлаживать, накидывая отладочного кода.
2. Вот мы отладили, что дальше делать?
3. Хотелось бы это дело сделать больше через Си++, чем через макросы.

[Евгений Шатунов]

Mercury13, для этого должна присутствовать целая когорта конфигурационно-зависимых типов и конструкций.
Вот запустились в отладке - работают конструкции, проверяют, выявляют, обличают приспешников зла, экстремистов-программистов и прочих нелюдей.
Запустились в релизе - все чинно, гладко и без отладочных плясок.
Лично я для этого использую шаблоны, у меня в коде макросов практически нет. Шаблоны специализируются от специальной константы, состояние которой символизирует выбранную конфигурацию сборки.
Сами инструменты отладки представляют из себя слоевые абстракции, встраивающиеся в иерархии типов и цепочки вызовов функций. И это все работает идеально.
А так, в своем решении ты пока посадил крайне неинформативное сообщение, на которое среагирует только хорошо осведомленный человек.

[Mercury13]

Евгений Шатунов, Самопроверки — хорошее дело, и я их устраиваю. Но поскольку код на стыке прикладного, ОС и Qt, сложно такие самопроверки наладить. Даже стектрейс в точке вылета не дал НИ ОДНОЙ нашей функции, кроме main().

Answer 1

[Mercury13]

Придумал.

[[maybe_unused]] byte debugWarning = SIMULATE_CHANGED_HORIZON * 1000;

В случае false компиляция пройдёт гладко. В случае true преобразование 1000 → byte выдаст предупреждение.