Re: [boost] [1.33.0] VC 7.1 vs. SFINAE/type traits

From: David Abrahams (dave_at_[hidden])
Date: 2005-08-17 11:45:57

Rob Stewart <stewart_at_[hidden]> writes:

> From: David Abrahams <dave_at_[hidden]>
>> "Paul Mensonides" <pmenso57_at_[hidden]> writes:
>> 
>> > The problem here is that there is no way for argument deduction
>> > to succeed with an anonymous type because an anonymous type
>> > cannot be bound to a template argument--meaning that argument
>> > deduction must fail before it even tries.
>> 
>> Maybe I am misunderstanding what Paul is saying here, but it seems to
>> me if it argument deduction was currently supposed to fail when passed
>> a type without linkage,
>> http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#488
>> wouldn't exist.
>
> Doesn't the issue suggest that what is currently supposed to
> happen is vague, so one can only determine empirically what a
> given compiler will do?

Exactly my point.  AFAICT, there is no particular response prescribed
by the standard in this case.

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