Java范型随笔
最近在帝都好无聊啊, 排遣寂寞就只有让自己不要停下来,不断的思考了 QWQ;
最近做ndk, java有点忘了,突然看到了一些java范型方面的问题, 踌躇了一会, 想着想着,决定还是写个随笔记录下来。
范型语法这个网上找度娘可以要到一大把, 我就不记了, 主要是范型上下限问题。
案例:
public class Test {
public static class Base{
}
public static class A extends Base{
}
public static class Fanxin<T>{
T t;
public T get(){
return t;
};
public void set(T t){
this.t = t;
}
}
public static class B extends A{
}
public static void main(String[] arvg){
Fanxin<? extends Base> fanxin = new Fanxin<A>();
Base a = fanxin.get();
//fanxin.set(new A()); 1编译报错
Fanxin<? super A> fanxin1 = new Fanxin<Base>();
A obj = (A)fanxin1.get();
//A obj = fanxin1.get(); 2编译报错
//fanxin1.set(new Base());3编译报错
fanxin1.set(new A());
}
}
首先java范型我理解的是为了安全, 这样可以在编译期检测类型,而不会到运行的时候出现类型转化异常。 第一个 fanxin.set(new A());报错,是因为,这里类型是定义了上限,所以这里通配符代表的类型是base或者base的子类, 虽然A是base的子类, 但是这是不安全的,考虑这种情况:
Fanxin<B> fanxin = new Fainxin<B>();
......各种操作......
Fanxin<? extends Base> fanxin1 = fanxinB;
fanxin1.set(new A());
B b = fanxin.get();//这里有问题
这时候不安全的因素发生了,我们对fanxin1设置了一个对象A, 但是fanxin1实质是fanxin<B>对象, 这时候如果我们fanxin.get()获得的实际上是A对象,运行的时候会有类型转化异常。
这样是不安全的, 所以编译的时候会报错,如果一定要set, 那么可以强制类型转换来做,但是这样也失去了意义:
Fanxin<A> fanxinA = (Fanxin<A>)fanxin1;
fanxinA.set(new A());
第二个问题,通配符是A或者A的父类, 所以我们可以赋值, 面向对象的原则是子类可以替代父类, 所以是安全的。 但是如果我们读区值,然后赋值给其他对象,那么就会有问题, 比如;
Fanxin<Base> fanxinBase = new Fanxin<Base>();
Fanxin<? super A> fanxin1 = fanxinBase; //Fanxin<? super A> fanxin = new Fanxin<? super A>();编译报错
A a = fanxin1.get();
这里fanxin1.get()实际获得的是Base类, 赋值给A类,编译会报错, 运行的时候会有类型转化异常。
当然如果我们知道这个类的类型,那么我们也可以用强制类型转换避免编译报错。
例:
Base b = (Base) fanxin1.get();
总之 ?是范型里面的通配符,extends, super只是提供上下限的信息给编译起, 通配符有集合的概念在里面,Fanxin< ? extends Base>, ?类型可能是Base的任何子类,所以我们不能有赋值操作,因为子类和子类是不同的类型,只是子类可以替换父类而已,所以可以按父类来读取值, Fanxin<? super A>, ?类型是A的超类, 所以我们可以将A的任何子类赋值给他,这样是安全的,但是读取的时候,是无法知道这是什么类型的,但是java类都是Object类的扩展, 所以可以获取值赋给obj对象, Object obj = fanxin.get(); 如果要赋值给其他对象那么只有强制类型转换了。
Java范型随笔的更多相关文章
- Java范型
泛型不用考虑对象的具体类型.优点在于,因为不用考虑对象的具体类型所以可以对一类对象执行一定的相同操作:缺点在于,因为没有考虑对象的具体类型所以就不能使用对象自带的接口函数.泛型的最佳用同是实现容器类. ...
- Java范型学习笔记
对于范型的使用或者说印象只有集合,其他地方即使使用过也不知道,反正就是只停留在List<E> Map<K, V>,最近刚好闲来无事,就找找资料学习一下:下列为个人学习总结,欢迎 ...
- java范型集合中的成员排序
范型集合中的类是JsonObject,不是自定义类,如果是自定义类就直接取要比较的字段值. ArrayList<JSONObject> TList = new ArrayList<J ...
- 关于java范型
1 范型只在编译阶段有效 编译器在编译阶段检查范型结果之后,就会将范型信息删除.范型信息不会进入运行时阶段. 泛型类型在逻辑上看以看成是多个不同的类型,实际上都是相同的基本类型. 2 不能对确定的范型 ...
- Java范型之T extends Comparable<? super T>
在观察Java源码的时候,发现了这么一个写法T extends Comparable<? super T>.不禁纳闷为什么要这么写呢?有什么好处吗,extends和super在这里的作用着 ...
- 范型方法 & 范型参数 & 范型返回值
Java范型类 public class FanXingClassTest { public static void main(String args[]){ Test<Integer> ...
- Java Comparator的范型类型推导问题
问题 在项目中,有一处地方需要对日期区间进行排序 我需要以日期区间的开始日为第一优先级,结束日为第二优先级进行排序 代码 我当时写的代码如下: List<Pair<LocalDate, L ...
- Java数组协变与范型不变性
变性是OOP语言不变的大坑,Java的数组协变就是其中的一口老坑.因为最近踩到了,便做一个记录.顺便也提一下范型的变性. 解释数组协变之前,先明确三个相关的概念,协变.不变和逆变. 一.协变.不变.逆 ...
- Java数据结构与算法分析-第一章(引论)-Java中的范型<T,E>构件
一.为什么需要使用范型? 官方的说法是:Java 泛型(generics)是 JDK 5 中引入的一个新特性, 泛型提供了编译时类型安全检测机制,该机制允许程序员在编译时检测到非法的类型. 泛型的本质 ...
随机推荐
- python---PrettyTable
简介 Python通过prettytable模块将输出内容如表格方式整齐输出,python本身并不内置,需要独立安装该第三方库. 安装 pip install PrettyTable #源码安装 wg ...
- oracle11g安装和基本的使用-转载
一.测试操作系统和硬件环境是否符合,我使用的是win2008企业版.下面的都是step by step看图就ok了,不再详细解释. 请留意下面的总的设置步骤:--------------------- ...
- 外联css及js的使用
结构图如下: html如下: <!DOCTYPE html> <html> <head> <title>button test</title> ...
- JNI常见错误整理
ndk开发常见错误1. android.mk文件不存在 $ ndk-buildAndroid NDK: Your APP_BUILD_SCRIPT points to an unknown file: ...
- 黑马程序员_ C语言基础(一)
------Java培训.Android培训.iOS培训..Net培训.期待与您交流! ------ 开发过程: 编写->编译(只编译源文件,编译成*.o 只会检测语法是否合理,不会检测函数是 ...
- CyclicBarrier类合唱演绎
package a.jery; import java.util.concurrent.CyclicBarrier; import java.util.concurrent.ExecutorServi ...
- 35. Binary Tree Level Order Traversal && Binary Tree Level Order Traversal II
Binary Tree Level Order Traversal OJ: https://oj.leetcode.com/problems/binary-tree-level-order-trave ...
- ios 使用可视化工具charles转换pcap文件,进行流量统计(通过tcpdump抓包)
环境准备:使用mac电脑,下载xcode,Charles 连接iPhone手机,打开xcode-window-devices-查看设备UDID 打开终端:rvictl –s 设备号 ,查看虚拟端口号 ...
- auto,register,static分析
1.关键字auto auto是C语言中局部变量的默认类型,指明声明的变量在程序的栈上分配空间. 2.关键字static 指明变量的“静态”属性,局部变量存储在静态存储区: 文件作用标示符,只能在声明的 ...
- Oracle 增加修改删除字段与添加注释
添加字段的语法:alter table tablename add (column datatype [default value][null/not null],….); 修改字段的语法:alter ...