java泛型编程

时间:2021-12-23 19:37:32

一般的类和方法都是针对特定数据类型的,当写一个对多种数据类型都适用的类和方法时就需要使用泛型编程,java的泛型编程类似于C++中的模板,即一种参数化类型的编程方法,具体地说就是将和数据类型相关的信息抽象出来,主要提供通用的实现和逻辑,和数据类型相关的信息由使用时参数决定。

一.泛型类:

  • 栈的实现

示例代码:

package com.genericity;

import org.junit.Test;

/**
* @Title: LinkedListStack.java
* @Package com.genericity
* @Description: 编写一个泛型栈(链表式)
* @author lky
* @date 2015年10月17日 下午8:34:07
* @version V1.0
*/
public class LinkedListStack<T> { /**
* @Title: LinkedListStack.java
* @Package com.genericity
* @Description:定义栈中的节点类型
* @author lky
* @date 2015年10月17日 下午8:38:51
* @version V1.0
*/
private static class Node<U>{
U item;
Node<U> next; Node(){
this.item=null;
this.next=null;
}
Node(U item,Node<U>next){
this.item=item;
this.next=next;
} boolean isEmpty(){
return item==null && next==null;
} } private Node<T> top=new Node<T>();//栈顶指针 public void push(T item){ //入栈
top=new Node<T>(item,top);
} public T pop(){ //出栈
T result=top.item;
if(!top.isEmpty()){
top=top.next;
}
return result;
} }

测试:

package com.genericity;

import org.junit.Test;

public class testLinkedListStack {
@Test
public void testPush(){
LinkedListStack<String> aLinkedListStack=new LinkedListStack<String>();
aLinkedListStack.push("lky");
aLinkedListStack.push("aaaa");
String res=aLinkedListStack.pop();
while(res!=null){
System.out.println(res);
res=aLinkedListStack.pop();
}
}
}

二.泛型方法:

package com.genericity;

import java.util.ArrayList;
import java.util.Date; import org.junit.Test; public class GenericMethods { /**
* @Title: getType
* @Description: 返回任意数组的数据类型
* @param item
*/
public <T> String getType(T item){
return item.getClass().getName();
} @Test
public void test(){
System.out.println(new GenericMethods().getType(new Date()));
System.out.println(new GenericMethods().getType(1));
System.out.println(new GenericMethods().getType("lky"));
System.out.println(new GenericMethods().getType(new ArrayList<String>()));
}
}

三.泛型集合:

  1. java容器默认存放Object类型对象,如果一个容器中即存放有A类型对象,又存放有B类型对象,如果用户将A对象和B对象类型弄混淆,则容易产生转换错误,会发生类型转换异常。
  2. 如果用户不知道集合容器中元素的数据类型,同样也可能会产生类型转换异常。

鉴于上述的问题,java5中引入了泛型机制,在定义集合容器对象时显式指定其元素的数据类型,在使用集合容器时,编译器会检查数据类型是否和容器指定的数据类型相符合,如果不符合在无法编译通过,从编译器层面强制保证数据类型安全。

示例代码:

package com.genericity;

import java.util.ArrayList;
import java.util.HashMap;
import java.util.HashSet;
import java.util.LinkedList;
import java.util.List;
import java.util.Map;
import java.util.Queue;
import java.util.Set; import org.junit.Test; public class New { public <k, v> Map<k, v> map() {
return new HashMap<k, v>();
} public <T> List<T> list() {
return new ArrayList<T>();
} public <T> LinkedList<T> linkList() {
return new LinkedList<T>();
} public <T> Set<T> set() {
return new HashSet<T>();
} public <T> Queue<T> queue() {
return new LinkedList<T>();
} @Test
public void test(){
New new1=new New();
Map<String, LinkedList<String>> lisMap=new1.map();
}
}
  • 数学中集合的实现

代码实现:

package com.genericity;

import java.util.HashSet;
import java.util.Set; import org.junit.Test; public class Sets { /**
* @Title: union
* @Description: 集合的并集
* @throws
*/
public static <T> Set<T> union(Set<T> a,Set<T> b){
Set<T> set=new HashSet<T>(a);
set.addAll(b);
return set;
} /**
* @Title: intersetion
* @Description: 集合交集
*/
public static <T> Set<T> intersetion(Set<T>a,Set<T> b){
Set<T> set=new HashSet<T>(a);
set.retainAll(b);
return set; }
/**
* @Title: difference
* @Description: 集合差集
*/
public static <T> Set<T> difference(Set<T>a, Set<T> b){
Set<T> set=new HashSet<T>(a);
set.removeAll(b);
return set;
} public static <T> Set<T> complement(Set<T>a,Set<T> b){
return difference(union(a, b), intersetion(a, b));
} @Test
public void test(){
HashSet<Integer> a=new HashSet<Integer>();
HashSet<Integer> b=new HashSet<Integer>();
for(int i=0;i<8;++i){
if(i<5)a.add(i);
if(i>2) b.add(i);
} System.out.println(union(a, b).toString());
System.out.println(difference(a, b).toString());
System.out.println(intersetion(a, b).toString());
System.out.println(complement(a, b).toString());
} }

四.泛型边界

上边界:

  • Java泛型编程中使用extends关键字指定泛型参数类型的上边界,即泛型只能适用于extends关键字后面类或接口的子类。
  • Java泛型编程的边界可以是多个,使用如<T extends A & B & C>语法来声明,其中只能有一个是类,并且只能是extends后面的第一个为类,其他的均只能为接口(和类/接口中的extends意义不同)。
  • 使用了泛型边界之后,泛型对象就可以使用边界对象中公共的成员变量和方法。

下边界:

  • 通过T Super A限制了T元素只能是A的父类。

五.泛型通配符

  • 泛型通配符”?”

一个比较经典泛型通配符的例子如下:

public class SampleClass < T extends S> {…}

假如A,B,C,…Z这26个class都实现了S接口。我们使用时需要使用到这26个class类型的泛型参数。那实例化的时候怎么办呢?依次写下

SampleClass<A> a = new SampleClass();

SampleClass<B> a = new SampleClass();

SampleClass<Z> a = new SampleClass();

这显然很冗余,还不如使用Object而不使用泛型,使用通配符非常方便:

SampleClass<? Extends S> sc = newSampleClass();

六.无边界的通配符

  • 泛型的通配符也可以不指定边界,没有边界的通配符意思是不确定参数的类型,编译时泛型檫除类型信息,认为是Object类型
  • List和List<?>的区别是:List是一个原始类型的List,它可以存放任何Object类型的对象,不需要编译时类型检查。List<?>等价于List<Object>,它不是一个原始类型的List,它存放一些特定类型,只是暂时还不确定是什么类型,需要编译时类型检查。因此List的效率要比List<?>高。
  • 具体讲解见http://blog.csdn.net/chjttony/article/details/6801406