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

David Abrahams wrote:

Daniel Wallin <dalwan01@student.umu.se> 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