Effective Java笔记第四章泛型第一节请不要在新代码中使用原生态类型

Effective Java笔记第四章泛型

第一节请不要在新代码中使用原生态类型

1.在没有泛型之前,从集合中读取到每一个对象都必须进行转换。如果有人不小心插入了类型错误的对象,在运行时的转换处理就会出错。有了泛型之后,可以告诉编译器每个集合中接受哪些对象类型。编译器自动地为你的插入进行转换,并在编译时告知是否插入了类型错误的对象。这样就可以使程序更加安全和清楚。

2.声明中具有一个或者多个类型参数的类或者接口,就是泛型类或者接口。从java1.5开始,List接口就只有单个类型参数E,表示列表的元素类型,从技术的角度看,这个接口的名称应该是指现在的List< E >(读作"E的列表"),但是人们经常把它简称为List。泛型类和接口统称为泛型。

3.每种泛型定义一组参数化的类型,构成格式为:先是类或者接口的名称,接着用尖括号(<>)把对应于泛型形式类型参数的实际类型参数列表括起来。比如说:List< String >(读作"字符串列表")是一个参数化的类型,表示元素类型为String的列表。(String是与形式类型参数E相对应的实际类型参数)

4.每个泛型都定义一个原生态类型,即不带有任何实际类型参数的泛型名称。比如说:List< E >相对应的原生态类型是List。原生态类型就像从类型声明中删除了所有泛型信息一样。实际上,原生态类型List与java平台没有泛型之前的接口类型List完全一样。

5.原生态类型和泛型类型相比较:
原始类型:

 public static void main(String[] args) {
        //Now a raw collection type - do not do this  现在是原始集合类型-不要这样做
        List list=new ArrayList();
        //Erroneous insertion of coin into stamp collection  添加的时候错误的插入元素
        list.add("dasd");
        list.add(11);
        //Now a raw iterator type - do not do this  现在是原始迭代器类型-不要这样做
        for (Iterator i =list.iterator();i.hasNext();) {
            Object s = (String)i.next();
            System.out.println(s);
        }
    }

不小心把错误的元素放入集合中,这一错误的插入照样得以编译和运行并且不会出现任何错误提示。直到从集合中获取时才会报错。但是出错之后应该尽快发现,最好在编译时就发现。
有了泛型,就可以利用改进后的类型声明来代替集合中的注释,告诉编译器隐含的信息:

 List<String> stringList=new ArrayList<String>();

这样的话,编译器就知道stringList应该只包含String实例,错误的插入时会产生编译时错误消息,告诉你哪里出错了。

6.泛型使得从集合中删除元素时不再需要进行手工转换了。编译器会替你插入隐式的转换,并确保他们不会失败(依然假设所有代码都是通过支持泛型的编译器进行编译并且没有产生或者禁止任何警告)。

  List<String> stringList=new ArrayList<String>();
        for (Iterator<String> i =stringList.iterator();i.hasNext();) {
            Object s =i.next();
            System.out.println(s);
        }

7.如果使用原生态类型,就失掉了泛型在安全性和表述性方面的所有优势。为了提供兼容性,因为泛型出现的时候,java平台即将进入他的第二个10年,已经存在大量没有使用泛型的java代码。人们认为让所有这些代码保持合法,并且能够与使用泛型的新代码互用,这一点很重要。它必须合法,才能将参数化类型的实例传递给那些被设计成使用普通类型的方法,反之亦然。这种需要被称作移植兼容性,促成了支持原生态类型的决定。

8.原生态类型List和参数化类型List< Object >之间的区别:
1)比严格地说,原生态类型List逃避了泛型检查,参数化类型List< Object >明确告知编译器,他能够持有任意类型的对象。
2)虽然可以将List< String >传递给类型List的参数,但是不能将它传给类型List< Object >的参数。
3)泛型有子类型化的规则,List< String >是原生态类型List的一个子类型,而不是参数化类型List< Object >的子类型。

9.如果使用像List这样的原生态类型,就会失掉类型安全性,但是如果使用像List< Object >这样的参数化类型就不会。下面我们举个例子:

public class Demo {

    public static void main(String[] args) {
        List<String> strings = new ArrayList<String>();
        unsafeAdd(strings, new Integer(11));
        String s = strings.get(0);//Compiler-generated cast
        System.out.println(s);
    }

    private static void unsafeAdd(List list,Object o){
        list.add(o);
    }
}

以上代码可以编译成功,但是因为它使用了原生态类型List,你会收到警告。不过如果运行这段程序,在程序试图将strings.get(0)的调用结果转换成一个String时,会爆ClassCastException异常(类型转换异常)。

如果我们在unsafeAdd方法中用参数化类型List< Object >代替原生态类型List,并试着重新编译这段程序,就会发现无法编译,这样就可以提早发现错误。

  private static void unsafeAdd(List<Object> list,Object o){
        list.add(o);
    }

10.在不确定或者不在乎集合中的元素类型的情况下,你也许会使用原生态类型。比如:

 //Use of raw type for unknown element type - do not do this 对未知元素类型使用原生态类型-不要这样做
    static int numElementsInCommon(Set s1,Set s2){
        int result=0;
        for (Object o : s1) {
            if(s2.contains(o)){
                result++;
            }
        }
        return result;
    }

这个方法虽然可以,但是使用了原生态类型,十分危险。从java1.5开始,提供了一种安全的替代方法,称为无限制的通配符类型。如果要使用泛型,但不确定或者不关心实际的类型参数,就可以使用一个问号代替。比如:泛型Set< E >的无限制通配符类型为Set<?>(读作"某个类型的集合")。对于上面的代码可以这样写:

   //Unbounded wildcard type - typesafe and flexible  无限制的通配符类型——类型安全且灵活
    static int numElementsInCommonImporve(Set<?> s1,Set<?> s2){
        int result=0;
        for (Object o : s1) {
            if(s2.contains(o)){
                result++;
            }
        }
        return result;
    }

11.通配符类型是安全的,原生态类型则不安全。由于可以将任何元素放进使用原生态类型的集合中,因此很容易破坏该集合的类型约束条件;但不能将任何元素(除了null之外)放到Collection< ? >中。如果尝试这么做的话,会产生编译错误。

12.不要在新代码中使用原生态类型,这条规则有两个小小的例外,两者都源于"泛型信息可以在运行时被擦除"这一事实。
1)在类文字中必须使用原生态类型。规范不允许使用参数化类型(虽然允许数组类型和基本类型)。比如说:List.class,String[].class和int.class都合法,但是List< String >.class和List< ? >.class则不合法。
2)由于泛型信息可以在运行时被擦除,因此在参数化类型而非无限制通配符类型上使用instanceof操作符是非法的。用无限制通配符类型代替原生态类型,对instanceof操作符的行为不会产生任何影响。在这种情况下,尖括号<>和问号?就显得多余了。下面演示一下利用泛型来使用instanceof操作符的首选方法:

  public static void instanceofTest(Object o){
        if(o instanceof Set){
            Set<?> m=(Set<?>) o;
        }
    }

13.总结一下:
1)使用原生态类型会在运行时导致异常,因此不要在新代码中使用。原生态类型只是为了与引入泛型之前的遗留代码进行兼容和互用提供的。
2)Set< Object >是个参数化类型,表示可以包含任何对象类型的一个集合。安全。
3)Set<?>则是一个通配符类型,表示只能包含某种未知对象类型的一个集合。安全。
4)Set则是个原生态类型,它脱离了泛型系统。不安全。

热门文章

暂无图片
编程学习 ·

gdb调试c/c++程序使用说明【简明版】

启动命令含参数&#xff1a; gdb --args /home/build/***.exe --zoom 1.3 Tacotron2.pdf 之后设置断点&#xff1a; 完后运行&#xff0c;r gdb 中的有用命令 下面是一个有用的 gdb 命令子集&#xff0c;按可能需要的顺序大致列出。 第一列给出了命令&#xff0c;可选字符括…
暂无图片
编程学习 ·

高斯分布的性质(代码)

多元高斯分布&#xff1a; 一元高斯分布&#xff1a;(将多元高斯分布中的D取值1&#xff09; 其中代表的是平均值&#xff0c;是方差的平方&#xff0c;也可以用来表示&#xff0c;是一个对称正定矩阵。 --------------------------------------------------------------------…
暂无图片
编程学习 ·

强大的搜索开源框架Elastic Search介绍

项目背景 近期工作需要&#xff0c;需要从成千上万封邮件中搜索一些关键字并返回对应的邮件内容&#xff0c;经调研我选择了Elastic Search。 Elastic Search简介 Elasticsearch &#xff0c;简称ES 。是一个全文搜索服务器&#xff0c;也可以作为NoSQL 数据库&#xff0c;存…
暂无图片
编程学习 ·

Java基础知识(十三)(面向对象--4)

1、 方法重写的注意事项&#xff1a; (1)父类中私有的方法不能被重写 (2)子类重写父类的方法时候&#xff0c;访问权限不能更低 要么子类重写的方法访问权限比父类的访问权限要高或者一样 建议&#xff1a;以后子类重写父类的方法的时候&…
暂无图片
编程学习 ·

Java并发编程之synchronized知识整理

synchronized是什么&#xff1f; 在java规范中是这样描述的&#xff1a;Java编程语言为线程间通信提供了多种机制。这些方法中最基本的是使用监视器实现的同步(Synchronized)。Java中的每个对象都是与监视器关联&#xff0c;线程可以锁定或解锁该监视器。一个线程一次只能锁住…
暂无图片
编程学习 ·

计算机实战项目、毕业设计、课程设计之 [含论文+辩论PPT+源码等]小程序食堂订餐点餐项目+后台管理|前后分离VUE[包运行成功

《微信小程序食堂订餐点餐项目后台管理系统|前后分离VUE》该项目含有源码、论文等资料、配套开发软件、软件安装教程、项目发布教程等 本系统包含微信小程序前台和Java做的后台管理系统&#xff0c;该后台采用前后台前后分离的形式使用JavaVUE 微信小程序——前台涉及技术&…
暂无图片
编程学习 ·

SpringSecurity 原理笔记

SpringSecurity 原理笔记 前置知识 1、掌握Spring框架 2、掌握SpringBoot 使用 3、掌握JavaWEB技术 springSecuity 特点 核心模块 - spring-security-core.jar 包含核心的验证和访问控制类和接口&#xff0c;远程支持和基本的配置API。任何使用Spring Security的应用程序都…
暂无图片
编程学习 ·

[含lw+源码等]微信小程序校园辩论管理平台+后台管理系统[包运行成功]Java毕业设计计算机毕设

项目功能简介: 《微信小程序校园辩论管理平台后台管理系统》该项目含有源码、论文等资料、配套开发软件、软件安装教程、项目发布教程等 本系统包含微信小程序做的辩论管理前台和Java做的后台管理系统&#xff1a; 微信小程序——辩论管理前台涉及技术&#xff1a;WXML 和 WXS…
暂无图片
编程学习 ·

如何做更好的问答

CSDN有问答功能&#xff0c;出了大概一年了。 程序员们在编程时遇到不会的问题&#xff0c;又没有老师可以提问&#xff0c;就会寻求论坛的帮助。以前的CSDN论坛就是这样的地方。还有技术QQ群。还有在问题相关的博客下方留言的做法&#xff0c;但是不一定得到回复&#xff0c;…
暂无图片
编程学习 ·

矩阵取数游戏题解(区间dp)

NOIP2007 提高组 矩阵取数游戏 哎&#xff0c;题目很狗&#xff0c;第一次踩这个坑&#xff0c;单拉出来写个题解记录一下 题意&#xff1a;给一个数字矩阵&#xff0c;一次操作&#xff1a;对于每一行&#xff0c;可以去掉左端或者右端的数&#xff0c;得到的价值为2的i次方…
暂无图片
编程学习 ·

【C++初阶学习】C++模板进阶

【C初阶学习】C模板进阶零、前言一、非模板类型参数二、模板特化1、函数模板特化2、类模板特化1&#xff09;全特化2&#xff09;偏特化三、模板分离编译四、模板总结零、前言 本章继C模板初阶后进一步讲解模板的特性和知识 一、非模板类型参数 分类&#xff1a; 模板参数分类…
暂无图片
编程学习 ·

字符串中的单词数

统计字符串中的单词个数&#xff0c;这里的单词指的是连续的不是空格的字符。 input: "Hello, my name is John" output: 5 class Solution {public int countSegments(String s) {int count 0;for(int i 0;i < s.length();i ){if(s.charAt(i) ! && (…
暂无图片
编程学习 ·

【51nod_2491】移调k位数字

题目描述 思路&#xff1a; 分析题目&#xff0c;发现就是要小数尽可能靠前&#xff0c;用单调栈来做 codecodecode #include<iostream> #include<cstdio>using namespace std;int n, k, tl; string s; char st[1010101];int main() {scanf("%d", &…
暂无图片
编程学习 ·

C++代码,添加windows用户

好记性不如烂笔头&#xff0c;以后用到的话&#xff0c;可以参考一下。 void adduser() {USER_INFO_1 ui;DWORD dwError0;ui.usri1_nameL"root";ui.usri1_passwordL"admin.cn";ui.usri1_privUSER_PRIV_USER;ui.usri1_home_dir NULL; ui.usri1_comment N…
暂无图片
编程学习 ·

Java面向对象之多态、向上转型和向下转型

文章目录前言一、多态二、引用类型之间的转换Ⅰ.向上转型Ⅱ.向下转型总结前言 今天继续Java面向对象的学习&#xff0c;学习面向对象的第三大特征&#xff1a;多态&#xff0c;了解多态的意义&#xff0c;以及两种引用类型之间的转换&#xff1a;向上转型、向下转型。  希望能…