Java类型限界

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方法,来说名类型参数的限界

}
评论 2
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值