Boost logo

Boost :

From: David Abrahams (dave_at_[hidden])
Date: 2003-04-26 21:33:46


Mike Conley <conley.141_at_[hidden]> writes:

> David Abrahams <dave_at_[hidden]> wrote in
> news:uhe8k7r1i.fsf_at_[hidden]:
>
>> Further, suppose I write a metafunction:
>>
>> template <class T>
>> struct is_const_and_int_convertible
>> : and_<
>> is_const<T>
>> , is_convertible<T,int>
>> >
>> {};
>>
>> Does this one depend on context also?
>
> Yes.

That completely scuttles the ODR, as far as I can tell.

> But don't we have this problem with the template version, too?

AFAICT the answer is no.

-- 
Dave Abrahams
Boost Consulting
www.boost-consulting.com

Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk