ASSERT Опции

[demiurg_spb]

Есть-ли какая-нибудь возможность сотворить макрос типа ASSERT,
чтобы в случае невыполнения условия вылезал error или warning на этапе компиляции?

Код

#define X 123U
ASSERT(X<10);

У меня такое никак не выходит....
Спасибо!

[sergeeff]

Не помню, где-то вычитал. Есть такая изящная штука, именуемая STATIC_ASSERT. Она именно выдает ошибку на этапе компиляции (обычный ASSERT - на этапе выполнения). Выглядит примитивно, но не тривиально. Два но:
1. катит только на C++
2. на разных компиляторах выдает совершенно различную интерпретацию кода ошибки, но точно показывает строку, где эта ошибка возникает.
Я просто в комментарии к этой строке пишу, что здесь контролируется.

template<bool> struct CompileTimeError;
template<> struct CompileTimeError<true> {};
#define STATIC_ASSERT(expr) \
(CompileTimeError<(expr) != 0>())


// Example of usage:
// STATIC_ASSERT(sizeof(int) > 4); - produce error in ARM or X86 machine