0 简介
泛型技术在 C# 和 Java 之中的使用方式看似相同,但实现上却有着根本性的分歧。
C#里面泛型无论在程序源码中、编译后的IL中(Intermediate Language,中间语言,这时候泛型是一个占位符)或是运行期的CLR中都是切实存在的,List
与List
就是两个不同的类型,它们在系统运行期生成,有自己的虚方法表和类型数据,这种实现称为类型膨胀,基于这种方法实现的泛型被称为真实泛型。
Java语言中的泛型则不一样,它只在程序源码中存在,在编译后的字节码文件中,就已经被替换为原来的原始类型(Raw Type,也称为裸类型)了,并且在相应的地方插入了强制转型代码,因此对于运行期的Java语言来说,ArrayList
与ArrayList
就是同一个类。所以说泛型技术实际上是Java语言的一颗语法糖,Java语言中的泛型实现方法称为类型擦除,基于这种方法实现的泛型被称为伪泛型。(类型擦除在后面在学习)
泛型实现了参数化类型
的概念,使代码可以应用于多种类型。
“泛型”——适用于许多许多的类型。
最初的目的:希望类或方法能够具有最广泛的表达能力。
类型参数,用
括住,放在类名后面。在使用这个类的时候,再用实际的类型替换此
类型参数
。其中T
就是类型参数。
1 泛型接口
- 泛型接口实现方式 1:在实现类的定义上也声明泛型类型
package com.test.generics;
interface Info { // 在接口上定义泛型
T getVar(); // 定义抽象方法,抽象方法的返回值就是泛型类型
}
class InfoImpl implements Info { // 定义泛型接口的子类
private T var; // 定义属性
public InfoImpl(T var) { // 通过构造方法设置属性内容
this.setVar(var);
}
public void setVar(T var) {
this.var = var;
}
public T getVar() {
return this.var;
}
}
public class GenericsInterfaceDemo {
public static void main(String args[]) {
Info i_1 = new InfoImpl("StringDemo"); // 声明接口对象并实例化
System.out.println("StringDemo:" + i_1.getVar());
Info i_2 = new InfoImpl(1); // 声明接口对象并实例化
System.out.println("IntegerDemo:" + i_2.getVar());
}
}
- 泛型接口实现方式 2:在实现接口的时候指定其具体的参数类型
package com.test.generics;
interface Info { // 在接口上定义泛型
T getVar(); // 定义抽象方法,抽象方法的返回值就是泛型类型
}
class InfoImpl implements Info { // 定义泛型接口的子类
private String var; // 定义属性
public InfoImpl(String var) { // 通过构造方法设置属性内容
this.setVar(var);
}
public void setVar(String var) {
this.var = var;
}
public String getVar() {
return this.var;
}
}
public class GenericsInterfaceDemo {
public static void main(String args[]) {
Info i_1 = new InfoImpl("StringDemo"); // 声明接口对象并实例化
System.out.println("StringDemo:" + i_1.getVar());
}
}
Java 泛型的一个局限性,基本类型无法作为类型参数。
2 泛型类
package com.test.generics;
class GenericsClass{
private T args_1;
public GenericsClass(T args_1) {
this.args_1 = args_1;
}
public void print_args_1(){
System.out.println(args_1);
}
}
public class GenericsClassDemo {
public static void main(String[] args) {
GenericsClass stringGenericsClass = new GenericsClass("Hello");
stringGenericsClass.print_args_1();
GenericsClass integerGenericsClass = new GenericsClass(2333);
integerGenericsClass.print_args_1();
}
}
3 泛型方法
是否拥有泛型方法,与其所在的类是否是泛型没有关系。
原则:无论何时,只要能够做到,就应该尽量使用泛型方法。如果使用泛型方法可以取代整个类泛型化,那么就应该只使用泛型方法。如果 static 方法需要使用泛型能力,就必须使其成为泛型方法。
注意:当使用泛型类的时候,必须在创建对象的时候指定类型参数的值。而使用泛型方法的时候,通常不必指明参数类型,因为编译器会为我们找出具体的类型。这成为类型参数推断(type argument inference)。
package com.test.generics;
class GenericsMethod{
public T print_hello_and_return_T(T args){
System.out.println("hello "+ args);
return args;
}
}
public class GenericsMethodDemo {
public static void main(String[] args) {
GenericsMethod genericsMethod = new GenericsMethod();
String return_str = genericsMethod.print_hello_and_return_T("world");
System.out.println(return_str);
System.out.println("-------------------------");
GenericsMethod genericsMethod_1 = new GenericsMethod();
genericsMethod_1.print_hello_and_return_T(2333);
}
}
4 参考资料
1、《Java编程思想》
2、Java泛型总结——吃透泛型开发
http://www.imooc.com/article/18159
3、Java泛型详解
https://zhuanlan.zhihu.com/p/28242753
服务器托管,北京服务器托管,服务器租用 http://www.fwqtg.net
机房租用,北京机房租用,IDC机房托管, http://www.fwqtg.net