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