On 12/10/2004 03:00 AM, Peder Holt wrote: [snip]
would mean B is nested in the "immediate" A<T> class and not in any superclass of A<T>. This would avoid the problem cited in:
http://groups.google.com/groups?hl=en&lr=&ie=UTF-8&selm=uvflpetzg.fsf%40boost-consulting.com
Does this seem like it would work?
Probably, but it still won't work with existing compilers. The typeof library was created in order to support typeof until the time that this is included in the standard. Compiler support for typeof will probably be available before the definition of non-deduced-context is changed. Makes sense.
Apart from that, I support your proposal. Except that the further reading convinces me that :0: is better because it wouldn't break existing code and it would have to mean the right operand could'nt refer to a typedef either, in order to avoid the problem illustrated by Sharoni's post.