Boost logo

Boost :

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

Boost list run by bdawes at, gregod at, cpdaniel at, john at