Java中静态类型检查是如何进行的实例思路详解
作者:风一样的码农 发布时间:2022-01-01 16:08:30
标签:java,静态,检查
以下内容来自 * ,关于静态类型检查和动态类型检查的解释:
•静态类型检查:基于程序的源代码来验证类型安全的过程;
•动态类型检查:在程序运行期间验证类型安全的过程;
Java使用静态类型检查在编译期间分析程序,确保没有类型错误。基本的思想是不要让类型错误在运行期间发生。
以下代码是一个例子,理解了他,你会更好的理解Java静态类型检查是如何工作的。
代码示例
假定我们有如下类,A和B,B继承A。
class A {
A me() {
return this;
}
public void doA() {
System.out.println("Do A");
}
}
class B extends A {
public void doB() {
System.out.println("Do B");
}
}
首先,调用new B().me()将返回什么呢?A对象还是B?
me()方法被声明将返回A对象,所以在编译期间,编译器只知道它返回A对象。然而,它在运行期间却返回了B对象,因为B继承了A的方法返回了自己。
静态类型检查是如何工作的?
如下代码行是非法的,即使方法doB()是被B对象调用的。问题在于它的引用类型是A,在编译器件,编译器不知道它的真实类型,所以将它当做A类型。
//illegal
new B().me().doB();
所以,只有下面的代码是可以被调用的:
//legal
new B().me().doA();
然而,我们可以将其强制类型转换成B,如下代码:
//legal
((B) new B().me()).doB();
接下来,我们添加一个C类:
class C extends A{
public void doBad() {
System.out.println("Do C");
}
}
那么,下面的代码语句将通过静态类型检查:
//legal
((C) new B().me()).beBad();
编译器不知道它的真实类型,但是在运行期间将会抛出异常,因为B类型不能转换成C类型;
以上所述是小编给大家介绍的Java中静态类型检查是如何进行的实例思路详解的相关知识网站的支持!
![](https://www.aspxhome.com/images/zang.png)
![](https://www.aspxhome.com/images/jiucuo.png)
猜你喜欢
- 注解类@Documented@Target({ElementType.METHOD})@Retention(RetentionPolicy.
- 引言容器是Java基础类库中使用频率最高的一部分,Java集合包中提供了大量的容器类来帮组我们简化开发,我前面的文章中对Java集合包中的关
- 在开发Android应用程序中,经常会自定义View来实现各种各样炫酷的效果,在实现这吊炸天效果的同时,我们往往会定义很多attr属性,这样
- DataSource在数据库应用中,客户端与数据库服务端建立的连接对象(Connection)是宝贵的资源,每次请求数据库都创建连接,使用完
- 方式一:if语句控制// 例如:Column( mainAxisAlig
- import java.io.File;import java.io.FileNotFoundException;import java.i
- 概述非对称加密算法与对称加密算法的主要差别在于非对称加密算法用于加密和解密的密钥不相同,非对称加密算法密钥分为公钥和私钥,公钥加密只能用私钥
- 在整合SpringBoot和Mybatis-plus时,想写自定义的sql,所以创建了Mapper.xml文件,但是启动后却老是报错:org
- 1. 概述官方JavaDocsApi: javax.swing.JButtonJButton,按钮。JButton 常用构造方法:// 创建
- springboot项目启动,初始化方法加载参数今天我看到项目中用到了 @PostConstruct 这个注解,之前没看到过,特地查了一下,
- MyBatis是支持定制化SQL、存储过程以及高级映射的优秀的持久层框架,避免了几乎所有的JDBC代码和手动设置参数以及获取结果集。spri
- 本文实例讲述了C#提取网页中超链接link和text部分的方法。分享给大家供大家参考,具体如下:string s = "..&qu
- 我们平时在日常项目中经常会遇到图片的上传和访问的情景,平时我们可能习惯于把图片传到resource或者项项目中的某个位置,这样会有一个缺点,
- 本文基于SpringBoot 2.5.0-M2讲解Spring中Lifecycle和SmartLifecycle的作用和区别,以及如何控制S
- 在spring cloud系列章节中,本来已经写了几个章节了,但是自己看起来有些东西写得比较杂,所以重构了一下springcloud的章节内
- 基本原理:利用URLConnection获取要下载文件的长度、头部等相关信息,并设置响应的头部信息。并且通过URLConnection获取输
- 概述ConcurrentHashMap(CHM)是日常开发中使用频率非常高的一种数据结构,想对于普通的HashMap,CHM提供了线程安全的
- 1. Ajax 概述Ajax 的英文全称是 ”Asynchronous JavaScript and XML&l
- graylog配置springboot配置依赖compile group: 'de.siegmar', name: '
- 在处理大文件时,如果利用普通的FileInputStream 或者FileOutputStream 抑或RandomAccessFile 来