Java中静态类型检查是如何进行的实例思路详解

更新时间：2016年05月18日 09:56:07 作者：风一样的码农

这篇文章主要介绍了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中静态类型检查是如何进行的实例思路详解的相关知识，希望对大家有所帮助，如果大家有任何疑问请给我留言，小编会及时回复大家的。在此也非常感谢大家对脚本之家网站的支持！

您可能感兴趣的文章:

Mybatis引入与使用的图文步骤
本文主要介绍了Mybatis引入与使用的图文步骤，文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧
2023-09-09
Day14基础不牢地动山摇-Java基础
这篇文章主要给大家介绍了关于Java中方法使用的相关资料,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧
2021-08-08
SpringBoot中使用@ControllerAdvice注解详解
这篇文章主要介绍了SpringBoot中使用@ControllerAdvice注解详解,@ControllerAdvice,是Spring3.2提供的新注解,它是一个Controller增强器,可对controller中被 @RequestMapping注解的方法加一些逻辑处理,需要的朋友可以参考下
2023-10-10
java控制台实现学生信息管理系统(IO版)
这篇文章主要为大家详细介绍了java控制台实现学生信息管理系统(IO版)，文中示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下
2021-04-04
Spring MVC异常处理机制示例详解
这篇文章主要给大家介绍了关于Spring MVC异常处理机制的相关资料，文中通过示例代码介绍的非常详细，对大家学习或者使用Spring MVC具有一定的参考学习价值，需要的朋友们下面来一起学习学习吧
2019-11-11
MyBatis中的自定义TypeHandler详解
这篇文章主要介绍了MyBatis中的自定义TypeHandler详解,定义的 typeHandler 泛型为 String，显然我们要把数据库的数据类型转化为 String 型，然后实现设置参数和获取结果集的方法,需要的朋友可以参考下
2023-07-07
JAVA解析XML字符串简单方法代码案例
这篇文章主要介绍了JAVA解析XML字符串简单方法代码案例,文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值,需要的朋友可以参考下
2020-09-09
解决IDEA和CMD中java命令提示错误: 找不到或无法加载主类的问题
这篇文章主要介绍了解决IDEA和CMD中java命令提示错误: 找不到或无法加载主类的问题,本文给大家介绍的非常详细，对大家的学习或工作具有一定的参考借鉴价值，需要的朋友可以参考下
2020-09-09
Java实现在Word指定位置插入分页符
在Word插入分页符可以在指定段落后插入，也可以在特定文本位置处插入。本文将以Java代码来操作以上两种文档分页需求,需要的可以参考一下
2022-04-04
如何利用Ganymed SSH-2模拟SSH操作
这几天看SFTP资料时，无意中看到了Ganymed SSH-2，写了个简单demo，通过，感觉挺好用的，下面就和大家分享下。需要的朋友可以过来参考参考
2013-08-08