static void show(Collection C){\r\n}\r\n//这个泛型方法中定义了一个T
类型形参,这个T类型形参可以在该方法内当成普通类型使用。这里无需显示传入实际类型参数,无论调用该方法时传入什么类型的值,系统都可以判断出最直接的类型参数。举个例子给你看可能会更加明白:\r\nimport java.util.*\r\npublic class 泛型Test\r\n{\r\nstatic void show(Collection C)\r\n{\r\nSystem.out.println("使用泛型 ------->" + C)\r\n}\r\nstatic void show2(Collection C)\r\n{\r\nSystem.out.println( C)\r\n}\r\npublic static void main(String[] args) \r\n{\r\nCollection C = new HashSet()\r\nC.add("第一个元素")\r\n//下面这行
代码调用show方法时会出错,因为无法通过方法调用转换将实际参数int转换为String\r\n//因为编译器会根据实参推断类型形参的值,所以系统都可以判断出最直接的类型参数为String\r\n//C.add(58)\r\n泛型Test.show(C)\r\n泛型Test.show2(C)\r\nCollection d = new HashSet()\r\n//由于java在设计集合时,并不知道我们用它来保存什么类型的对象,所以便设计成可以保存任\r\n//何类型的对象。同时也带了问题,集合只是知道它装了Object类型的值,取出元素时还需要进\r\n//行
强制类型转换,增加了编程复杂度,也容易引发ClassCastException。下面两行代码中添加\r\n//两种不同类型的元素,没有错误。\r\nd.add(2)\r\nd.add("第二个元素")\r\n泛型Test.show(d)\r\n泛型Test.show2(d)\r\n}\r\n}泛型(Generictype或者generics)是对Java语言的类型系统的一种扩展,以支持创建可以按类型进行参数化的类。可以把类型参数看作是使用参数化类型时指定的类型的一个占位符,就像方法的形式参数是运行时传递的值的占位符一样。\x0d\x0a可以在集合框架(Collectionframework)中看到泛型的动机。例如,Map类允许您向一个Map添加任意类的对象,即使最常见的情况是在给定映射(map)中保存某个特定类型(比如String)的对象。\x0d\x0a因为Map.get()被定义为返回Object,所以一般必须将Map.get()的结果强制类型转换为期望的类型,如下面的代码所示:\x0d\x0a\x0d\x0aMapm=newHashMap()\x0d\x0a\x0d\x0am.put("key","blarg")\x0d\x0a\x0d\x0aStrings=(String)m.get("key")\x0d\x0a\x0d\x0a要让程序通过编译,必须将get()的结果强制类型转换为String,并且希望结果真的是一个String。但是有可能某人已经在该映射中保存了不是String的东西,这样的话,上面的代码将会抛出ClassCastException。\x0d\x0a理想情况下,您可能会得出这样一个观点,即m是一个Map,它将String键映射到String值。这可以让您消除代码中的强制类型转换,同时获得一个附加的类型检查层,该检查层可以防止有人将错误类型的键或值保存在集合中。这就是泛型所做的工作。\x0d\x0a泛型的好处\x0d\x0aJava语言中引入泛型是一个较大的功能增强。不仅语言、类型系统和编译器有了较大的变化,以支持泛型,而且类库也进行了大翻修,所以许多重要的类,比如集合框架,都已经成为泛型化的了。这带来了很多好处:\x0d\x0a·类型安全。泛型的主要目标是提高Java程序的类型安全。通过知道使用泛型定义的变量的类型限制,编译器可以在一个高得多的程度上验证类型假设。没有泛型,这些假设就只存在于程序员的头脑中(或者如果幸运的话,还存在于代码注释中)。\x0d\x0aJava程序中的一种流行技术是定义这样的集合,即它的元素或键是公共类型的,比如“String列表”或者“String到String的映射”。通过在变量声明中捕获这一附加的类型信息,泛型允许编译器实施这些附加的类型约束。类型错误现在就可以在编译时被捕获了,而不是在运行时当作ClassCastException展示出来。将类型检查从运行时挪到编译时有助于您更容易找到错误,并可提高程序的可靠性。\x0d\x0a·消除强制类型转换。泛型的一个附带好处是,消除源代码中的许多强制类型转换。这使得代码更加可读,并且减少了出错机会。\x0d\x0a尽管减少强制类型转换可以降低使用泛型类的代码的罗嗦程度,但是声明泛型变量会带来相应的罗嗦。比较下面两个代码例子。\x0d\x0a该代码不使用泛型:\x0d\x0a\x0d\x0aListli=newArrayList()\x0d\x0a\x0d\x0ali.put(newInteger(3))\x0d\x0a\x0d\x0aIntegeri=(Integer)li.get(0)\x0d\x0a\x0d\x0a该代码使用泛型:\x0d\x0a\x0d\x0aListli=newArrayList()\x0d\x0a\x0d\x0ali.put(newInteger(3))\x0d\x0a\x0d\x0aIntegeri=li.get(0)\x0d\x0a\x0d\x0a在简单的程序中使用一次泛型变量不会降低罗嗦程度。但是对于多次使用泛型变量的大型程序来说,则可以累积起来降低罗嗦程度。\x0d\x0a·潜在的性能收益。泛型为较大的优化带来可能。在泛型的初始实现中,编译器将强制类型转换(没有泛型的话,程序员会指定这些强制类型转换)插入生成的字节码中。但是更多类型信息可用于编译器这一事实,为未来版本的JVM的优化带来可能。\x0d\x0a由于泛型的实现方式,支持泛型(几乎)不需要JVM或类文件更改。所有工作都在编译器中完成,编译器生成类似于没有泛型(和强制类型转换)时所写的代码,只是更能确保类型安全而已。\x0d\x0a泛型用法的例子
把泛型加在修饰符的前面,具体代码如下:
public <T> void show(T t) {
// do someing
}
备注:一般泛型方法的参数也是泛型的,否则这个泛型方法没有意义,
评论列表(0条)