Bootstrap

C++程序员学Java系列之三四:泛型

假定我们有这样一个需求:写一个排序方法,能够对整型数组、字符串数组甚至其他任何类型的数组进行排序,该如何实现?

答案是: Java 泛型

泛型方法

你可以写一个泛型方法,该方法在调用时可以接收不同类型的参数。根据传递给泛型方法的参数类型,编译器适当地处理每一个方法调用。

下面是定义泛型方法的规则:

  • 1)所有泛型方法声明都有一个类型参数声明部分(由尖括号分隔),该类型参数声明部分在方法返回类型之前(在下面例子中的<E>)。
  • 2)每一个类型参数声明部分包含一个或多个类型参数,参数间用逗号隔开。一个泛型参数,也被称为一个类型变量,是用于指定一个泛型类型名称的标识符。
  • 3)类型参数能被用来声明返回值类型,并且能作为泛型方法得到的实际参数类型的占位符。
  • 4)泛型方法体的声明和其他方法一样。注意类型参数只能代表引用型类型,不能是原始类型(像int,double,char的等)。

实例

public class JavaTest {

	public static void main(String[] args) {
		// TODO Auto-generated method stub
		Integer[] intArray = { 1, 2, 3, 4, 5 };
		Double[] doubleArray = { 1.1, 2.2, 3.3, 4.4 };
		Character[] charArray = { 'A', 'B', 'C' };

		printArray(intArray);
		printArray(doubleArray);
		printArray(charArray);
		
		System.out.println(maximum(1,2,3));
		System.out.println(maximum(1.1,2.2,3.3));
		System.out.println(maximum("bbb","ccc","aaa"));
	}

	public static <E> void printArray(E[] inputArray) {

		for (E element : inputArray) {
			System.out.printf("%s ", element);
		}
		System.out.println();
	}
        //有界的类型参数
	public static <T extends Comparable<T>> T maximum(T x, T y, T z) {

		T max = x;
		if (y.compareTo(max) > 0) {
			max = y;
		}

		if (z.compareTo(max) > 0) {
			max = z;
		}

		return max;
	}
}
输出:
1 2 3 4 5 
1.1 2.2 3.3 4.4 
A B C 
3
3.3
ccc

泛型类

泛型类的声明和非泛型类的声明类似,除了在类名后面添加了类型参数声明部分。

和泛型方法一样,泛型类的类型参数声明部分也包含一个或多个类型参数,参数间用逗号隔开。一个泛型参数,也被称为一个类型变量,是用于指定一个泛型类型名称的标识符。因为他们接受一个或多个参数,这些类被称为参数化的类或参数化的类型。

实例

public class Test<T> {

	private T t;
	
	public T getT() {
		return t;
	}

	public void setT(T t) {
		this.t = t;
	}

	public static void main(String[] args) {
		// TODO Auto-generated method stub
	
		Test<Integer> integerTest = new Test<Integer>();
		Test<String> stringTest = new Test<String>();
		
		integerTest.setT(new Integer(10));
		stringTest.setT(new String("你好"));
		
		System.out.printf("Int:%d\n\n", integerTest.getT());
		System.out.printf("Str:%s\n\n", stringTest.getT());
	}
}
输出:
Int:10

Str:你好

类型通配符

1、类型通配符一般是使用?代替具体的类型参数。

例如 List<?> 在逻辑上是List<String>,List<Integer> 等所有List<具体类型实参>的父类。

实例

import java.util.ArrayList;
import java.util.List;

public class JavaTest<T> {

	public static void main(String[] args) {
		// TODO Auto-generated method stub
		
		List<String> name = new ArrayList<String>();
		List<Integer> age = new ArrayList<Integer>();
		List<Number> number = new ArrayList<Number>();
		
		name.add("icon");
		age.add(18);
		number.add(314);
		
		getData(name);
		getData(age);
		getData(number);
		
		System.out.println("------------------分割线------------------------");
		
		

		//getUperNumber(name); // 参数类型错误
		getUperNumber(age);
		getUperNumber(number);
		
		//getSuperNumber(name);// 参数类型错误
		//getSuperNumber(age); // 参数类型错误
		getSuperNumber(number);
		
	}
	
	public static void getData(List<?> data){
		System.out.println("data:"+ data.get(0));
	}
	
	public static void getUperNumber(List<? extends Number> data){
		System.out.println("data:" + data.get(0));
	}
	
	public static void getSuperNumber(List<? super Number> data){
		System.out.println("data:" + data.get(0));
	}
}
注意:

 1)因为getDate()方法的参数是List类型的,所以name,age,number都可以作为这个方法的实参,这就是通配符的作用

 2)类型通配符上限通过形如List来定义

     List<? extends Number> data表示通配符泛型值只能接受Number及其下层子类类型。

     List<? super Number> data     表示类型通配符泛型值只能接受Number及其上层父类类型。



;