美文网首页
EffectiveJava第5章-泛型

EffectiveJava第5章-泛型

作者: wangcanfeng | 来源:发表于2017-08-03 21:39 被阅读0次

第23条:请不要在新代码中使用原生态类型

类型参数:List<E>中的E就是类型参数,表示列表中的元素类型
参数化类型:List<String>
原生态类型:List

使用原生态类型的缺点:
当我们获取一个值的时候,必须进行强制类型转换。
如果放入了非预期的类型,编译时我们不会收到任何的错误提示,运行时java.lang.ClassCastException

原生态类型和参数化类型的区别:
比如List和List<String>,前者是逃避了泛型检查,后者则明确告诉编译器,它能够持有任意类型的对象。

泛型有子类型化的规则,List<String>是原生态类型List的子类型,而不是参数化类型List<Object>的子类型。

无限制的通配符类型 如果要使用泛型,但不确定或者不关心实际的参数类型,就可以使用问号代替。Set<?>

无限制通配类型Set<?>和原生态类型Set之间的区别:
可以将任何元素放进使用原生态类型的集合中
不能将任何元素放到无限制通配类型中(除了null)。

不要在新代码中使用原生态类型:(原因就是泛型信息在运行时被擦除)
在类文字中必须使用原生态类型。
instanceof操作符后面的类型不能是泛型。

第24条:消除非受检警告

非受检警告很重要,不要忽略它们。
如果无法消除非受检警告,同时可以证明引起警告的代码是类型安全的,就可以在尽可能小的范围中,用@SuppressWarnings("uncheck")注解禁止该警告。

第25条:列表优先于数组

数组与泛型

数组是协变的,就是如果Sub为Super的子类型,那么数组类型Sub[]就是Super[]的子类型。
泛型是不可变的,对于任意两个不同类型Type1和Type2,List<Type1>既不是List<Type2>的子类型,也不是List<Type2>的父类型。

数组是具体化的,数组是在运行时才知道并检查他们的元素类型约束;泛型只是在编译时强化它们的类型信息。

Object[] objectArray = new String[10];
objectArray[0] = "100";
objectArray[1] = 100;//java.lang.ArrayStoreException

List<String> strlist = new ArrayList<String>();
List<Integer> intlist = new ArrayList<Integer>();
System.out.println(strlist.getClass() == intlist.getClass());
//true,因为类型擦除,可以查看字节码得知

数组和泛型不能混合使用。
用列表代替数组

第26条:优先考虑泛型

泛型更加安全

第27条:优先考虑泛型方法

static <E> List<E> asList(E[] a)

编译器会进行类型推导获取E的值。

利用类型推导简化代码:

Map<String,List<String>> anagrams = new HashMap<String, List<String>>();

//静态泛型工厂
public static <K,V> HashMap<K,V> newHashMap(){
    return new HashMap<K,V>();
}

Map<String, List<String>> = newHashMap();

第28条:利用有限通配符来提升API的灵活性

每个类型都是自身的子类型,所以有限通配符也可以把自身类型传进去。

生产者:< ? extends T>
消费者:<? super T>
producer-extends,consumer-super

不要用通配符类型作为返回类型

类型推导并非总能完成工作:

Set<Integer> integers = ...;
Set<Double> doubles = ...;
Set<Number> numbers = union(integers, doubles);//incompatible types

//显式的类型参数
Set<Number> numbers = Union.<Number>union(integers, doubles);
public static E void swap(List<E> list, int i, int j);
public static void swap(List<?> list, int i, int j);

如果类型参数只在方法声明中出现一次,就可以使用通配符取代它。

相关文章

  • EffectiveJava第5章-泛型

    第23条:请不要在新代码中使用原生态类型 类型参数:List中的E就是类型参数,表示列表中的元素类型参数化类...

  • EffectiveJava-4-泛型

    请不要在新代码中使用原生态类型 - 如不要使用List,而是使用List(泛型),形式类型参数E表示列表的元...

  • effective java 第五章 (笔记)

    第5章 泛型 java 1.5增加了泛型。 *** 第23条:请不要在新代码中使用原生态类型 *** 泛型类和接口...

  • 泛型 & 注解 & Log4J日志组件

    掌握的知识 : 基本用法、泛型擦除、泛型类/泛型方法/泛型接口、泛型关键字、反射泛型(案例) 泛型 概述 : 泛型...

  • 【泛型】通配符与嵌套

    上一篇 【泛型】泛型的作用与定义 1 泛型分类 泛型可以分成泛型类、泛型方法和泛型接口 1.1 泛型类 一个泛型类...

  • 泛型的使用

    泛型有三种使用方式,分别为:泛型类、泛型接口、泛型方法 泛型类 泛型接口 泛型通配符 泛型方法 静态方法与...

  • Java 泛型

    泛型类 例如 泛型接口 例如 泛型通配符 泛型方法 类中的泛型方法 泛型方法与可变参数 静态方法与泛型 泛型上下边...

  • 第8章 泛型程序设计

    第8章 泛型程序设计 使用泛型要比直接使用Object,让后进行强制类型转换要安全 8.1 为什么要使用泛型程序设...

  • 探秘 Java 中的泛型(Generic)

    本文包括:JDK5之前集合对象使用问题泛型的出现泛型应用泛型典型应用自定义泛型——泛型方法自定义泛型——泛型类泛型...

  • Web笔记-基础加强

    泛型高级应用 自定义泛型方法 自定义泛型类 泛型通配符? 泛型的上下限 泛型的定义者和泛型的使用者 泛型的定义者:...

网友评论

      本文标题:EffectiveJava第5章-泛型

      本文链接:https://www.haomeiwen.com/subject/azlpcxtx.html