package com.java3y.austin.test;


abstract class A{
    public abstract void test();
}

class B extends A{
    B(){
        System.out.println("B的构造函数");
    }

    @Override
    public void test(){
        System.out.println("B的test函数");
    }
}

class C extends A{
    C(){
        System.out.println("C的构造函数");
    }

    @Override
    public void test() {
        System.out.println("C的test函数");
    }
}

    class D<T extends A>{
    T t;
    D(){

    }
    D(T t){
        this.t = t;
        System.out.println("D的有参构造函数");
    }
    public void test(T t) {
        System.out.println(t.getClass());
        System.out.println("D的test函数");
    }
}

public class Demo {
    public static void main(String[] args) {
//        D ad = new D<>();
        D<A> ad = new D<>();
        ad.test(new B());
        ad.test(new C());
    }
}

Java 泛型（generics）是 JDK 5 中引入的一个新特性, 泛型提供了编译时类型安全检测机制，该机制允许程序员在编译时检测到非法的类型。
类型通配符一般是使用 ? 代替具体的类型参数
要声明一个有界的类型参数，首先列出类型参数的名称，后跟extends关键字，最后紧跟它的上界。
泛型作用：

• 参数化数据类型，提供编译时数据类型安全检测机制

泛型参数在编译和运行时候的状态？