06_Java泛型的限制 不能使用原始类型 不能使用静态域 不能转换类型 不能使用instanceof运算符 不能使用数组 不能使用异常

泛型的限制

泛型的类型参数T 不能使用原始类型,应该是用原始类型的包装类。

Box<int> stringBox = new Box<int>()

上面代码(Box类 参见之前的内容)类型参数T 必须修改为Integer才不会报错。

类型参数不能用于在方法中实例化其对象

public class GenericNoInstance {

    public static void main(String[] args) throws InstantiationException,
            IllegalAccessException {
        Box<String> stringBox = new Box<String>();
        add(stringBox, String.class);
    }

    //编译报错,不能使用实例
    public static <T> void add(Box<T> box) {
        // T item = new T();
        // box.add(item);
    }
    //非要实现实例,就是用反射(这样做 何必呢)
    public static <T> void add(Box<T> box, Class<T> clazz)
            throws InstantiationException, IllegalAccessException {
        T item = clazz.newInstance();
        box.setT(item);
        System.out.println("Item has been added.");
    }
}

不能使用静态域

使用泛型时,类型参数不允许为静态(static)。
由于静态变量在对象之间共享,因此编译器无法确定要使用的类型。

不能转换类型

本来类型都不确定,你转换个P哟。如果非要转换,就转换试试。但感觉没有必要。

错误示例:

Box<Integer> integerBox = new Box<Integer>();
Box<Number> numberBox = new Box<Number>();
//下面用法是错误的
integerBox = (Box<Integer>)numberBox;

使用无界通配符进行参数化,到时可以转换,但是没有必要。

private static void add(Box<?> box){
   Box<Integer> integerBox = (Box<Integer>)box;
}

不能使用instanceof运算符

不能使用数组

错误示例

Box<Integer>[] arrayOfLists = new Box<Integer>[2];

因为编译器使用类型擦除,类型参数被替换为Object,用户可以向数组添加任何类型的对象。但在运行时,代码将无法抛出ArrayStoreException。

不能使用异常

通用类不允许直接或间接扩展Throwable类。

//The generic class Box<T> may not subclass java.lang.Throwable
class Box<T> extends Exception {}

//The generic class Box<T> may not subclass java.lang.Throwable
class Box1<T> extends Throwable {}

在一个方法中,不允许捕获一个类型参数的实例

public static <T extends Exception, J> 
   void execute(List<J> jobs) {
      try {
         for (J job : jobs){}

         // compile-time error
         //Cannot use the type parameter T in a catch block
      } catch (T e) { 
         // ...
   }
}

throws子句中允许使用类型参数。

class Box<T extends Exception>  {
   private int t;

   public void add(int t) throws T {
      this.t = t;
   }

   public int get() {
      return t;
   }   
}
  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论
Java中,泛型是一种强类型机制,它可以让你在编译时检查类型错误,从而提高代码的安全性和可读性。在使用泛型时,我们经常会遇到父类和子类的泛型转换问题。 首先,我们需要明确一点:子类泛型不能转换成父类泛型。这是因为Java中的泛型是不协变的。例如,如果有一个类A和它的子类B,那么List<A>和List<B>之间是不存在继承关系的。 下面我们来看一个例子: ```java public class Animal { //... } public class Dog extends Animal { //... } public class Test { public static void main(String[] args) { List<Animal> list1 = new ArrayList<>(); List<Dog> list2 = new ArrayList<>(); list1 = list2; // 编译错误 } } ``` 在这个例子中,我们定义了Animal类和它的子类Dog。然后我们定义了两个List,分别是List<Animal>和List<Dog>。如果将List<Dog>赋值给List<Animal>,会出现编译错误。这是因为List<Animal>和List<Dog>之间不存在继承关系。 那么,如果我们想要让子类泛型转换成父类泛型,应该怎么办呢?这时我们可以使用通配符来解决问题。通配符可以表示任意类型,包括父类和子类。例如,我们可以将List<Dog>赋值给List<? extends Animal>,这样就可以实现子类泛型转换成父类泛型了。 下面我们来看一个使用通配符的例子: ```java public class Animal { //... } public class Dog extends Animal { //... } public class Test { public static void main(String[] args) { List<Animal> list1 = new ArrayList<>(); List<Dog> list2 = new ArrayList<>(); list1 = list2; // 编译错误 List<? extends Animal> list3 = new ArrayList<>(); list3 = list2; // 正确 } } ``` 在这个例子中,我们定义了List<? extends Animal>来表示任意继承自Animal的类型。然后我们将List<Dog>赋值给List<? extends Animal>,这样就可以实现子类泛型转换成父类泛型了。 总结一下,Java中的泛型是不协变的,子类泛型不能转换成父类泛型。如果需要实现子类泛型转换成父类泛型,可以使用通配符来解决问题。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

EngineerForSoul

你的鼓励是我孜孜不倦的动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值