Java类型限界

Posted 2022-09-14 张章章Sam

public class LXXJ 
    /** 
     * 假设我们要编写一个findMax历程，下面代码中，由于编译器不能证明在第六行上对CompareTO的调用是合法的，
     * 因此，程序不能正常运行，只有在anytype是Comparable的情况下才能保证comparaTo的存在，我们可以使用
     * 类型限界（type bound）解决这个问题，类型限界在见括号内指定，他制定参数类型必须是具有的性质
     * 一种自然的想法就是把性质改写为
     * public static <AnyType extends Comparable>...*/
//    public static  <AnyType> AnyType findMax(AnyType[] arr)
//        int maxIndex = 0;
//        for (int i = 0; i <arr.length ; i++) 
//            if(arr[i].compareTo(arr[maxIndex])>0)
//                maxIndex=i;
//        
//        return arr[maxIndex];
//    
    //泛型static方法查找一个数据中的最大元素，该方法不能正常运行
    /**
     * 因为Comparable接口如今是泛型的，所以这种做法很自然，虽然这个程序能够被编译，但更好的做法是
     * public static <AnyType extends Comparable<AnyType>>...
     * 然而这个做法还是不能让人满意，为了看清这个问题，假设Shape实现Comparable<Shape>，设Shape继承Shape，我们知道了只是i
     * Square实现Comparable<Shape>，于是Square IS-A Comparable<Shape> 但它 IS-NOT-A Compatable<Shape>
     * 应该说 AnyType IS-A Comparable<T>，其中，T是 AnyType的父类，由于我们不需要知道准确的类型T ,因此可以使用
     *通陪符，结果就是
     * public static <AnyType extends Comparable<? super AnyType>>
     * 显示findMa的实现，编译器将将接受类型T的数组，只是使得T实现Comparable<S>接口，其中 T IS-A S ,当然界限声明看起来
     * 有些混乱，幸运的事，我们将不会看到任何比这种更复杂的用于
     *
     */
     public static <AnyType extends Comparable<? super AnyType>> AnyType findMax(AnyType[] arr)
         int maxIndex=0;
         for (int i = 0; i <arr.length; i++) 
             if(arr[i].compareTo(arr[maxIndex])>0)
                 maxIndex=i;
         
         return arr[maxIndex];
     //在一个数组中 找出最大元的泛型static方法，来说名类型参数的限界