Nature of Parametrized types

Peter Hall peter.hall at memorphic.com
Sat Mar 22 06:09:15 PDT 2008


On Fri, Mar 21, 2008 at 10:41 PM, Waldemar Horwat <waldemar at google.com> wrote:
> Doing this would require multiple inheritance if you tried to apply it to a two-level class hierarchy.
>
>  class A.<X>;
>  class B.<X> extends A.<X>;
>
>  Now consider where the unqualified type B would belong in the hierarchy.

Yes, you are right... you would need B.<int> to extend both A.<int>
and B. But that could be solved, in the same spirit as my original
suggestion, by treating unqualified B as an empty interface, so as to
maintain the "is" relationship.

Peter



More information about the Es4-discuss mailing list