java wildcard_Java 泛型(二) 泛型之中的通配符(Wildcards)使用

泛型之中的通配符(Wildcards)使用

限制泛型可用类型

在定义泛型类别时,预设可以使用任何的类型来实例化泛型类型中的类型。

但是如果想限制使用泛型类别时,只能用某个特定类型或者是其子类型才能实例化该类型时,可以在定义类型时,使用extends关键字指定这个类型必须是继承某个类,或者实现某个接口,也可以是这个类或接口本身。

比如下面的例子:

importjava.util.ArrayList;importjava.util.HashMap;importjava.util.LinkedList;importjava.util.List;public class ListGenericFoo{privateT[] fooArray;publicT[] getFooArray()

{returnfooArray;

}public voidsetFooArray(T[] fooArray)

{this.fooArray =fooArray;

}public static voidmain(String[] args)

{

ListGenericFoo foo1 = new ListGenericFoo();

ListGenericFoo foo2 = new ListGenericFoo();//Error: Bound mismatch//ListGenericFoo foo3 = new ListGenericFoo();

LinkedList[] linkedLists= new LinkedList[10];

foo1.setFooArray(linkedLists);

ArrayList[] arrayLists= new ArrayList[10];

foo2.setFooArray(arrayLists);

}

}

类声明中:public class ListGenericFoo

这样就规定了T必须是一个List继承体系中的类,即实现了List接口的类。

此处注意,虽然List是一个接口,但是关键字仍然是extends而不是implements。

并且这个List也可以后加括号指明类型,如List等。

当没有指定泛型继承的类型或接口时,默认使用T extends Object,所以默认情况下任何类型都可以作为参数传入。

当不使用泛型时,比如那些声明时带有的集合类型,如果使用时没有指定类型,泛型类别为Object。不会报错,但是会有警告。

extends SomeClass>是一个限界通配符(bounded wildcard),?代表了一个未知的类型,并且它是SomeClass的子类,也可以是SomeClass本身。

这里面SomeClass是统配符的上界(upper bound of the wildcard)。

相应的也有限定下界的,使用关键字super。

通配符所代表的其实是一组类型,但具体的类型是未知的。

类型通配声明

看下面的代码:

GenericFoo foo1 = null;

GenericFoo foo2 = null;//此时foo1只能接受GenericFoo类型的实例,foo2只能接受GenericFoo类型的实例

如果希望有一个变量foo可以指向下面所有的实例:

//foo = new GenericFoo();//foo = new GenericFoo();

可以这样声明:

GenericFoo extends List> foo = null;

foo= new GenericFoo();

foo= new GenericFoo();

注意这种形式不同于前面的限制泛型可用类型时提到的形式。

前面提到的形式是在声明泛型的类的时候限制了可以用的泛型类型,而现在这种形式是在使用的时候限制了引用的类型,使得引用指向继承了某一个类或接口的类型。

如果该应用指向其他类型,则会编译报错:

//Error:Type mismatch

foo= new GenericFoo();

也可以限制引用指向某个类或接口的继承层次之上的类或接口:

比如:

//引用指向继承层次之上

GenericFoo super List> ge= null;

ge= new GenericFoo();

使用>或是 extends SomeClass>的声明方式,意味着您只能通过该名称来取得所参考的实例的信息,或者是移除某些信息,但不能增加或者改写它的信息。

因为只知道当中放置的是SomeClass的子类,但不确定是什么类的实例,编译器不让您加入信息,理由是,如果可以加入信息的话,那么您就得记得取回的是什么类型的实例,然后转换为原来的类型方可进行操作,这样就失去了使用泛型的意义。

另,GenericFoo extends Object>等价于GenericFoo>,但是它们与GenericFoo不同,因为GenericFoo限定了类型为Object。

参考资料

张龙老师Java SE视频教程。

The Java Tutorials : Lesson: Generics (Updated)

Lesson: Generics

Wildcards

Java深度历险值Java泛型

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

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

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值