Boost logo

Boost :

Subject: Re: [boost] [proto] _value doesn't enforce zero arity
From: troy d. straszheim (troy_at_[hidden])
Date: 2009-04-07 08:51:31


Gevorg Voskanyan wrote:
> Eric Niebler wrote:
>>
>> Yep, it compiles, and yep, it violates the preconditions. I choose not to
>> enforce the preconditions because doing so would cause extra template
>> instantiations and lengthen compile times. As long as valid programs compile and
>> do the right thing, I'm happy.
>

OK, thanks Eric.

> How about a macro BOOST_PROTO_EXTRA_CHECKING or something like that to have those kind of checks conditionally?

I could see a BOOST_MPL_DISABLE_ASSERTS token, behavior analogous to
BOOST_DISABLE_ASSERTS.

-t


Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk