Java特性 . 泛型

1. 什么是泛型？

泛型现在几乎是所有主流强类型编程语言的标配，它允许我们在编写代码时定义一些可变的部分，从而最大化复用代码，提高软件开发效率。
我们来看看 C++, C#, Java 的泛型特性。

1.1 C++ 泛型

C++泛型是通过模板实现的，模板类和模板函数是非常常用的泛型特性。C++11泛型还引入了新特性模板特化，有兴趣同学可以去了解下。

template<typename T>
T add(T t1, T t2) {
    return t1 + t2;
}

---

template <class K,class V>
class KeyValueSet
{
public:
    std::map<K,V> kvMap;
    KeyValueSet() { };
    void set(K k, V v);
    V get(K k);
};
template<class K,class V>
void KeyValueSet<K,V>::set(K k, V v) {
    kvMap[k] = v;
}
template<class K,class V>
V KeyValueSet<K,V>::get(K k) {
    return kvMap[k];
}

---

1.2 C# 泛型

C#泛型也主要是模板类和模板函数的特性。

public static T add<T>(T a, T b) {
    return a + b;
}

---

public class MyArray<T>
{
    private T[] array;
    public MyArray(int size)
    {
        array = new T[size + 1];
    }

    public void set(int index, T value)
    {
        array[index] = value
    }

    public T get(int index)
    {
        return array[index];
    }
}

---

1.3 Java 泛型

Java泛型设计与前两种语言基本一致，在 JDK1.5 版本就已经支持泛型特性。

public static <T> T getInstance(Class<T> clazz) {
    return clazz.newInstance();
    // java11 之后使用
    // return clazz.getDeclaredConstructor().newInstance();
}

---

class MyArray<T> {
    private T[] array;
    public MyArray(int size) {
        array = new T[size + 1];
    }
    public void set(int index, T value) {
        array[index] = value;
    }
    public T get(int index) {
        return array[index];
    }
}

---

Java 泛型特性 <?>

从上面的简单代码示例我们了解到，泛型提供了程序的类型安全且向后兼容，但有一个明显的不足，就是一个泛型类的泛型一旦定义就是固定的。所以在 JAVA7 增加了泛型的类型推导。

类型推导示例

List<String> lst = new ArrayList<>();

ArrayList 的元素类型会被推导为 String，更宽泛的写法如下，但我们不建议按以下方式书写代码，避免引起类型错误导致的程序问题。

List lst = new ArrayList<>();
lst.add("China");
lst.add(123);

来讲讲通配符 ?

简单的来理解 Class<?> 就是指任意 Java 类型

Class<? extends T> 和 Class<? super T>

Class<? extends T> 是上界通配符，Class<? super T> 是下界通配符

public abstract class Animal {
    public abstract void run();
}

public class Dog extends Animal {
    @Override
    public void run() {
        System.out.println("dog run");
    }
}

public class WhiteDog extends Dog {
    @Override
    public void run() {
        System.out.println("white dog run");
    }
}

public class RedDog extends Dog {
    @Override
    public void run() {
        System.out.println("red dog run");
    }
}

测试代码如下：

// Home<? extends Dog> 是 Home<Dog>, Home<WhiteDog>, Home<RedDog> 的基类，但不是 Home<Animal> 的基类
Home<? extends Dog> home1 = new Home<WhiteDog>(new WhiteDog());
// Home<? extends Dog> home11 = new Home<Animal>(new WhiteDog()); // 错误
// home1.set(new WhiteDog()); // 错误
Dog dog1 = home1.get();
dog1.run();

// Home<? extends Dog> 是 Home<Dog>和 Home<Animal> 的基类,  但不是 Home<WhiteDog>, Home<RedDog> 的基类
Home<? super Dog> home2 = new Home<Animal>(new WhiteDog());
// Home<? super Dog> home22 = new Home<WhiteDog>(new WhiteDog()); // 错误
home2.set(new RedDog());
Dog dog2 = (Dog) home2.get();
dog2.run();