【什么是泛型,有什么好处】

✅什么是泛型,有什么好处

✅典型回答

Java泛型(generics)是JDK 5中引入的一个新特性,允许在定义类和接口的时候使用类型参数(typeparameter)。声明的类型参数在使用时用具体的类型来替换。泛型最主要的应用是在JDK 5中的新集合类框架中。

泛型的好处有两个:

1、方便: 可以提高代码的复用性。以List接口为例,我们可以将String、Integer等类型放入List中,如不用泛型,存放String类型要写一个List接口,存放Integer要写另外一个List接口,泛型可以很好的解决这个问题。

2、安全: 在泛型出之前,通过Object实现的类型转换需要在运行时检查,如果类型转换出错,程序直接GG,可能会带来毁灭性打击。而泛型的作用就是在编译时做类型检查,这无疑增加程序的安全性。

✅泛型是如何实现的

Java中的泛型通过类型擦除的方式来实现,通俗点理解,就是通过语法糖的形式,在java->.class转换的阶段,将List擦除调转为List的手段。换句话说,Java的泛型只在编译期,Jm是不会感知到泛型的。

✅什么是类型擦除?

类型擦除是Java在处理泛型的一种方式,如Java的编译器在编译以下代码时:

java 复制代码
public class Foo<T> {
	T bar;
	void doSth(T param) {
		
	}
};
Foo<String> f1;
Foo<Integer> f2;

在编译后的字节码文件中,会把泛型的信息擦除掉:

java 复制代码
public class Foo {
	Object bar;
	void dosth(Object param) {
	}
};

也就是说,在代码中的Foo 和 Foo使用的类,经过编译后都是同一个类。

所以说泛型技术实际上是Java语言的一颗语法糖,因为泛型经过编译器处理之后就被擦除了。

这种擦除的过程,被称之为一类型擦除。所以类型擦除指的是通过类型参数合并,将泛型类型实例关联到同一份字节码上。编译器只为泛型类型生成一份字节码,并将其实例关联到这份字节码上。类型擦除的关键在于从泛型类型中清除类型参数的相关信息,并且在必要的时候添加类型检查和类型转换的方法。

类型擦除可以简单的理解为将泛型iava代码转换为普通iava代码,只不过编译器更直接点,将泛型iava代码直接转换成普通iava字节码。

📝C语言对泛型的支持

泛型是一种编程范式,在不同的语言和编译器中的实现和支持方式都不一样。

通常情况下,一个编译器处理泛型有多种方式,在C++中,当编译器对以下代码编译时。

java 复制代码
template <typename T> struct Foo {
	T bar;
	void doSth(T param) {
		
	}
};

Foo<int> f1;
Foo<float> f2;

当编译器对其进行编译时,编译器发现要用到Foo和Foo,这时候就会为每一人泛型类新生成一份执行代码。相当于新创建了如下两个类:

java 复制代码
struct FooInt {
	int bar;
	void doSth(int param) {
	}
};

struct FooFloat {
	float bar;
	void doSth(float param) {
	}
};

这种做法,用起来的时候很方便,只需要根据具体类型找到具体的的类和方法就行了。但是问题是,当我们多次使用不同类型的模板时,就会创建出来的很多新的类,就会导致代码膨胀。

📝泛型擦除的缺点有哪些?

1.泛型不可以重载

2.泛型异常类不可以多次catch

3.泛型类中的静态变量也只有一份,不会有多份。

✅对泛型通配符的理解

📝泛型中上下界限定符 extends 和 super 有什么区别?

<? extends T>表示类型的上界,表示参数化类型的可能是T 或是 T的子类。

java 复制代码
// 定义一个泛型方法,接受任何继承自Number的类型
public <T extends Number> void processlumber(T number) {
	// 在这个方法中,可以安全地调用Number的方法
	double value = number .doubleValue( );
	// 其他操作...
}

<? super T> 表示类型下界 (Java Core中叫超类型限定),表示参数化类型是此类型的超类型 (父类型),直至Obiect

java 复制代码
//定义一个泛型方法,接受任何类型的List,并向其中添加元素
public <T> void addElements(List<? super T> list, T element) {
	list.add(element);
	// 其他操作...
}

在使用限定通配符的时候,需要遵守PECS原则,即producer Extends,Consumer Super; 上界生产,下界消费。

如果要从集合中读取类型T的数据,并目不能写入,可以使用 ? extends 通配符;(Producer Extends),如上面的processNumber方法。

使用extends 的时候是可读取不可写入,那为什么叫上界生产呢?

答:因为这个消费者/生产者描述的<集合>,当我们从集合读取的时候,集合是生产者。

如果既要存又要取,那么就不需要使用任何的通配符。

✅List<?>,List,List之间的区别?

1、List<?>是一个末知类型的List,而List < object> 其实是任意类型的List。可以把List< String>,List< Integer>赋值给List<?>,却不能把List< String>赋值给 List< Object>。

2、可以把任何带参数的类型传递给原始类型List,但却不能把List< String>赋值给List< Obiect>,因为会产生编译错误(不支持协变)

✅在泛型为Integer的ArrayList中存放一个String类型的对象

通过反射可以实现:

java 复制代码
public void test() throws Exception {
	ArrayList<Integer> list = new ArrayList<Integer>();
	Method method = list.getClass().getMethod("add", Object.class);
	method.invoke(list,"Java反射机制实例");
	System.out.println(list.get(0));
}

✅对数组协变和泛型非协变的理解

所胃协变,可以简单理解为因为Object是String的父类,所以Object1同样是Stringl的父类,这种情况Java是允许的;但是对于泛型来说,List< Obiect>和List< String>半毛钱关系都没有

为什么要这样设计呢,如果泛型允许协变(实际上以下代码第一步就会编译失败),考虑如下例子:

java 复制代码
List<Object> a = new List<String>();
a.add(1); // 允许协变,可以装进来
String s = a.get(0); // 编译报错

但是,为什么泛型不允许协变,而数组允许协变呢? 原因有二 :

1 . 因为数组设计之初没有泛型,为了兼容考虑,如 Arrays.equals(object[],object[]) 方法,是时代无奈的产物

2 . 数组也属于对象,它记录了引用实际的类型,再放入数组的时候,如果类型不一样就会报错,而不是等到拿出来的时候才发现问题,相对来说安全一些。

相关推荐
drebander8 分钟前
使用 Java Stream 优雅实现List 转化为Map<key,Map<key,value>>
java·python·list
乌啼霜满天24912 分钟前
Spring 与 Spring MVC 与 Spring Boot三者之间的区别与联系
java·spring boot·spring·mvc
tangliang_cn17 分钟前
java入门 自定义springboot starter
java·开发语言·spring boot
程序猿阿伟18 分钟前
《智能指针频繁创建销毁:程序性能的“隐形杀手”》
java·开发语言·前端
Grey_fantasy28 分钟前
高级编程之结构化代码
java·spring boot·spring cloud
新知图书29 分钟前
Rust编程与项目实战-模块std::thread(之一)
开发语言·后端·rust
威威猫的栗子31 分钟前
Python Turtle召唤童年:喜羊羊与灰太狼之懒羊羊绘画
开发语言·python
力透键背31 分钟前
display: none和visibility: hidden的区别
开发语言·前端·javascript
bluefox197932 分钟前
使用 Oracle.DataAccess.Client 驱动 和 OleDB 调用Oracle 函数的区别
开发语言·c#
弗锐土豆34 分钟前
工业生产安全-安全帽第二篇-用java语言看看opencv实现的目标检测使用过程
java·opencv·安全·检测·面部