auto_static_assert.cc

#include <stdexcept>
#include <cstdlib>

#define ASSERTION(pred) \
    assertion_impl<__builtin_constant_p(pred)>()((pred))

int checks;

template<bool b>
struct assertion_impl {
    void operator()(bool pred) { checks ++; if(!pred) abort(); }
};

template<>
struct assertion_impl<true> {
    consteval void operator()(bool pred) { (void)(pred ? 0 : throw std::logic_error("static assertion failure")); }
};

#include <stdio.h>
int main(int argc, char **argv) {
    ASSERTION(true);
    ASSERTION(argc > 1);
#if FAIL
    ASSERTION(false);
#endif
    printf("checks=%d\n", checks);
}