唬人的Java泛型并不难

摘自:https://www.cnblogs.com/tonyY/p/12200121.html

泛型

public interface Foo<E> {}

public interface Bar<T> {}

public interface Zar<?> {}

上面的代码有什么区别?

泛型初探

1、为何引入泛型?

Java 泛型也是一种语法糖,使用泛型可以在代码编译阶段完成类型的转换,避免代码在运行时强制转换而出现ClassCastException的异常。

网络搜索出来一大堆的名称解释,我们先看英文Generic type,从英文大概也能明白,Generic 这里可以理解为普通的,一般的,或者我们可以说通用的。

其实可以理解为Java中的一种类型,通用类型。

Java从1.5的版本就开始支持泛型,不过很多小伙伴对泛型还是模凌两可,今天大概讲讲泛型,基础好的小伙伴,就当复习复习。

在1.5版本以前

public static void main(String[] args){    List list = new ArrayList();    list.add("兔子托尼啊");    list.add(1234);    //正常运行    System.out.println((String)list.get(0));    //?运行时报错    System.out.println((String)list.get(1));}

从上面的代码可以看出了,第一句打印不报错,第二句打印会报错的。

List默认是Object的类型的,向List里面存数据都是没有问题的,但是取数据的时候,必须要要进行类型的转换。

List集合get数据的时候并不清楚里面存放的什么数据类型,默认取出来的都是Object的类型,如果取数据的时候转换的类型和原始存放存的类型不一样,会报ClassCastException的异常。

2、引入了泛型

看代码

List<String> list = new ArrayList<String>();list.add("兔子托尼啊");//?编译时错误list.add(1234);//不需要再进行转换了String str = list.get(0);

3、泛型带来好处

  • 这在编码的时候就给我们解决了,类型转换的问题,可以放心写代码。
  • 取数据的时候再也不要考虑我前面存的什么类型,我应该转换为什么类型,不怕类型转换报错。

类型擦除

上面讲了泛型,泛型虽然带来了好处,但是泛型也带了一个问题叫做类型擦除。

什么是类型擦除?

Java的泛型是伪泛型,这是因为Java在编译期间,所有的泛型信息都会被擦掉,正确理解泛型概念的首要前提是理解类型擦除。

Java的泛型基本上都是在编译器这个层次上实现的,在生成的字节码中是不包含泛型中的类型信息的,使用泛型的时候加上类型参数,在编译器编译的时候会去掉,这个过程成为类型擦除。

class GenericU {    public void foo() {        System.out.println("GenericU.foo()");    }}public class Operater<T> {    private T obj;    public Operater(T obj) {        this.obj = obj;    }    public void doIt() {        //?报错,提示找不到foo方法        obj.foo();     }   public static void main(String[] args) {        GenericU genericU  = new GenericU();        Operater<GenericU> operater = new Operater<>(genericU);        operater.doIt();    }}

上面的代码就是因为泛型擦除,带来编译就报错了,代码中的obj不知道是什么类型?

正确的代码应该是什么,只要指定T的类型就好

 class Operater2<T extends GenericU> {    private T obj;    public Operater2(T obj) {       this.obj = obj;       }    public void doIt() {      //正确??      obj.foo();     }}

区分在Operater2<T extends GenericU>Operater<T>
必须指定泛型的类型。

上面的例子是运用在类上面的,方法中是什么效果呢?

class Foo{  //定义泛型方法..  public <T> void show(T t) {      System.out.println(t);  }}

调用方法

public static void main(String[] args) {    //创建Foo对象    Foo foo = new Foo();    //不同的类型参数    foo.show("兔子托尼啊");    foo.show(1234);    foo.show(12.34);}

通配符与上下界

我们大家在java的源码中肯定看到这样的例子。一个下限,一个上限

? extends T VS ? super T

  • ? extends T - 这里的?表示类型T的任意子类型,包含类型T本身。
  • ? super T - 这里的?表示类型T的任意父类型,包含类型T本身。

上限通配符 可以代表未知的T类型,或者通过关键字 extends 所继承的T类的任何一个子类。

同样,下限通配符 可以代表未知的T类型,或者通过关键字super出来的的T类的任何一个父类。

通配符和泛型方法

//通配符public  void foo1(List<?> list) {}

//使用泛型方法public <T> void  foo2(List<T> t) {}

问: 上面两种代码都是可以的,但是什么场合用那种呢?

  • 如果当参数之间有依赖关系,或者返回的参数有依赖关系则用泛型,反之则用通配符。

问:关于 ? extends T 和 ? super T 什么场景下用呢?

我从网上搜索了下

当你需要从一个数据结构中获取数据时(get),那么就使用 ? extends T;如果你需要存储数据(put)到一个数据结构时,那么就使用 ? super T; 如果你又想存储数据,又想获取数据,那么就不要使用通配符 ? ,即直接使用具体泛型T。

最后

泛型大概就讲了上面的内容,你看明白了吗?希望你又学到了,每天学一点,进步一点。升职加薪就是你了。

码字不易,关注后送福利,求关注。

原文地址:https://www.cnblogs.com/xichji/p/12208441.html

时间: 2024-10-16 05:15:27

唬人的Java泛型并不难的相关文章

Java泛型中的PECS原则

今天在写代码的时候使用到了这样一个方法签名: public void foo(Map<String, String> map); 在写这个参数的时候正好在想一些关于泛型的东西,于是: public void foo(Map<? extends String, ? extends String> map); 这两种写法有什么区别呢?记得以前和同学讨论过这个问题,但后来没有记下来,渐渐又淡忘了.今天又去翻了好多资料,总算找到一些可以参考的,赶紧记在这里方便以后温故知新啦.好了,言归正传

Java泛型的协变

在上篇<Java泛型的基本使用>这篇文章中遗留下面问题,即将子类型也能加入到父类型的泛型中.要实现这样的功能必须借助于协变. 实验准备 如今在上篇文章展示的Decorator类型的基础上,添加一些代码,如代码清单1所看到的. 代码清单1 /** * * 描 述:Exp2使用br/> * 作 者:jiaan.gja<br/> * 历 史: (版本号) 作者 时间 凝视 <br/> * @param itemList */ public void doDecorate

2017.4.5 Java 泛型

Java 泛型(generics)是 JDK 5 中引入的一个新特性, 泛型提供了编译时类型安全检测机制,该机制允许程序员在编译时检测到非法的类型. 泛型的本质是参数化类型,也就是说所操作的数据类型被指定为一个参数. 假定我们有这样一个需求:写一个排序方法,能够对整形数组.字符串数组甚至其他任何类型的数组进行排序,该如何实现? 答案是可以使用 Java 泛型. 使用 Java 泛型的概念,我们可以写一个泛型方法来对一个对象数组排序.然后,调用该泛型方法来对整型数组.浮点数数组.字符串数组等进行排

关于Java泛型的使用

在目前我遇到的java项目中,泛型应用的最多的就属集合了.当要从数据库取出多个对象或者说是多条记录时,往往都要使用集合,那么为什么这么使用,或者使用时有什么要注意的地方,请关注以下内容. 感谢Windstep. 原文链接:http://www.cnblogs.com/lwbqqyumidi/p/3837629.html 原文标题:Java总结篇系列:Java泛型 (我的第一篇水文,233)

java 泛型 窜讲

一.为什么使用泛型      复用性:泛型的本质就是参数化类型,因而使用编写的泛型代码可以被许多不同类型的对象所复用.      安全性:在对类型Object引用的参数操作时,往往需要进行显式的强制类型转换.这种强制类型转换需要在运行时才能被发现是否转换异常,通过引入泛型能将在运行时才能检查类型转换,提前到编译时期就能检查. 二.自定义泛型 java中自定义泛型分为三种:泛型类.泛型接口.泛型方法. 下面使用一个案例演示泛型类.泛型方法,泛型接口类似,所以不再演示. // 自定义泛型类publi

1月21日 - (转)Java 泛型

java泛型 什么是泛型? 泛型(Generic type 或者 generics)是对 Java 语言的类型系统的一种扩展,以支持创建可以按类型进行参数化的类.可以把类型参数看作是使用参数化类型时指定的类型的一个占位符,就像方法的形式参数是运行时传递的值的占位符一样. 可以在集合框架(Collection framework)中看到泛型的动机.例如,Map 类允许您向一个 Map 添加任意类的对象,即使最常见的情况是在给定映射(map)中保存某个特定类型(比如 String)的对象. 因为 M

Java泛型_上界extends_下界super

?Java泛型_上界extends_下界super ? 通配符类型 <? extends T> 表示类型的上界,表示参数化类型的可能是T或是T的子类 <? super T> 表示类型下界(Java Core中叫超类型限定),表示参数化类型是此类型(T)的超类型(父类型),直至Object 当使用 Upper Bound 通配符时 如下代码, /**  * 代码中通配符<?> 是 <? extends Object> 的简写  *  * @param list

C++泛型 &amp;&amp; Java泛型实现机制

C++泛型 C++泛型跟虚函数的运行时多态机制不同,泛型支持的静态多态,当类型信息可得的时候,利用编译期多态能够获得最大的效率和灵活性.当具体的类型信息不可得,就必须诉诸运行期多态了,即虚函数支持的动态多态. 对于C++泛型,每个实际类型都已被指明的泛型都会有独立的编码产生,也就是说list<int>和list<string>生成的是不同的代码,编译程序会在此时确保类型安全性.由于知道对象确切的类型,所以编译器进行代码生成的时候就不用运用RTTI,这使得泛型效率跟手动编码一样高.

java 泛型详解(普通泛型、 通配符、 泛型接口,泛型数组,泛型方法,泛型嵌套)

JDK1.5 令我们期待很久,可是当他发布的时候却更换版本号为5.0.这说明Java已经有大幅度的变化.本文将讲解JDK5.0支持的新功能-----Java的泛型. 1.Java泛型  其实Java的泛型就是创建一个用类型作为参数的类.就象我们写类的方法一样,方法是这样的method(String str1,String str2 ),方法中参数str1.str2的值是可变的.而泛型也是一样的,这样写class Java_Generics<K,V>,这里边的K和V就象方法中的参数str1和st