Re: [boost] Re: Re: Re: is_convertible: rationale and wording

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