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