Invocation Pour le type paramétré: public interface List { void add(E x); Iterator iterator(); } public interface Iterator { E next();boolean hasNext();} L invocation avec un argument type: List pourrait (C++)correspondre à: public interface IntegerList { void add(Integer x); Iterator iterator(); } Mais… une déclaration d un type paramétré crée un seul type (qui est compilé comme un tout) et il ny a pas de type nouveau pour List (uniquement des vérifications à la compilation POO-L3 H.
{}