[boost] Re: Proposal for 'is_dereferenceable' and other templatemetafunctions

From: David Abrahams (dave_at_[hidden])
Date: 2004-09-13 14:47:27

Daniel Wallin <dalwan01_at_[hidden]> writes:

> David Abrahams wrote:
>> Daniel Wallin <dalwan01_at_[hidden]> writes:
>>>It's missing a simple way to somehow specialize for fundamental types..
>> I don't understand why you'd want that.  But maybe I don't
>> understand
>> what "that" is.
>
> It's necessary to specialize the trait classes to handle fundamental
> types, for instance:
>
>    check_add<float, int*>
>
> Would trigger a compilation error otherwise.

Gotcha.

-- 
Dave Abrahams
Boost Consulting
http://www.boost-consulting.com