java中的泛型浅析

泛型允许程序员在强类型程序设计语言中编写代码时使用一些以后才指定的类型，在实例化时作为参数指明这些类型。可以简化程序代码，降低程序日后的维护成本。

java中的泛型就像c++中的template，在最后放了c++中template的使用，有兴趣的可以看看。

先看两个例子：

package pc;
//  定义一个bug的兄弟 泛型八嘎类
class Baga {
    private T1 lala;  // T1类型的拉拉
    private T2[] duoduo;    // T2类型的多多集合

    Baga(){}  //空参构造

    Baga(T1 t){
        this.lala = t;
    }

    void setDuoduo(T2[] _duoduo){
        duoduo = _duoduo;
    }

    void setLala(T1 _lala){
        lala = _lala;
    }

    T1 getLala(){
        return lala;
    }
}

public class demo1 {
    public static void main(String[] args) {
        // 设T1为Integer类型  T2为String类型
        Baga baga0 = new Baga(); 
        Baga baga1 = new Baga<>();  // 可以省略后面<>中的内容 编译器可以自动推断类型 
        baga1.setLala(6);
        System.out.println(baga1.getLala());
        
        // 设 T1为Character
        Baga baga2 = new Baga<>();
        baga2.setLala('a');
        System.out.println(baga2.getLala());
    }
}
// 结果为 ：
// 6
// a

​

package pc;

public class demo2 {
    public  void myPrint(T lala){
        System.out.println(lala);
    }

    public static void main(String[] args) {
        demo2 d = new demo2();
        d.myPrint(5);
        d.myPrint(5);    //可以省略 编译器可以自动推断类型
    }
}

// 结果为 ：
// 5
// 5

• <>里一般是 T (Type)，也可以是别的，如E、K、V
• 常用的被泛型化的集合类：ArrayList, HashMap,HashSet,Vector
• 可以使用泛型声明一个数组，但不能使用泛型建立数组实例，private T[] array=new T[10]; 是错误的
• 泛型的类型参数只能是类类型，不能是简单类型，比如int就不行，得是Integer
• 可以继承泛型类和实现泛型接口，但是子类的泛型数量需要大于等于父类
• 单独的T 代表一个类型 ，而 Class代表这个类型所对应的类， Class<？>表示类型不确定的类

1、通过类型参数T的继承限制泛型类型：class 类名称

例：

class Limit{   // 这的Limit类的泛型类型必须是实现List接口的类型

}

public class demo3 {
    
    public static void main(String[] args){
        Limit l = new Limit(); //ArrayList实现了List接口，如果这是一个没有实现List的泛型类型则会报错
    }
}

2、通过类型通配符的继承限制泛型类型：泛型类名称

例：

class Limit1 {

}

public class demo4 {
    public static void main(String[] args) {
        Limit1 l = null;  // 限制泛型类型必须是实现了List接口的类型
        l = new Limit1();
//        l = new Limit1();  报错
    }
}

例：放置在参数中

public void setCombinerClass(Class cls) throws IllegalStateException {
  ensureState(JobState.DEFINE);
  conf.setClass(COMBINE_CLASS_ATTR, cls, Reducer.class);
}

• 使用通配符的声明的名称实例化的对象不能对其加入新的信息,只能获取或删除
• 上面都是向下限制，还可以向上限制，A a = null a只接受List接口或上层父类类型

=====================================================================================================

以前用c++写的

模板类：

#include 
using namespace std;


template
class Rect
{
public:
	Rect(T length, T height); 
    T calcArea();
    T calePerimeter();
    
	T m_length;
	T m_height;
};


template  //如果在类里直接写出函数体的话就不需要在声明一次 template 了
Rect::Rect(T length, T height)
{
	m_length = length;
	m_height = height;
}


template
T Rect::calcArea()
{
	return m_length * m_height;
}


template
T Rect::calePerimeter()
{
	return ( m_length + m_height) * 2;
}

int main(void)
{
	Rect rect(3, 6);
	cout << rect.calcArea() << endl;
	cout << rect.calePerimeter() << endl;
	return 0;
}

模板函数

#include
using namespace std;

template    // typename 和 class 效果一样
void display(T t, S s){
	cout<
void display(T t){
	cout<(6,'h');
	display(5,5);
	display(4);
}

本文部分参考《java从入门到精通》明日学院编著