Re: [boost] [proto] _value doesn't enforce zero arity

Subject: Re: [boost] [proto] _value doesn't enforce zero arity
From: Gevorg Voskanyan (v_gevorg_at_[hidden])
Date: 2009-04-07 04:09:02

Eric Niebler wrote:
> troy d. straszheim wrote:
> > I see some funny behavior when misusing _value:

[snip]

> > Which does compile..  but the docs say that _value requires an expression of 
> zero arity.
> 
> 
> 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.

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

Best Regards,
Gevorg