01、泛型是什么?——《Android打怪升级之旅》

本文详细介绍了Java泛型的概念,包括泛型的优点(代码简洁和复用),以及泛型在JDK1.5中的实现原理(编译时擦除和反射)。重点讲解了泛型擦除规则和通配符的作用,展示了如何使用通配符解决泛型转型的灵活性问题。

3.2 代码更简洁

泛型省去了类型的强制转换。在没有泛型之前,集合内的对象都会被向上转型为Object,所以需要强转。

// 没有泛型之前,获取对象需要强转
Fruit fruit = (Fruit) fruits.get(0);

3.3 代码复用性强

泛型就是使用参数化类型,在一段代码上操作多种数据类型。比如:对几个类的处理,在逻辑上完全相同,那自然会想这段逻辑代码只写一遍就好了,所以泛型就产生了。

四、泛型的原理

泛型在JDK1.5才出现,为了向下兼容,虚拟机是并不支持泛型的,所以JAVA在编译阶段除了进行类型判断,还对泛型进行了擦除,于是所有的泛型在字节码里都变成了原始类型,和C#的泛型不同,JAVA使用的是伪泛型

4.1 泛型擦除

在编译阶段生成字节码时,会进行泛型擦除,所以我们看下生成的字节码文件,就可以清晰的看到泛型【T】被转换成了Object。

// java代码
public class Generics {
private T mData;

public T getData() {
return mData;
}

public void setData(T data) {
this.mData = data;
}
}

下面是Generics类生成的字节码

// class version 51.0 (51)
// access flags 0x21
// signature <T:Ljava/lang/Object;>Ljava/lang/Object;
// declaration: com/kproduce/androidstudy/test/Generics
public class com/kproduce/androidstudy/test/Generics {

// compiled from: Generics.java

// access flags 0x2
// signature TT;
// declaration: T
private Ljava/lang/Object; mData

// access flags 0x1
public ()V
L0
LINENUMBER 6 L0
ALOAD 0
INVOKESPECIAL java/lang/Object. ()V
RETURN
L1
LOCALVARIABLE this Lcom/kproduce/androidstudy/test/Generics; L0 L1 0
// signature Lcom/kproduce/androidstudy/test/Generics<TT;>;
// declaration: com.kproduce.androidstudy.test.Generics
MAXSTACK = 1
MAXLOCALS = 1

// access flags 0x1
// signature ()TT;
// declaration: T getData()
public getData()Ljava/lang/Object;
L0
LINENUMBER 10 L0
ALOAD 0
GETFIELD com/kproduce/androidstudy/test/Generics.mData : Ljava/lang/Object;
ARETURN
L1
LOCALVARIABLE this Lcom/kproduce/androidstudy/test/Generics; L0 L1 0
// signature Lcom/kproduce/androidstudy/test/Generics<TT;>;
// declaration: com.kproduce.androidstudy.test.Generics
MAXSTACK = 1
MAXLOCALS = 1

// access flags 0x1
// signature (TT;)V
// declaration: void setData(T)
public setData(Ljava/lang/Object;)V
L0
LINENUMBER 14 L0
ALOAD 0
ALOAD 1
PUTFIELD com/kproduce/androidstudy/test/Generics.mData : Ljava/lang/Object;
L1
LINENUMBER 15 L1
RETURN
L2
LOCALVARIABLE this Lcom/kproduce/androidstudy/test/Generics; L0 L2 0
// signature Lcom/kproduce/androidstudy/test/Generics<TT;>;
// declaration: com.kproduce.androidstudy.test.Generics
LOCALVARIABLE data Ljava/lang/Object; L0 L2 1
// signature TT;
// declaration: T
MAXSTACK = 2
MAXLOCALS = 2
}

看完上面的代码有的同学就喊了,这不备注里面还是有泛型【T】吗? 是的,你们说的没错!那为什么泛型还在备注里面?这时候要说到反射这个概念。

反射是在运行时对于任何一个类,都可以知道里面所有属性和方法。对于任何一个对象,都可以调用它的方法和属性。是JAVA被视为动态语言的关键。

既然反射要知道所有的方法和属性,但是泛型在字节码里面被进行了擦除,那JAVA就使用备注的方式将泛型偷偷的写入到了字节码里面,保证反射的正常使用。

4.2 泛型擦除原则

  • 如果泛型没有限定(),则用Object作为原始类型。
  • 如果有限定(),则用A作为原始类型。
  • 如果有多个限定(<T extends A&B>),则使用第一个边界A作为原始类型。

五、泛型的限定通配符

通配符是让泛型的转型更灵活

  • <? extends A> 是指“上界通配符”
  • <? super A> 是指“下界通配符”

5.1 通配符存在的意义

数组是可以向上转型的:

Object[] nums = new Integer[2];
nums[0] = 1;
nums[1] = “string”; // nums在运行时是一个Interger数组,所以会报错

再看一段会报错的泛型转型代码:

// Apple extends Fruit,但是这样转型会报错
List fruits = new List();

由此可知,泛型的转型和泛型类型是否继承(Apple extends Fruit)没有任何关系,泛型无法像数组一样直接向上转型,所以通配符的意义就是让泛型的转型更灵活

5.2 通配符详解

  • 上界通配符:<? extends Fruit>,Fruit是最上边界,只能get,不能add。(详解在代码备注中)

public static void main(String[] args) {
List greenApples = new ArrayList<>();
List apples = new ArrayList<>();
List foods = new ArrayList<>();
setData(greenApples);
setData(apples);
setData(foods); // 编译错误,不在限制范围内
}

public void setData(List<? extends Fruit> list){
// 上界通配符,只能get,不能add
// 【只能get】因为可以确保list被指定的对象一定可以向上转型成Fruit
// 【不能add】因为设置的话无法确定是哪个子类,
// 有可能会将Banana设置到List里面,所以不能set
Fruit fruit = list.get(0);
}

  • 下界通配符:<? super Fruit>,Fruit是最下边界,只能add,不能get。(详解在代码备注中)

public static void main(String[] args) {
List foods = new ArrayList<>();
List apples = new ArrayList<>();
setData(foods);
setData(apples); // 编译错误,不在限制范围内
}

public void setData(List<? super Fruit> list){
// 下界通配符,只能add,不能get
// 【只能add】因为可以确保list被指定的对象一定是Fruit的父类,
// 那Fruit的子类一定能向上转型成对应的父类,所以可以add。
// 【不能get】因为被指定对象没有固定的上界,不知道是哪个父类,所以无法精准获取转型成某一个类。
list.add(new Apple());
list.add(new Banana());
}

自我介绍一下,小编13年上海交大毕业,曾经在小公司待过,也去过华为、OPPO等大厂,18年进入阿里一直到现在。

深知大多数初中级Android工程师,想要提升技能,往往是自己摸索成长或者是报班学习,但对于培训机构动则近万的学费,着实压力不小。自己不成体系的自学效果低效又漫长,而且极易碰到天花板技术停滞不前!

因此收集整理了一份《2024年Android移动开发全套学习资料》,初衷也很简单,就是希望能够帮助到想自学提升又不知道该从何学起的朋友,同时减轻大家的负担。

img

img

img

img

既有适合小白学习的零基础资料,也有适合3年以上经验的小伙伴深入学习提升的进阶课程,基本涵盖了95%以上Android开发知识点,真正体系化!

由于文件比较大,这里只是将部分目录截图出来,每个节点里面都包含大厂面经、学习笔记、源码讲义、实战项目、讲解视频,并且会持续更新!

如果你觉得这些内容对你有帮助,可以扫码获取!!(资料价值较高,非无偿)

最后

简历首选内推方式,速度快,效率高啊!然后可以在拉钩,boss,脉脉,大街上看看。简历上写道熟悉什么技术就一定要去熟悉它,不然被问到不会很尴尬!做过什么项目,即使项目体量不大,但也一定要熟悉实现原理!不是你负责的部分,也可以看看同事是怎么实现的,换你来做你会怎么做?做过什么,会什么是广度问题,取决于项目内容。但做过什么,达到怎样一个境界,这是深度问题,和个人学习能力和解决问题的态度有关了。大公司看深度,小公司看广度。大公司面试你会的,小公司面试他们用到的你会不会,也就是岗位匹配度。

面试过程一定要有礼貌!即使你觉得面试官不尊重你,经常打断你的讲解,或者你觉得他不如你,问的问题缺乏专业水平,你也一定要尊重他,谁叫现在是他选择你,等你拿到offer后就是你选择他了。

另外,描述问题一定要慢!不要一下子讲一大堆,慢显得你沉稳、自信,而且你还有时间反应思路接下来怎么讲更好。现在开发过多依赖ide,所以会有个弊端,当我们在面试讲解很容易不知道某个方法怎么读,这是一个硬伤…所以一定要对常见的关键性的类名、方法名、关键字读准,有些面试官不耐烦会说“你到底说的是哪个?”这时我们会容易乱了阵脚。正确的发音+沉稳的描述+好听的嗓音决对是一个加分项!

最重要的是心态!心态!心态!重要事情说三遍!面试时间很短,在短时间内对方要摸清你的底子还是比较不现实的,所以,有时也是看眼缘,这还是个看脸的时代。

希望大家都能找到合适自己满意的工作!

进阶学习视频

附上:我们之前因为秋招收集的二十套一二线互联网公司Android面试真题 (含BAT、小米、华为、美团、滴滴)和我自己整理Android复习笔记(包含Android基础知识点、Android扩展知识点、Android源码解析、设计模式汇总、Gradle知识点、常见算法题汇总。)

《Android学习笔记总结+移动架构视频+大厂面试真题+项目实战源码》,点击传送门即可获取!

、小米、华为、美团、滴滴)和我自己整理Android复习笔记(包含Android基础知识点、Android扩展知识点、Android源码解析、设计模式汇总、Gradle知识点、常见算法题汇总。)

[外链图片转存中…(img-K1VkYgMS-1711525666157)]

《Android学习笔记总结+移动架构视频+大厂面试真题+项目实战源码》,点击传送门即可获取!
### 软件开发中的两种或概念 在软件开发领域,是一种重要的编程特性,旨在提高代码的灵活性、可重用性和安全性。以下是两种常见的或概念: #### 1. **基于类的延迟绑定** 这种的核心理念在于将具体的类定义推迟到实际使用阶段。通过这种方式,开发者可以在编写通用算法时无需提前指定具体的数据类,从而实现更高的代码复用率。 例如,在C#中,允许程序员声明一个类或方法时不立即确定其内部使用的数据类[^2]。只有当客户端代码实例化这个类或者调用该方法时,才会提供确切的类信息。这种方法不仅增强了代码的安全性,还减少了重复编码的工作量。 ```csharp public class GenericList<T> { private T[] items; public void Add(T item) { // 添加逻辑... } } ``` 在此示例中,`T` 是一种占位符,表示任何可能的具体类将在稍后的实例化过程中被替换掉。 #### 2. **子类关系与协变/逆变** 另一种的重要概念涉及子类之间的兼容性规则——即所谓的协变(covariance)和逆变(contravariance)。这一机制使得某些情况下可以更自由地处理继承层次结构内的对象转换问题。 以仓颉语言为例,它支持复杂的子类关系研究[^1]。这意味着如果存在两个类 `A` 和 `B` 并且 `B` 继承自 `A` ,那么对于某个接受 `IEnumerable<A>` 的函数来说,传入一个实现了 `IEnumerable<B>` 的集合也是合法的操作。这体现了系统的强大表达能力及其带来的额外便利之处。 ```java // Java 中的一个简单例子展示 List<? extends Number> 协变情况 void processNumbers(List<? extends Number> numbers) {} processNumbers(new ArrayList<Integer>()); processNumbers(new ArrayList<Double>()); ``` 以上代码片段展示了如何利用Java里的通配符(`?`)加上上下界约束来体现间的子类关联性质。 ---
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值