Effective Java中的泛型部分

今天将Effective Java(第二版)中的泛型部分读完,深感自己泛型掌握有多么不熟练,还是需要多加练习。

废话少说,上点重点:

1.不要使用原型

比如:

List list = new ArrayList();

当你用该list引用指向其他带有泛型的List时,是不会出现编译错误的,只会给一个rawtype的警告,但是————

这很容易出现挂羊头卖狗肉的情况,比如你指向了一个List<Integer>,却add了一个String,这不会出现任何编译错误,但

当你取出来转成Integer时就会出现ClassCastException,因为你根本存的就是一个String...

如果你不确定类型,那么请使用“?”这种通配符,可以消除警告,并且阻止除null外的一切元素添加。

2.优先考虑列表,而不是数组

原因很简单,数组是可协变的,泛型不是。比如,你有一个List<String>[]数组(假设合法),如果你用一个Object[]引用指向了这个泛型数组,

这肯定可以,因为数组是可协变的,但是当你从Object[]中取出这个元素,并调用get方法返回Integer时,就会出现类型转换的异常。所以,泛型

数组是非法的。

3.优先考虑泛型及泛型方法

这个不用多说,自己可以看看集合类的源码,基本上都是使用了泛型,对于数组存储这块,应该是利用反射,用Arrays.newInstance()方法生成一个

Object引用的数组,然后再强制转换为T[]的数组,这样可以保证在add或者get时,类型的正确性(编译器帮你搞定)。

泛型方法是非常强大的方法:

public static <T> void swap(List<T> list, int i, int j)

这种泛型方法,可以自动捕获异常,包括你传入的参数为List<?>时也可以,只不过这时候捕获的为?这种通配符,建议只在void方法中使用。

4.PECS原则

即T的生产者(producer)泛型为<? extends T>,T的消费者(consumer)泛型为<? super T>。

原因很简单,生产者主要提供的方法为get()方法,而Java在运行时泛型是被擦除的,也就是这里的T变为了Object,

在调用或离开方法的“边界处”,编译器会按照泛型参数T转型,也就是说,调用生产者get方法所获取的对象类型,都被一致

地转为T类型,表明不论是什么类型,获取出来只要T类型能接就可以了(为T的子类型)。消费者主要提供的方法为add()

(或者其他的什么consume()等等),这时表明消费者消费的类型只要是T的父类型即可,这是调用add()方法时,所消费的对象

均为T或T的父类型,保证了下限。

总结:要更好的理解泛型,必须多动手去练,去思考,抓住泛型在运行时是被擦除这一特点,就能掌握大部分泛型的使用了

原文地址:https://www.cnblogs.com/cedriccheng/p/8908499.html

时间: 2024-10-12 20:50:45

Effective Java中的泛型部分的相关文章

夯实Java基础系列13:深入理解Java中的泛型

目录 泛型概述 一个栗子 特性 泛型的使用方式 泛型类 泛型接口 泛型通配符 泛型方法 泛型方法的基本用法 类中的泛型方法 泛型方法与可变参数 静态方法与泛型 泛型方法总结 泛型上下边界 泛型常见面试题 参考文章 微信公众号 Java技术江湖 个人公众号:黄小斜 本系列文章将整理到我在GitHub上的<Java面试指南>仓库,更多精彩内容请到我的仓库里查看 https://github.com/h2pl/Java-Tutorial 喜欢的话麻烦点下Star.Fork.Watch三连哈,感谢你的

泛型及java中的泛型

当作笔记整理的~~~ 首先,引出堆对象这个概念. 什么是堆对象,就是程序在运行过程中可以随时建立或者删除的对象,可以用new运算符(或malloc函数)或者delete运算符(或free函数).泛型可以看作是一类堆对象. 泛型是程序设计语言的一种特性.允许程序员在强类型程序设计语言中编写代码时定义一些可变部分,那些部分在使用前必须作出指明. 各种程序设计语言和其编译器.运行环境对泛型的支持均不一样.将类型参数化以达到代码复用提高软件开发工作效率的一种数据类型. 泛型的定义主要有两种:1.在程序编

Java 中的泛型详解-Java编程思想

Java中的泛型参考了C++的模板,Java的界限是Java泛型的局限. 2.简单泛型 促成泛型出现最引人注目的一个原因就是为了创造容器类. 首先看一个只能持有单个对象的类,这个类可以明确指定其持有的对象的类型 class Holder1 { private Circle a; public Holder1(Circle a) { this.a = a; } Circle get() { return a; } } 上面的类的可重用性不怎么样,无法持有其他类型的任何对象,下面通过持有Object

java中的泛型(转)

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

Java中的泛型 (上) - 基本概念和原理

本节我们主要来介绍泛型的基本概念和原理 后续章节我们会介绍各种容器类,容器类可以说是日常程序开发中天天用到的,没有容器类,难以想象能开发什么真正有用的程序.而容器类是基于泛型的,不理解泛型,我们就难以深刻理解容器类.那,泛型到底是什么呢? 什么是泛型? 一个简单泛型类 我们通过一个简单的例子来说明泛型类的基本概念.实现原理和好处. 基本概念 我们直接来看代码: public class Pair<T> { T first; T second; public Pair(T first, T se

Java基础之Java中的泛型

1.为什么要使用泛型 这里我们俩看一段代码; List list = new ArrayList(); list.add("CSDN_SEU_Cavin"); list.add(100); for (int i = 0; i < list.size(); i++) { String name = (String) list.get(i); //取出Integer时,运行时出现异常 System.out.println("name:" + name); } 本例

Java开发知识之Java中的泛型

Java开发知识之Java中的泛型 一丶简介什么是泛型. 泛型就是指泛指任何数据类型. 就是把数据类型用泛型替代了. 这样是可以的. 二丶Java中的泛型 Java中,所有类的父类都是Object类.所以定义泛型的时候,设计长须的话传入的值与返回的值都是Object类型为主.如果是用具体的实例,就要进行转换了.具体参考向上转型,跟向下转型. JDK 1.5版本才有了泛型机制. 语法如下: class 类名<T >{ public T a; public T b; public void Set

Java中的泛型 --- Java 编程思想

前言 ? 我一直都认为泛型是程序语言设计中一个非常基础,重要的概念,Java 中的泛型到底是怎么样的,为什么会有泛型,泛型怎么发展出来的.通透理解泛型是学好基础里面中非常重要的.于是,我对<Java编程思想>这本书中泛型章节进行了研读.可惜遗憾的是,自己没有太多的经验,有些东西看了几次也是有点懵.只能以后有机会,再进行学习了.但是自己也理解了挺多的.下面就是自己对于泛型的理解与感悟.如有不对,望指出. 概念 由来: Java 一开始设计之初是没有泛型这个特性的,直到jdk 1.5中引入了这个特

java中的泛型的使用与理解

什么是泛型? 泛型是程序设计语言的一种特性.允许程序员在强类型程序设计语言中编写 体验泛型代码时定义一些可变部份,那些部份在使用前必须作出指明.各种程序设计语言和其编译器.运行环境对泛型的支持均不一样.将类型参数化以达到代码复用提高软件开发工作效率的一种数据类型.泛型类是引用类型,是堆对象,主要是引入了类型参数这个概念. 定义: 泛型是Java SE 1.5的新特性,泛型的本质是参数化类型,也就是说所操作的数据类型被指定为一个参数.这种参数类型可以用在类.接口和方法的创建中,分别称为泛型类.泛型