Boost logo

Boost :

Subject: Re: [boost] Checking for return type -- BOOST_STATIC_ASSERT?
From: Scott McMurray ([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 [1]
along with the result_of metafunction[2].



~ Scott

Boost list run by bdawes at, gregod at, cpdaniel at, john at