java中什么时候不能用泛型_java中泛型的正确使用姿势

image.png

泛型是Java中一个非常重要的知识点,在Java集合类框架中泛型被广泛应用。利用好泛型,在系统架构中是一把利器。

泛型类

先看一个例子,restful架构中,需要定义api接口返回结构,定义如下:

package com.company.project.core;

import com.alibaba.fastjson.JSON;

/**

* 统一API响应结果封装

*/

public class Result {

private int code;

private String message;

private Object data;

public Result setCode(ResultCode resultCode) {

this.code = resultCode.code;

return this;

}

public int getCode() {

return code;

}

public Result setCode(int code) {

this.code = code;

return this;

}

public String getMessage() {

return message;

}

public Result setMessage(String message) {

this.message = message;

return this;

}

public Object getData() {

return data;

}

public Result setData(Object data) {

this.data = data;

return this;

}

@Override

public String toString() {

return JSON.toJSONString(this);

}

}

这是最常见的做法,这样做的一个坏处是消息体data的元素我们不知道是什么类型,需要强制转换,另外如果用swagger的话,在线文档解析不出data具体的字段内容,api接口使用者不知道应该怎么解决这个data对象,使用泛型可以很好的解决这个问题。

package cn.watchvip.mall.common.core;

import com.alibaba.fastjson.JSON;

/**

* 统一API响应结果封装

*/

public class Result {

private int code;

private String msg;

private T data;

public Result setCode(ResultCode resultCode) {

this.code = resultCode.code;

return this;

}

public int getCode() {

return code;

}

public Result setCode(int code) {

this.code = code;

return this;

}

public String getMsg() {

return msg;

}

public Result setMsg(String msg) {

this.msg = msg;

return this;

}

public T getData() {

return data;

}

public Result setData(T data) {

this.data = data;

return this;

}

@Override

public String toString() {

return JSON.toJSONString(this);

}

}

泛型方法

泛型方法只需要在方法签名的返回值前加一个类似形式即可,我们拿jdk中Collections工具类中的方法加以说明

获取一个空集合:

public static final List emptyList() {

return (List) EMPTY_LIST;

}

获取一个空Map

public static final Map emptyMap() {

return (Map) EMPTY_MAP;

}

这样就可以获取任何类型的空集合了,如下:

List emptyList = Collections.emptyList();

Map emptyMap = Collections.emptyMap();

边界符 >

掌握了泛型类与泛型方法基本能满足大部分开发中的需要了,但还远不够,考虑这样一个需求,查找一个泛型数组中大于某个特定元素的个数,我们可以通过泛型方法这样实现:

public static int countGreaterThan(T[] anArray, T elem) {

int count = 0;

for (T e : anArray)

if (e > elem) // compiler error

++count;

return count;

}

但是这样很明显是错误的,因为除了short, int, double, long, float, byte, char等原始类型,其他的类并不一定能使用操作符>,所以编译器报错,那怎么解决这个问题呢?答案是使用边界符。

public interface Comparable {

public int compareTo(T o);

}

做一个类似于下面这样的声明,这样就等于告诉编译器类型参数T代表的都是实现了Comparable接口的类,这样等于告诉编译器它们都至少实现了compareTo方法。

public static > int countGreaterThan(T[] anArray, T elem) {

int count = 0;

for (T e : anArray)

if (e.compareTo(elem) > 0)

++count;

return count;

}

通配符 extends T>

不能往里存,只能往外取

在讨论通配符之前,我们设想一下如果我们考虑实现一个可以对int,flow,bouble类型都可以进行做加法的方法,我想90%的人都会写出以下方法

public static void add(Collection c){

}

public static void main(String[] args) {

List integers = Arrays.asList(1, 2, 3);

List doubles = Arrays.asList(1.1, 2.1);

add(integers);//不允许

add(doubles);//不允许

}

众所周知,java是可以向上转型的,这也是我们面向接口编程的基础,如下:

List list = new ArrayList();

list = new LinkedList<>();

但泛型却是不支持向上转的,

List list = new ArrayList(); //编译不通过

虽然Integer是Number的子类,但在泛型中,两个是完全没有关系的。

add方法中的参数Collection按我们熟悉的继承,不是可以传入Collection,Collection么?答案是否定的,虽然,Integer和Double都是Number的子类,但在泛型中,Collection与Collection,Collection没有任何关系。那么如果我们确实需要建立这种 “向上转型” 的关系怎么办呢?这就需要通配符来发挥作用了。即告诉编译器,使用者可以传入Collection,也可以传入Collection,利用 extends Number> 形式的通配符,就可以实现泛型的向上转型:

public static void add(Collection extends Number> c){

}

public static void main(String[] args) {

List integers = Arrays.asList(1, 2, 3);

List doubles = Arrays.asList(1.1, 2.1);

add(integers);

add(doubles);

}

通配符

只能往里存,不能往外取

其它

List,List,List>的区别

List>,也就是没有任何限定。不做任何限制,跟不用类型参数的 List 有什么区别呢?

List> list 表示 list 是持有某种特定类型的 List,但是不知道具体是哪种类型。那么我们可以向其中添加对象吗?当然不可以,因为并不知道实际是哪种类型,所以不能添加任何类型,这是不安全的。而单独的 List list ,也就是没有传入泛型参数,表示这个 list 持有的元素的类型是 Object,因此可以添加任何类型的对象,只不过编译器会有警告信息。

你可能感兴趣的:(java中什么时候不能用泛型)