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,
>> 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
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk