Boost logo

Boost :

Subject: Re: [boost] Checking for return type -- BOOST_STATIC_ASSERT?
From: Edward Grace (ej.grace_at_[hidden])
Date: 2009-08-21 07:25:47

On 20 Aug 2009, at 23:57, Scott McMurray wrote:

> 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].
> [1]
> assert.html
> [2]
> utility.htm#result_of

Sorted! It turns out that the other problem I was having as also not
including is_same.hpp....

Thanks for the pointers (excuse the C pun).

Curiously, littering my code with these assertions has now
highlighted some (genuine) wrinkles that I hadn't spotted before.



"No more boom and bust." -- Dr. J. G. Brown, 1997

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