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

From: Rob Stewart (stewart_at_[hidden])
Date: 2005-08-17 10:40:21

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?

-- 
Rob Stewart                           stewart_at_[hidden]
Software Engineer                     http://www.sig.com
Susquehanna International Group, LLP  using std::disclaimer;