泛型初探

在泛型(Generic type或Generics)出现之前,是这么写代码的:

public static void main(String[] args)
{
List list = new ArrayList();
list.add("123");
list.add("456"); System.out.println((String)list.get(0));
}

当然这是完全允许的,因为List里面的内容是Object类型的,自然任何对象类型都可以放入、都可以取出,但是这么写会有两个问题:

1、当一个对象放入集合时,集合不会记住此对象的类型,当再次从集合中取出此对象时,该对象的编译类型变成了Object

2、运行时需要人为地强制转换类型到具体目标,实际的程序绝不会这么简单,一个不小心就会出现java.lang.ClassCastException,即类型转换异常

所以,泛型出现之后,上面的代码就改成了大家都熟知的写法:

public static void main(String[] args)
{
List<String> list = new ArrayList<String>();
list.add("123");
list.add("456"); System.out.println(list.get(0));
}

这就是泛型。泛型是对Java语言类型系统的一种扩展,有点类似于C++的模板,可以把类型参数看作是使用参数化类型时指定的类型的一个占位符。引入泛型,是对Java语言一个较大的功能增强,带来了很多的好处:

1、类型安全。类型错误现在在编译期间就被捕获到了,而不是在运行时当作java.lang.ClassCastException展示出来,将类型检查从运行时挪到编译时有助于开发者更容易找到错误,并提高程序的可靠性

2、消除了代码中许多的强制类型转换,增强了代码的可读性

3、为较大的优化带来了可能

getClass()相同

看一段代码:

public static void main(String[] args)
{
List<String> stringList = new ArrayList<String>();
List<Integer> integerList = new ArrayList<Integer>();
System.out.println(stringList.getClass() == integerList.getClass());
}

运行结果为:

true

这意味着,泛型是什么并不会对一个对象实例是什么类型的造成影响,所以,通过改变泛型的方式试图定义不同的重载方法也是不可以的:

尽量使用精确的类型定义泛型

尽量使用精确的类型定义泛型,除非必要,否则不要写一个接口或者父类上去:

public static void main(String[] args)
{
List<Number> list = new ArrayList<Number>();
list.add();
list.add(2.2);
for (Number number : list)
System.out.println(number);
}

就像这样,list中的是一个Number类型,往里面添加的是Integer与Double,这样导致get出来的元素也都是Number类型的,失去了子类扩展的功能。如果要让子类变为Interger和Double也可以,(Integer)list.get(0)和(Double)list.get(1)强转就可以了,但是这样不就失去了泛型的意义了吗?所以,尽量用精确的类型去定义泛型。

使用类型通配符

List<Object>不是List<String>的父类型,List<Integer>不是List<Number>的父类型,试图用以下方式赋值是不允许的:

 public static void main(String[] args)
{
3 List<Number> numberList = new ArrayList<Number>();
List<Integer> integerList = new ArrayList<Integer>();
numberList = integerList;
}

第5行将报错"Type mismatch: cannot convert from List<Integer> to List<Number>"。有人可能觉得这样很不方便:我在一个方法里面只需要循环检索一个List,也不能利用多态放一个父类型进去,也不能重载,那怎么办呢?针对这个问题,Java给开发者提供了通配符"?",看一下:

public static void main(String[] args)
{
List<String> stringList = new ArrayList<String>();
List<Integer> integerList = new ArrayList<Integer>(); printList(stringList);
printList(integerList);
} private static void printList(List<?> l)
{
for (Object o : l)
System.out.println(o);
}

<?>是类型通配符,表示是任何泛型的父类型,这样List<Object>、List<String>这些都可以传递进入printList方法中,注意这里的参数不能写成List<E>,这样就报错了,E未定义。当然<?>也可以不加,不过这样会有警告:如果传递一个List<E>给List,相当于传递一个只承诺将它当作List(原始类型)的方法,这将会破坏使用泛型的类型安全

再注意一点,使用类型通配符,只能从中检索元素,不能添加元素

泛型方法

public static void main(String[] args)
{
System.out.println(ifThenElse(false, "111", "222"));
} private static <T> T ifThenElse(boolean b, T first, T second)
{
return b ? first : second;
}

返回结果为:

222

这说明,方法也可以被泛型化,不管定义在其中的类是不是泛型化的。这意味着不用显式告诉编译器,想要T什么值:编译器只知道这些T都必须相同。

静态资源不认识泛型

接上一个话题,如果把<T>去掉,那么:

报错,T未定义。但是如果我们再把static去掉:

这并不会有任何问题。两相对比下,可以看出static方法并不认识泛型,所以我们要加上一个<T>,告诉static方法,后面的T是一个泛型。既然static方法不认识泛型,那我们看一下static变量是否认识泛型:

这证明了,static变量也不认识泛型,其实不仅仅是static方法、static变量,static块也不认识泛型,可以自己试一下。总结起来就是一句话:静态资源不认识泛型

泛型约束

可以对泛型参数作约束,本来觉得应该有规律,后来发现没有,那就把自己研究的结论发一下,假设有一组类继承关系C继承自B,B继承自A:

1、定义class的时候只能使用extends关键字且不能用通配符"?"

public class TestMain<T extends B>
{
public static void main(String[] args)
{
new TestMain<C>();
}
}

正确。TestMain类的泛型只能传B的子类,也就是C。"new TestMain<A>()"、"public class TestMain<? extends B>"、"public class TestMain<T super B>"都是错误的写法

2、作为方法的参数,泛型可以使用"? extends B"或者"? super B",前者表示实际类型只可以是B的子类,后者表示实际类型只可以是B的父类,以下两种写法都是正确的:

public static void main(String[] args)
{
print(new ArrayList<C>());
} public static void print(List<? extends B> list)
{ }
public static void main(String[] args)
{
print(new ArrayList<A>());
print(new ArrayList<Object>());
} public static void print(List<? super B> list)
{ }

3、作为局部变量的参数,泛型可以使用"? extends B"或者"? super B",不过前者好像没什么意义,后者表示只可以传以B为父类的对象,所以以下的写法是正确的:

public static void main(String[] args)
{
List<? super B> list = new ArrayList<B>();
list.add(new C());
}

不要写"list.add(new A())",JDK将会认为这是类型不匹配的。

Java语法糖3:泛型的更多相关文章

  1. Java语法糖1:可变长度参数以及foreach循环原理

    语法糖 接下来几篇文章要开启一个Java语法糖系列,所以首先讲讲什么是语法糖.语法糖是一种几乎每种语言或多或少都提供过的一些方便程序员开发代码的语法,它只是编译器实现的一些小把戏罢了,编译期间以特定的 ...

  2. 转:【深入Java虚拟机】之六:Java语法糖

    转载请注明出处:http://blog.csdn.net/ns_code/article/details/18011009 语法糖(Syntactic Sugar),也称糖衣语法,是由英国计算机学家P ...

  3. Java语法糖设计

    语法糖 Java语法糖系列,所以首先讲讲什么是语法糖.语法糖是一种几乎每种语言或多或少都提供过的一些方便程序员开发代码的语法,它只是编译器实现的一些小把戏罢了,编译期间以特定的字节码或者特定的方式对这 ...

  4. java语法糖---枚举

    java语法糖---枚举   在JDK5.0中提供了大量的语法糖,例如:自动装箱拆箱.增强for循环.枚举.泛型等.所谓“语法糖”就是指提供更便利的语法供程序员使用,只是在编译器上做了手脚,却没有提供 ...

  5. Java语法糖(一)

    概述 语法糖(Syntactic Sugar):主要作用是提高编码效率,减少编码出错的机会. 解语法糖发生在Java源码被编译成Class字节码的过程中,还原回简单的基础语法结构. 语法糖之一:泛型( ...

  6. 【深入Java虚拟机】之六:Java语法糖

    语法糖(Syntactic Sugar),也称糖衣语法,是由英国计算机学家Peter.J.Landin发明的一个术语,指在计算机语言中添加的某种语法,这种语法对语言的功能并没有影响,但是更方便程序员使 ...

  7. Java语法糖(二)

    语法糖之四:内部类 内部类:顾名思义,在类的内部在定义一个类.内部类仅仅是编译时的概念,编译成字节码后,内部类会生成单独的Class文件. 四种:成员内部类.局部内部类.匿名内部类.静态内部类. 1. ...

  8. 早期(编译器)优化--Java语法糖的味道

    1.泛型与类型擦除 泛型的本质是参数化类型的应用,也就是说所操作的数据类型被指定为一个参数.这种参数类型可以用在类.接口和方法的创建中,分别称为泛型类.泛型接口和泛型方法.在泛型没有出现之前,只能通过 ...

  9. Java 语法糖详解

    语法糖 语法糖(Syntactic Sugar),也称糖衣语法,是由英国计算机学家 Peter.J.Landin 发明的一个术语,指在计算机语言中添加的某种语法. 这种语法对语言的功能并没有影响,但是 ...

  10. JVM总结-Java语法糖与Java编译器

    自动装箱与自动拆箱 首先要提到的便是 Java 的自动装箱(auto-boxing)和自动拆箱(auto-unboxing). 我们知道,Java 语言拥有 8 个基本类型,每个基本类型都有对应的包装 ...

随机推荐

  1. 一次诡异的TOMCAT启动故障的解决

    该系统采用TOMCAT+SSH+Linux+Proxool连接池, 以前数据库是本地连接. 后换数据库远端连接,最近老是启动不了. 1.怀疑是proxool连接池没有自动断开后恢复.尝试解决,不是这个 ...

  2. HTML可编辑的select

    HTML可编辑的select实现原理还是用select和input伪装成的! <!DOCTYPE html PUBLIC "-//W3C//Dth XHTML 1.0 Transiti ...

  3. C++ exe调用dll文件

    生成dll程序 extern "C"_declspec(dllexport) void maopao(int *p,int count);void maopao(int *p,in ...

  4. sql2000 (附加数据库)错误9003:LSN(434:94:1)无效和数据库置疑处理

    由于工作需要更换公司的服务器,于是经过一堆的动作,转移网页,转移数据……正当一切都有序进行,却卡在数据库这里,一般为了方便我对数据库的备份都是复制数据库文件的,再通过附加方法实现的,今天由于发现数据库 ...

  5. (python) 标准模块sys和os的使用

    一.sys模块 包含了系统的相关的功能.我们来学习sys.argv,它包含命令行参数. 例子:定义了一个add函数,用来实现两个整数的相加. #! coding=utf-8 # usersys.py ...

  6. Orchard源码--初步(1)

    1.打开解决方案Orachard.sln 2.直接启动项目调试 3.接着你会看到下图 呵呵,有点啰嗦( ̄︶ ̄)↗ 涨 4.点击上图的‘Finish Setup’后

  7. K/3 Cloud开发之旅--环境准备篇

    K/3 Cloud是金蝶软件新推出的一款产品,介绍我就不多说了,谁用谁知道啊,那么我们如果要基于它做开发需要什么环境呢 开发环境必备软件 1 操作系统Windows X86/X64 或者Windows ...

  8. JS实现的简单横向伸展二级菜单

    <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/ ...

  9. vc11(vs2012)下编译php

    需要原料: vs2012.php源码 1.本机的mingw没搞定,参考网上文章尝试vs2012编译,借助vs2012自带的命令行工具: 需要去bison官网下载bison.exe放在“c:/windo ...

  10. oracle 小题

    create table student(sno varchar2(10) primary key,sname varchar2(20),sage number(2),ssex varchar2(5) ...