Re: [boost] Re: compile time asserts [preconditions]

From: Mark Rodgers (mark.rodgers_at_[hidden])
Date: 2000-07-31 14:29:01

From: "David Abrahams" <abrahams_at_[hidden]>
>
> BOOST_COMPILER_ASSERT
> BOOST_STATIC_PRECONDITION
> BOOST_STATIC_ASSERT
> BOOST_STATIC_CHECK
>
> all work, with BOOST_STATIC_ASSERT being my favourite so far.

And mine.  It inherits the well known meaning of "assert", and adds
that the assertion occurs at compile time.

If John is wedded to "precondition" then it should be clear that it
is a precondition to compilation rather than execution.  I guess
BOOST_COMPILATION_PRECONDITION would do, but I still prefer
BOOST_STATIC_ASSERT.  Sorry.

Mark