et en Java - pourquoi cela fonctionne de cette façon?

Encore un novice, essayant de comprendre les génériques Java. J'ai observé tous les sujets, j'ai trouvé, mais j'ai encore d'énormes questions. Pourriez-vous m'expliquer les choses suivantes:

1. <? extends SomeClass> signifie, que ? est "tout type", et extends SomeClass signifie, que ce n'importe quel type peut être qu'une sous-classe de SomeClass. OK, j'écris deux classes élémentaires:

abstract class Person {
    private String name;
    public Person(String name) {
        this.name = name;
    }
}

class Student extends Person {
    public Student(String name) {
        super(name);
    }
}

Classe Student sera ? dans notre exemple. ? extends Person, pour être précis. Ensuite, j'essaie d'ajouter un nouvel étudiant à ArrayList, que, comme Je comprends de ce qui est écrit ci-dessus, applique toutes les classes, qui sont des sous-classes de personne:

Student clarissa = new Student("Clarissa Starling");
List<? extends Person> list = new ArrayList<>();
list.add(clarissa); //Does not compile

Eclipse dit:

"La méthode add(capture#3-de ? étend Personne) dans le type La liste n'est pas applicable pour le arguments (Étudiant) "

Comment la classe Student peut-elle ne pas être applicable, lorsque nous avons déclaré List, paramétré par <? extends Person>, et Student étend exactement la classe Person?

Néanmoins, le code suivant:

List<? super Person> list = new ArrayList<>();
list.add(clarissa); 

Compile et fonctionne bien (list.get(0), passé à la méthode println, me montre le résultat correct de l'invocation toString). Si je comprends bien, List<? super Person> signifie que je peux passer à cette liste n'importe quel type, c'est-à-dire un super type pour notre classe Person (dans notre cas, c'est la classe Object uniquement). Mais nous voyons, que, contrairement à la logique, nous pouvons facilement ajouter sous-classe Étudiant à notre List<? super Person>!

OK, mettez de côté nos émotions, et voyons ce qui peut arriver avec Clarissa Starling dans notre collection. Prenons notre classe Student, et ajoutons quelques méthodes à il:

class Student extends Person {
    private int grant;
    public Student(String name) {
        super(name);
    }

    public void setGrant(int grant) {
        this.grant = grant;
    }

    public int getGrant() {
        return this.grant;
    }

}

Ensuite, nous passons un objet, instancié à partir de cette classe renouvelée (notre objet "clarissa", par exemple), à List<? extends Person>. En faisant cela, nous voulons dire que nous pouvons stocker des sous-classes dans la collection de ses superclasses. Peut-être, je ne comprends pas certaines idées fondamentales, mais à ce stade, je ne vois aucune différence entre l'ajout de sous-classe à la collection de ses superclasses et l'attribution de la référence à l'objet "clarissa" à la variable, personne typée. Nous avons la même réduction de méthodes invokables, lorsque nous voulons traiter l'une d'entre elles, en utilisant notre variable de superclasse. Alors, pourquoi List<? extends SomeClass> ne fonctionne pas de la même manière, dans lequel List<? super SomeClass> fonctionne inversement?

1. Je ne comprends pas la différence fondamentale entre <T> (ou <E>, ou toute autre lettre de la partie appropriée de JLS) et <?>. Les deux <T> et <?> sont typeholders, alors pourquoi nous avons deux "mots-clés" (ces symboles ne sont PAS des mots-clés, j'ai juste utilisé ce mot pour souligner la signification lourde des deux symboles en langage Java) dans le même but?