Subject: Re: [boost] Checking for return type -- BOOST_STATIC_ASSERT?
From: Scott McMurray (me22.ca+boost_at_[hidden])
Date: 2009-08-20 18:57:43
2009/8/20 Edward Grace <ej.grace_at_[hidden]>:
> if O is compatible with the concept of a functor and O returns a type that
> can be converted to a float, then we are good to go -- otherwise I'd like an
> intelligible error.
> If, for example, O is of the type 'void (*)()' I'd like it (the compiler) to
> spit out,
> Â "The function pointer of type O must of signature float (*)()"
Sounds like you want something like the MPL_ASSERT example at 
along with the result_of metafunction.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk