Typdeklaration basierend auf Typparametern in inneren Klassen

Question

Hat Java Shadow Type Parameter? Ich finde es schwierig, mich selbst zu testen, da Java-Generika zur Laufzeit nicht verdinglicht werden.

Zum Beispiel gegeben dieser Code:

public class NestedGeneric<T> { 
    private InnerGeneric<T> innerGenericInstance; 

    private static class InnerGeneric<T> { 
     public T innerGenericField; 
    } 

    NestedGeneric() { 
    innerGenericInstance = new InnerGeneric<T>(); 
    } 
} 

Sowohl die folgenden Aussagen zusammenstellen fein:

NestedGeneric<Integer> test1 = new NestedGeneric<Integer>(); 
NestedGeneric.InnerGeneric<String> test2 = new NestedGeneric.InnerGeneric<String>(); 

Wenn die NestedGeneric einen Parametertyp übergeben wird und dessen Konstruktor aufgerufen, was ist T? Ist es immer der gleiche Typ wie der Typparameter, der an übergeben wird?

Mit anderen Worten, kann eine äußere Klassen Typ Parameter an eine innere Klassen generische Typ Deklarationen übergeben werden?

Answer 1

Mit anderen Worten, ich nehme an, die Frage ist, kann eine äußere Klassen Typ Parameter an eine innere Klassen generische Typ Deklarationen übergeben werden?

No. Es gibt keine Beziehung (wie Vererbung oder als Feld) zwischen dem äußeren und der inneren statischen Klasse. Sie können ein Objekt der inneren statischen Klasse ohne Abhängigkeit von der äußeren Klasse wie in Ihrem Beispiel erstellen:

NestedGeneric.InnerGeneric<String> test2 = new NestedGeneric.InnerGeneric<String>(); 

Allerdings, wenn Sie eine Instanz der inneren Klasse als Feld des generische Typ abgeleitet wird, verwenden, um von die äußere Klasse:

private InnerGeneric<T> innerGenericInstance; 

innerGenericInstance = new InnerGeneric<T>(); 

eine dritte Variante wäre, die innere Klasse als ein Feld (nicht statisch) zu definieren:

private class InnerGeneric<T> { 
    public T innerGenericField; 
} 

, die jetzt den Typ von der äußeren Klasse abruft, da es sich um eine Elementvariable handelt.

Wie im Kommentar erwähnt definiert sowohl innere statische & äußere Klasse mit dem Typ wird nur verwirrt den Leser (und sich selbst zu einem späteren Zeitpunkt). Es sollte mit einem anderen generischen deklariert werden wie

public class NestedGeneric<T> { 
    private InnerGeneric<T> innerGenericInstance; 

    private static class InnerGeneric<U> { 
     private U innerGenericField; 
    } 

    NestedGeneric() { 
     innerGenericInstance = new InnerGeneric<T>(); 
    } 
} 

Answer 2

Ja, aber nicht mit dem statischen Modifikator:

public class NestedGeneric<T> { 
    private InnerGeneric<T> innerGenericInstance; 

    private class InnerGeneric<T> { 
     private T innerGenericField; 

     public InnerGeneric(T innerGenericField){ 
      this.innerGenericField = innerGenericField; 
     } 

     public T getInnerGenericField(){ 
      return this.innerGenericField; 
     } 
    } 

    NestedGeneric(T someGenericVariable) { 
     innerGenericInstance = new InnerGeneric<T>(someGenericVariable); 
     T innerGenericField = innerGenericInstance.innerGenericInstance(); 
    } 
} 

Answer 3

Dies ist kein Shadowing ist. In Ihrem Code gibt es nur einen Typparameter, den T Parameter. So sind innere und äußere T die gleichen Typparameter.

Sie können natürlich mehr Typparameter haben.

public class NestedGeneric<OUTER_TYPE> { 

    private static class InnerGeneric<INNER_TYPE> { 
    public INNER_TYPE innerGenericField; 
    } 

    public NestedGeneric() { 
    InnerGeneric<OUTER_TYPE> innerGenericInstance = new InnerGeneric<OUTER_TYPE>(); 

    InnerGeneric<String> secondInnerGenerics = new InnerGeneric<String>(); 
    } 
} 

Die INNER_TYPE und die OUTER_TYPE sind zwei verschiedene Typparameter. Zeile InnerGeneric<OUTER_TYPE> innerGenericInstance = new InnerGeneric<OUTER_TYPE>(); wird sagen, dass innerGenericInstance durch den gleichen Typ wie OUTER_TYPE parametriert ist. Aber sie müssen nicht gleich sein. So wie es bei secondInnerGenerics der Fall ist.