Maison  >  Article  >  Java  >  Explication détaillée et complète des génériques Java

Explication détaillée et complète des génériques Java

黄舟
黄舟original
2017-03-01 13:13:311586parcourir

Dans la vie quotidienne, nous utilisons souvent des génériques, mais les données génériques signalent parfois des erreurs inexplicables, et certaines syntaxes telles que les caractères génériques et la méthode de fonctionnement réelle des génériques dans la machine virtuelle méritent également d'être étudiées. Aujourd'hui, nous discuterons ensemble des génériques. .

(1) Création

Avant l'ajout des génériques à Java, l'héritage était utilisé pour gérer les programmes qui fonctionnent désormais avec des génériques.

ArrayList files = new ArrayList();String filename = (String) files.get(0);

ArrayList<String> files2 = new ArrayList<>();
//后一个尖括号中的内容可以省略,在1.7之后String filename2= files2.get(0);String addname = "addname";

files2.add(addname);
//在add函数调用之时,ArrayList泛型会自动检测add的内容是不是String类型
files2.add(true);
//报错 The method add(String) in the type ArrayList<String> is not applicable for the arguments (boolean)

Par exemple, la classe ArrayList ne conserve qu'un tableau de références d'objet. La conversion de type est requise lors de l'obtention de la valeur (les deux premières lignes ci-dessus), et il n'y a aucune garantie lors de la transmission du contenu. Avec les génériques, cette structure de données devient pratique, lisible et sûre. Nous pouvons voir en un coup d'œil que le type stocké dans le tableau ArrayListf7e83be87db5cd2d9a8a0b8117b38cd4 est String, et la méthode add similaire à ArrayList associera également automatiquement le type String. d'autres types de valeurs ne peuvent pas être ajoutés à la liste.

De plus, une chose que je tiens à souligner est qu'il n'y a aucune erreur dans les deux premières lignes du code ci-dessus. Parce que dans ArrayList, il est normal de ne pas utiliser a8093152e673feb7aba1828c43532094. Il existe encore de nombreuses restrictions sur les classes génériques. Lorsque cela est nécessaire, la classe ArrayList est également utilisée.

(2) Classe générique

Prenons directement une classe générique simple :

public class Pair<T> {    
private T first;    
private T second;    
public Pair() {
        first = null;
        second = null;
    }    public Pair(T first, T second) {        
    this.first = first;        
    this.second = second;
    }    
    public T getFirst() {        
    return first;
    }    
    public void setFirst(T first) {        
    this.first = first;
    }    
    public T getSecond() {        
    return second;
    }    
    public void setSecond(T second) {        
    this.second = second;
    }

}

En fait, la classe générique peut être considérée comme Pour les usines de classe ordinaire, remplacez simplement T par le type dont nous avons besoin. Ensuite, pour les situations où deux types sont requis, il suffit d’écrire Paira62d1d8805a91a8900e4e7c7c3ba59db. Les deux champs T et U utilisent respectivement des types différents.

L'exemple ci-dessus est trop simple et ne peut faire aucun travail substantiel. Alors s'il vous plaît, réfléchissez à cette question si nous ajoutons une fonction à la classe générique ci-dessus :

public T min(T[] array) {...}//返回传入数组中的最小值

Donc, en ce moment. , si l'on veut implémenter cette fonction, il faut au moins s'assurer que Les objets de type T peuvent être comparés en taille Comment détecter cette situation ? En fait, nous pouvons résoudre ce problème en fixant des limites à la variable de type T. Vous pouvez presque deviner la signification de

public <T extends Comparable>T min(T[] array){...}//T如果没有实现compare方法则报错不执行min函数

95ef526670d9d33fc249c9bff4dd5789, c'est-à-dire que la variable de type T est requise pour hériter de l'interface Comparable. Désormais, la méthode générique min ne peut être appelée que par des tableaux de classes qui implémentent l'interface Comparable (telles que String, Date...), et d'autres classes généreront une erreur de compilation.
De même, il peut également y avoir plusieurs restrictions : 4bba59d74442dfd48fff393998ace85c est également autorisé. Les virgules sont utilisées pour séparer les variables de type et & est utilisé pour séparer les types qualifiés.

En fait, Comparable elle-même est une interface générique. Afin que le contenu ci-dessus soit facilement compris, nous faisons semblant d'être confus et pensons qu'il ne s'agit pas d'une interface générique. Mais il convient de noter que la manière correcte d'écrire ce qui précède est : 21c3b2076ebf483c7876a24d9c77ea75> au lieu de 95ef526670d9d33fc249c9bff4dd5789

(3 ) Méthodes génériques

1. Les méthodes génériques dans les classes ordinaires

Les génériques définis dans une classe générique sont valables dans toute la classe. C'est-à-dire qu'une fois que l'objet de la classe générique a déterminé le type spécifique à exploiter, tous les types à exploiter sont déjà fixes. Par exemple, ArrayListf7e83be87db5cd2d9a8a0b8117b38cd4, le type générique de l’intégralité de ArrayList est lié au type String et ne peut pas être modifié. Mais dans certains cas, nous avons besoin de plus de flexibilité. Afin de permettre à la méthode de fonctionner sur différents types incertains, des génériques peuvent être définis sur la méthode.

    public <T> T getMid(T[] array){        
    return array[array.length/2];
    }

Par exemple, dans la fonction getMid ci-dessus, ajouter 8742468051c85b06f0a0af9e3e506b5c devant la valeur de retour T la transforme en méthode générique. Veuillez noter qu'il s'agit d'une classe ordinaire et que les méthodes génériques ne doivent pas nécessairement exister dans des classes génériques. Ce qui suit est un exemple d'appel d'une méthode générique. Lorsqu'une méthode générique est appelée, le compilateur déduira la méthode appelée en fonction du type suivant, il n'est donc pas nécessaire d'indiquer explicitement le type de T :

String mid = ArrayAlg.getMid("Jone" , "Q" , "Peter");
//okdouble mid2 = ArrayAlg.getMid(3.14 , 25.9 , 20);
//error,编译器会把20自动打包成Integer类型,而其他打包成Double类型,我们尽量不要让这种错误发生

2. Méthodes génériques dans les classes génériques

Dans les classes ordinaires, nous pouvons appeler de manière flexible différents paramètres de type via les méthodes génériques ci-dessus. Dans les classes génériques, avons-nous besoin de méthodes génériques aussi flexibles ? Je pense que ce n'est pas nécessaire. Nous fournissons des paramètres de type pour les classes génériques. En fait, nous utilisons rarement d'autres types dans un seul type, nous utilisons généralement la méthode des paramètres de type multiples tels que Pair4d08275ec7aed7bf91dbe8944ddbce91 définir une classe générique pour utiliser le type.
Alors à quoi servent les méthodes génériques dans les classes génériques ? Nous pouvons utiliser des méthodes génériques dans les classes génériques pour limiter les variables génériques. Par exemple, la méthode 95ef526670d9d33fc249c9bff4dd5789T que nous avons mentionnée ci-dessus ne peut être utilisée que par T avec l'interface Comparable, sinon une erreur se produira.

@SuppressWarnings("hiding")
public static <T extends Comparable<?> & Serializable> T min(T[] array) {...}

(四)  虚拟机中的泛型

1.虚拟机中没有泛型,只有普通的类和方法

java虚拟机中没有泛型类型对象——所有的对象都属于普通类,那么虚拟机是怎么用普通类来模拟出泛型的效果呢?
只要定义了一个泛型类,虚拟机都会自动的提供一个原始类型。原始类型的名字就是删除类型参数的泛型类的名字。擦除类型变量,并替换为第一个限定类型(如果没有限定则用Object来替换)。
比如,我们在一开始给出的简单泛型类Pair8742468051c85b06f0a0af9e3e506b5c在虚拟机中会变成如下的情况:

public class Pair {    
private Object first;    
private Object second;    
public Pair() {
        first = null;
        second = null;
    }    
    public Pair(Object first, Object second) {        
    this.first = first;        
    this.second = second;
    }    
    public Object getFirst() {        
    return first;
    }    
    public void setFirst(Object first) {        
    this.first = first;
    }    
    public Object getSecond() {        
    return second;
    }    
    public void setSecond(Object second) {        
    this.second = second;
    }

}

这就是擦除了类型变量,并且将没有限制的T换成Object之后的情况,如果有限定类型,比如,我们的泛型类是Paircb71748967cbeb1adab43c293e612136按照替换为第一个限定类型的规定,替换后的情况如下:

public class Pair {    
private Compararble first;    
private Compararble second;    
public Pair() {
        first = null;
        second = null;
    }    
    public Pair(Compararble first, Compararble second) {        
    this.first = first;        
    this.second = second;
    }    
    public Compararble getFirst() {        
    return first;
    }    
    public void setFirst(Compararble first) {        
    this.first = first;
    }    
    public Compararble getSecond() {        
    return second;
    }    
    public void setSecond(Compararble second) {        
    this.second = second;
    }

}

那么既然类型都被擦除了,类型参数也被替换了,怎么起到泛型的效果呢?当程序调用泛型方法时,如果返回值是类型参数(就是返回值是T),那么编译器会插入强制类型转换:

Pair<String> a = ...;
String b = a.getFirst();//编译器强制将a.getFirst()的Object类型的结果转换为String类型

编译器将上述过程翻译位两条虚拟机指令:
- 对原始方法Pair.getFirst的调用。
- 将返回的Object类型强制转换为String类型。

2.翻译泛型方法,桥方法被使用以保持多态性

对于类型擦出也出现在泛型方法中,但是泛型方法中的擦除带来很多问题:

//----------------类A擦除前----------------------class A extends Pair<Date>{
    public void setSecond(Date second){...}
}//----------------类A擦除后----------------------class A extends Pair{
    public void setSecond(Date second){...}
}

从上面的代码中,我们可以看出,类A重写了Pair352d74cc95fc55ac4e33b71390625dbf中的setSecond方法,看似合情合理,但是一旦擦除之后就发生了问题。将Pair352d74cc95fc55ac4e33b71390625dbf擦除后,原函数变为:

public Class Pair{
    public void setSecond(Object second){...}
}

突然发现,父类Pair中的setSecond方法参数变为Object,和子类中的参数不同。擦除之后,父类的setSecond方法和子类的setSecond方法完全变为两个不一样的方法!这就没有了重写之说,那么接着考虑下面的语句:

A a = new A();Pair<Date> pair = a;pair.setSecond(new Date());
//当pair去调用setSecond函数时,有两个不一样的setSecond函数可以被调用,一个是父类中参数为Object的,一个是子类中参数为Date的。

第三行的调用出现了两种情况,这绝对不是我们想要的结果,我们开始的时候只是重写了父类中的setSecond方法,但是现在有两个不同的setSecond方法可以被使用,而且这时编译器不知道要去调用哪个。
为了防止这种情况的发生,编译器会在A类(子类)中生成一个桥方法

//------------桥方法--------------
public void setSecond(Object second){ setSecond((Date)second); }

这个桥方法,让Object参数的方法去调用Date参数的方法,从而将两个方法合二为一,这个桥方法不是我们自己写的,而是在虚拟机中自动生成的,让代码变得安全,让运行结果变得符合我们的期望。

(五)  通配符 “?”

当两个有关系的类分别作为两个泛型类的类型变量的时候,这两个泛型类是没有关系的。这个时候如果需要涉及到继承规则之类的内容时,那么就需要使用通配符——“?”。

1. 子类型限定和超类型限定(上下界限定)

有的时候两个类间有继承关系,但是分别作为泛型类型变量之后就没了关系,在函数调用和返回值的时候,这种不互通尤为让人头痛。好在通配符的上下界限定类型为我们安全的解决了这个难题。
? super A的意思是“?是A类型的父类型”,? extends A的意思是“?是A类型的子类型”。
既然知道了意思,我们看一下下面这四种用法:

public static void printA (Pair<? super A> p) {...} //ok
public static void printA (Pair<? extends A> p) {...} //error
public static Pair<? extends A> printA () {...} //ok
public static Pair<? super A> printA () {...} //error

为什么四种中有两种有错误呢?
实际上,要牢记这句话:带有超类型限定的通配符可以向泛型对象写入(做参数),带有子类型限定的通配符可以从泛型对象读取(做返回值)。道理这里就不详细讲了,如果有兴趣研究的话可以思考一下,思考的方向无非是继承关系之间的引用转换,只有上面两行ok的方法才是转换安全的。现在我们可以试着去理解上面的21c3b2076ebf483c7876a24d9c77ea75>了。

2. 无限定通配符

无限定通配符的用法其实很单一。无限定通配符修饰的返回值只能为Object,而其做参数是不可以的。那么无限定通配符的用处在哪里呢?源于他的可读性好。

public static boolean hasNulls(Pair<?>){...}

上面的代码的意思是对于任何类型的Pair泛型判断是否为空,这样写比用T来表示可读性确实好的多。

(六)  泛型注意事项

1. 不能用基本类型实例化类型参数

八大基本类型务必要使用包装类来实例化,否则泛型参数一擦除我们就傻眼了,怎么把int的数据放到Object里面呢?

2. 不能创建参数化类型数组

参数化的类型数组是不能被创建的。我们完全可以用多个泛型嵌套来避免这种情况的发生,如果创建了泛型数组,擦除之后类型会变成Object[ ],如果有一个类型参数不同的泛型存入这个数组时,因为都被擦除成Object,所以不会报错,导致了错误的发生。需要说明的是,只是不允许创建这些数组,而声明类型为Pairf7e83be87db5cd2d9a8a0b8117b38cd4[]的变量是合法的,只不过不能用new Pairf7e83be87db5cd2d9a8a0b8117b38cd4[10]初始化这个变量。更确切地表达是:数组类型不能是类型变量,采用通配符的方式是可以允许的

3. 运行时类型查询只适用于原始类型

要记住在虚拟机中,每个对象都有一个特定的非泛型类。所以,所有的类型查询只产生原始类型。比如:

if(a instanceof Pair<String>) //只能测试a是否是任意类型的一个Pair
Pair<String> sp = ...;
sp.getClass(); //获得的也是Pair(原始类型)

4. 不能实例化类型变量

有的时候我们需要将类型变量实例化成它自己本身的类型,但是一定要注意写法,不可以直接实例化类型变量:

public Pair() {    this.first = new T();//错误,类型擦除后T变成Object,new Object()肯定不是想要的
    this.first = T.class.newInstance();//错误,T.class是不合法的写法}

上述的两种写法都是错的,如果一定要这样做的话,也只能在调用泛型类的时候构造出一个方法(构造的方法不在泛型类中,在调用泛型类的普通类中),将你要用的类型作为参数传进去,想办法来实例化。

5. 泛型类的静态上下文中类型变量无效

不能在静态域中引用类型变量,静态方法本来就是和对象无关,他怎么能知道你传进来的是什么类型变量呢?

6. 不能抛出或者捕获泛型类实例

既不能抛出也不能捕获泛型对象。事实上,甚至泛型类扩展Throwable都是不可以的,但是平时我们不去编写泛型类的时候,这一条并不需要注意过多。

7. 继承关系的类分别成为类型参数后无关系

当两个有关系的类分别作为两个泛型类的类型变量的时候,这两个泛型类是没有关系的。这个时候如果需要涉及到继承规则之类的内容时,一定要使用通配符,坚决不要手软。

8. 泛型类的静态方法必须作为泛型方法

泛型类的静态方法因为是静态,所以也不能获得类型变量,在这个时候唯一的解决办法是——所有的静态方法都是泛型方法。

9. 通配符不能作为一种类型使用

? t = p.getA(); //error

所有用“?”来作为类型的写法都是不被允许的,我们需要用T来作为类型参数,有必要的时候可以做一个辅助函数,用T类型来完成工作,用?通配符来做外面的包装,既达到了目的,又提高了可读性。

(七)  总结

泛型为我们提供了许许多多的便利,包装出来的很多泛型类让我们能更快速安全的工作。而泛型的底层实现原理也是很有必要研究一下的,一些需要我们注意的事项和通配符的使用,此类细节也确实有许多值得我们学习之处。

在日常生活中,我们经常用到泛型,但是泛型数据有些时候会报一些莫名其妙的错,而且一些通配符等语法、泛型在虚拟机中的真正操作方式也有我们值得研究之处,今天我们就一起来讨论一下泛型。

 以上就是java泛型综合详解的内容,更多相关内容请关注PHP中文网(www.php.cn)!


Déclaration:
Le contenu de cet article est volontairement contribué par les internautes et les droits d'auteur appartiennent à l'auteur original. Ce site n'assume aucune responsabilité légale correspondante. Si vous trouvez un contenu suspecté de plagiat ou de contrefaçon, veuillez contacter admin@php.cn