java泛型之三——参数泛型上下限

class A {
}
class B extends A implements Comparable<B>{
	@Override
	public int compareTo(B o) {
		return 0;
	}
}
class B1 extends B {
}
interface Inf1 {
}
class C implements Inf1 {
}
class D extends A implements Inf1 {
}
class Point<T,M,K> {
	public T x;
	public M y;
	public K k;
}
class Test {
	/**强制要求show1参数Point对象被创建时，指定泛型
	 * T为A类(及其子类);
	 * M为Inf1(及其实现类)
	 * K为B(及其子类)
	 * */
	public void show1(Point<? extends A, ? extends Inf1, ? super B> p) { 
	}
	public static void main(String[] args) {
		Point<A,Inf1,B> p1 = new Point<A,Inf1,B>();
		Point<D,D,A> p2 = new Point<D,D,A>();
		Point<A,B,C> p3 = new Point<A,B,C>();
		Test test = new Test();
		/**对*/
		test.show1(p1);
		/**对*/
		test.show1(p2);
		/**错，应为创建对象p3时,指定的M的泛型为B类,不符合show1函数中强制要
		 *     求的M为Inf1(及其实现类)
		 *     并且指定的C类也不符合show1函数强制要求的K为B(及其父类)
		 *     */
        test.show1(p3);
	}
}
class Dog<F> {
	public F x;
	/**强制要求show1参数Point对象被创建时，指定泛型
	 * T为F及其子类(包括接口)
	 * M为F及其父类(包括接口)
	 * K为F及其子类(包括接口)
	 * */
	public void show1(Point<? extends F, ? super F, ? extends F> p) {
	}
	/**
	 * 强制要求show1参数Point对象被创建时，指定泛型
	 * T为F及其子类(包括接口)
	 * M为F及其父类(包括接口)
	 * K为Comparable的实现类，并且是F及其父类(包括接口)，即上限是Comparable,下限是F
	 */
	public void show2(Point<? extends F, ? super F, ? extends Comparable<? super F>>  p) {
	}
	/**
	 * 下面代码中Dog<B>使得F为B类创建对象p时符合:
	 * (1)B1为B的子类——对应T为F及其子类;
	 * (2)A为B及其父类——对应M为F及其父类;
	 * (3)B为Comparable的实现类，并且是B的父类——对应K为Comparable的实现类，并且是F及其父类;
	 * 所以对象p可以使用show2函数的参数
	 */
	public static void main(String[] args) {
		Dog<B> dog = new Dog<B>();
		Point<B1,A, B> p = new Point<B1,A, B>();
		dog.show2(p);
	}
}