Mike Conley <[EMAIL PROTECTED]> writes:

> David Abrahams <[EMAIL PROTECTED]> wrote in
> news:[EMAIL PROTECTED]: 
>
>> 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

_______________________________________________
Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost

Reply via email to