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

From: Daniel Wallin (dalwan01_at_[hidden])
Date: 2004-09-13 09:56:34

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.

-- 
Daniel Wallin