Erfahren Sie, wie Java die Typintegrität schützt
Was
――Durch die jahrelange Arbeit mit PHP hat sich mein Wissen über Java verringert, daher werde ich mich daran erinnern und es zusammenfassen (hauptsächlich über komplizierte Teile von Typen).
Was war unveränderlich und veränderte sich?
- Annahme) Wenn Hund Tier erweitert
- Sequenz ist kovariant) Hund [] ist ein Subtyp von Tier [](= zuweisbar)
--Generischer Typ ist unveränderlich) Liste \
und Liste \ sind verschiedene Typen (= nicht ersetzbar) ――Wenn es nicht herauskommt, denken Sie über die Bedeutung dieser Regeln nach
Was war die Marke T, Extends usw., die in der Deklaration der Klasse oder Methode enthalten war?
- Eine Klasse, deren Deklaration einen Typparameter (z. B. T) enthält, wird als generische Klasse bezeichnet.
- Wenn Sie einen Typparameter haben, müssen Sie nicht für jeden Typ eine Klasse erstellen. (Wenn Sie Stack \
erstellen, müssen Sie keine IntStack-Klasse, StringStack-Klasse ... erstellen.) --Box \ erlaubt, dass T in einer beliebigen Klasse ist, also codieren Sie nicht mit dem T-Typ. Wenn Sie schreiben möchten, beschränken Sie es auf Box \ usw.
class Animal {
public int getAge() {
return 3;
}
}
class Dog extends Animal {
@Override
public int getAge() {
return 33;
}
//Methoden nur in der Hundeklasse
public String getName() {
return "john";
}
}
class AnimalBox<T extends Animal> {
T someAnimal;
public AnimalBox(T animal) {
someAnimal = animal;
}
public int getAge() {
return someAnimal.getAge();
}
}
―― ~~ In diesem Fall können Sie jedoch, wenn Sie es einfach als Tiertyp festlegen, Hund einfügen und dasselbe tun, sodass ich nicht weiß, wie ich es richtig verwenden soll (dies ist ein Problem) ~ ~ ――Für das obige Problem kann der generische Typ von Dog zurückgegeben werden, wenn Sie public T get () implementieren, aber AnimalBox2 kann nur Animal zurückgeben. In dem Kommentar habe ich ein Beispiel für den Unterschied erläutert.
//Das ist in Ordnung
class AnimalBox2 {
Animal someAnimal;
public AnimalBox2(Animal animal) {
someAnimal = animal;
}
public int getAge() {
return someAnimal.getAge();
}
}
- Die in der Methodendeklaration angezeigten <? Extends Animal> und <? Super Animal> unterscheiden sich von den oben genannten generischen Typeinschränkungen und werden als Boundary Wildcard-Typen bezeichnet. --Diese, die die Invarianz des generischen Typs verringern. Auch wenn es gesagt wird ... so wird es später beschrieben
class Box<T> {
T someValue;
List<T> history = new ArrayList<>();
public Box(T v) {
someValue = v;
}
public T get() {
return someValue;
}
public void selectOne(Box<? extends T> box) {
history.add(box.get());
}
}
- Die Klassendeklaration kann nicht die Klasse Box \ <? Extends T>, die Klasse Box \ <? Extends Animal> oder die Klasse Box \
sein. Sie können nicht erklären, was Sie damit machen wollen.
Was bedeutet es, den generischen Typ zu vergessen und ihn einer Unterklasse zuzuordnen?
Dog d = new Dog();
Animal a = d; //Obwohl es sich um einen anderen Typ handelt, kann er zugewiesen werden, da es sich um eine Unterklasse handelt
System.out.println(a.getClass().getName()); //Dog
System.out.println(a.getAge()); //33
System.out.println(d.getName()); //john
System.out.println(a.getName()); //error: cannot find symbol
--Von oben)
- Vergessen Sie nicht, dass die Entität, auf die die Tierartvariable a verweist, Hund ist.
- Die für den Hundetyp spezifische getName-Methode kann nicht aus der Tierartvariablen a verwendet werden.
- *** Es besteht die Möglichkeit, dass eine Entität (in diesem Fall der generierte Hund) als verschiedene Klassen über der Vererbungsbeziehung (in diesem Fall Objekt, Tier, Hund) verwendet wird. ***
- Nennen Sie es nicht eine niedrigere Klasse. (Sie können einen Weltraumhund nicht durch einen Hund ersetzen, da SpaceDog Dog erweitert.) »Warum kannst du nicht? Weltraumhunde haben eine Funktion, die zu der mit mehr dunkler Materie übergeht, aber Hunde haben sie nicht, so dass es zur Laufzeit ein Problem sein wird.
SpaceDog sd = new Dog(); //Dog cannot be converted to SpaceDog
Was bedeutet generische Unveränderlichkeit?
――Was ist, wenn der generische Typ kovariant ist?
List<SpaceDog> spaceDogList = new ArrayList<>();
List<Dog> dogList = spaceDogList; //(Wenn es eine Veränderung war)Obwohl es sich um einen anderen Typ handelt, kann er zugewiesen werden, da es sich um eine Unterklasse handelt
dogList.add(new Dog());
--Dog hat List \
- Fehler beim Kompilieren: List \
kann nicht in List \ konvertiert werden
Warum sind die Sequenzen kovariant?
»Es ist nicht geworden. Es führt nicht zu einem Kompilierungsfehler, aber zu einem Laufzeitfehler.
SpaceDog[] spaceDogArray = new SpaceDog[1];
Dog[] dogArray = spaceDogArray;
dogArray[0] = new Dog(); //Laufzeit Fehler:java.lang.ArrayStoreException: Dog
-
- *** Arrays sind zur Laufzeit typsicher. Generische Typen sind zur Kompilierungszeit typsicher *** ――Es ist besser, kein Array zu verwenden, das auch Unterklassen enthält.
Ist es nicht dasselbe für gewöhnliche Klassen, die keine generischen Typen sind, dass die Variable einen Verweis auf die Entität hat und ihre Interpretation in der Klassenvererbung je nach Situation unterschiedlich ist?
――Sie verstehen möglicherweise nicht, was Sie sagen ―― ↓ Kann in einem solchen Fall die Variable a verwendet werden, um die Typzusammensetzung zu zerstören?
Dog d = new Dog();
Animal a = d;
//Ich möchte die Variable a irgendwie verwenden, damit die Variable d zur Vereinfachung der Typinterpretation in Schwierigkeiten gerät.
――Ich kann nur an das Erstellen und Überschreiben denken, aber d ist kein Problem, da es nicht überschrieben und an einem anderen Ort erstellt wird.
Dog d = new Dog();
Animal a = d;
System.out.println(d); //Dog@77468bd9
System.out.println(a); //Dog@77468bd9
a = new Animal();
System.out.println(a); //Animal@12bb4df8
Organisieren der Beziehung zwischen generischen Typen und Typparametern
- Sie können dies tun (Hund und SpaceDog selbst sind nicht generisch, sodass Sie SpaceDog überall dort verwenden können, wo Sie Hund verwenden).
List<Dog> dogList = new ArrayList<>();
dogList.add(new Dog());
dogList.add(new SpaceDog());
――Ich kann das nicht
class Box<T> {
T someValue;
List<T> history = new ArrayList<>();
public Box(T v) {
someValue = v;
}
public void set(T v) {
someValue = v;
}
public T get() {
return someValue;
}
public void selectOne(Box<T> box) {
history.add(box.get());
}
}
Box<Dog> dogBox = new Box<>(new Dog());
Box<SpaceDog> spaceDogBox = new Box<>(new SpaceDog());
dogBox.selectOne(spaceDogBox); //Kompilierungsfehler:Box<Dog>Und Box<SpaceDog>Ist ein anderer Typ
――Sie können es so machen
public void selectOne(Box<? extends T> box) {
history.add(box.get());
}
――Warum ist der Typ konsistent?
- Es ist verboten, einen anderen Wert als null an die set-Methode zu übergeben (wenn Dog gesetzt werden kann, wird someValue of Box \
zu Dog).
public void selectOne(Box<? extends T> box) {
history.add(box.get());
box.set(someValue); //Kompilierungsfehler
}
Was ist \ <? Super T>?
--Wenn Sie der Meinung sind, dass das obige \ <? Extends T> "die Invarianz des generischen Typs abschwächt (kovariiert), indem die Funktion der Variablen zum Abrufen des Werts eingeschränkt wird",
- Die Superperson "entspannt (umgekehrt) die Invarianz des generischen Typs, indem sie die Funktion einschränkt, der Variablen einen Wert zu geben". (Kann nicht herausgenommen werden) ――Wann und was soll ich verwenden? → Put / Get-Prinzip
Zusammenfassung
――Wenn eine normale Klasse die Attribute und Verhaltensweisen bestimmter Objekte (Tiere, Hunde usw.) zusammenfasst, wird der generische Typ so dargestellt, dass die Zusammenfassung *** in einen anderen Kontext eingeschlossen wird. Machen
- Es gibt zwei Welten, eine ist die Welt der normalen Klassen (Animal, Dog, SpaceDog), die Typparameter sind, und die andere ist die Welt der Kontexte (List, Queue, Box, Optional ...), die generische Typen auszudrücken versuchen.
- Die Aktionen "dem Kontext einen Wert geben" und "den Wert aus dem Kontext abrufen" werden ausgeführt. Wenn sie jedoch unverändert bleiben, kann die Vererbungsbeziehung der Typparameter nicht verwendet werden, sodass große Einschränkungen bestehen.
- Entspannen Sie sich mit Grenzparametern
Musterdiagramm
Recommended Posts