Java的静态类型检查示例代码详解

关于静态类型检查和动态类型检查的解释：

静态类型检查：基于程序的源代码来验证类型安全的过程；

动态类型检查：在程序运行期间验证类型安全的过程；

Java使用静态类型检查在编译期间分析程序，确保没有类型错误。基本的思想是不要让类型错误在运行期间发生。

在各色各样的编程语言中，总共存在着两个类型检查机制：静态类型检查和动态类型检查。

静态类型检查是指通过对应用程序的源码进行分析，在编译期间就保证程序的类型安全。

动态类型检查是在程序的运行过程中，验证程序的类型安全。在Java中，编译期间使用静态类型检查机制分析Java源代码，可以提前发现Java中类型缺少的错误。这个机制的好处是，不让错误的事情在运行时才被发现。本文，将使用几个代码示例，深入讲解Java中的类型检查机制。一旦完全理解了本文的例子，就完全掌握了Java中的静态类型检查。

深入分析Java的静态类型检查

代码示例

假设我们有如下的两个类，类Super 和 类Suber,而且他们具有如下继承关系：

class Super {
Super me() {
return this;
}
public void doSuper() {
System.out.println("www.tiantianbianma.com");
}
}
class Suber extends Super {
public void doSuber() {
System.out.println("天天编码");
}
}

首先，思考这个问题：”new Suber().me()” 的返回值是什么？ 是一个 Super对象 还是一个 Suber对象？

这个 me() 方法被声明为返回一个 Super对象，所以，在编译期间，编译期认为它返回的是一个 Super对象。但是，在运行期间，该语句实际返回的是一个 Suber对象，因为 Suber继承了Super的me()方法，并返回了自身对象(多态性)。

静态检查

我们来看看常见的错误示例代码：

// 错误
new Suber().me().doSuber();

这个语句在编译时会报错，虽然 “new Suber().me()” 返回的结果，本质上是一个 Suber对象，Suber对象确实也具有 doSuber() 方法。但是，在编译器看来，”new Suber().me()” 返回结果的引用类型是 Super，自然不能在Super类型的引用上调用该类型没有定义的 doSuber() 方法。所以，我们可以改成如下的正确形式：

// 正确
new Suber().me().doSuper();

另外，既然 “new Suber().me()” 返回的结果确实是一个 Suber对象，如果想调用其特有的方法，我们可以使用强制类型转换来完成功能：

// 正确
((Suber) new Suber().me()).doSuber();

深入扩展

现在，假设我们增加了一个如下所示的类：Brother

class Brother extends Super{
public void doBad() {
System.out.println("好好学习");
}
}

那么，大家思考一下如下的语句：

// 正确
((Brother) new Suber().me()).beBad();

这个语句真的是正确的吗？实际上，该语句确实可以通过静态类型检查和正确编译。毕竟，编译器不知道 “new Suber().me()” 的实际类型。但是，该语句在运行时出抛出如下的错误：

java.lang.ClassCastException: Suber cannot be cast to Brother

原因很简单，两个不存在任何继承关系的类(Suber和Brother)不可以做类型转换。

总结

以上所述是小编给大家介绍的Java的静态类型检查示例代码详解，希望对大家有所帮助，如果大家有任何疑问请给我留言，小编会及时回复大家的。在此也非常感谢大家对我们网站的支持！

赞 (0)

相关推荐

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

    以下内容来自维基百科,关于静态类型检查和动态类型检查的解释: •静态类型检查:基于程序的源代码来验证类型安全的过程: •动态类型检查:在程序运行期间验证类型安全的过程: Java使用静态类型检查在编译期间分析程序,确保没有类型错误.基本的思想是不要让类型错误在运行期间发生. 以下代码是一个例子,理解了他,你会更好的理解Java静态类型检查是如何工作的. 代码示例 假定我们有如下类,A和B,B继承A. class A { A me() { return this; } public void do

  • Java的静态类型检查示例代码详解

    关于静态类型检查和动态类型检查的解释: 静态类型检查:基于程序的源代码来验证类型安全的过程: 动态类型检查:在程序运行期间验证类型安全的过程: Java使用静态类型检查在编译期间分析程序,确保没有类型错误.基本的思想是不要让类型错误在运行期间发生. 在各色各样的编程语言中,总共存在着两个类型检查机制:静态类型检查和动态类型检查. 静态类型检查是指通过对应用程序的源码进行分析,在编译期间就保证程序的类型安全. 动态类型检查是在程序的运行过程中,验证程序的类型安全.在Java中,编译期间使用静态类型

  • 在Java中操作Zookeeper的示例代码详解

    依赖 <dependency> <groupId>org.apache.zookeeper</groupId> <artifactId>zookeeper</artifactId> <version>3.6.0</version> </dependency> 连接到zkServer //连接字符串,zkServer的ip.port,如果是集群逗号分隔 String connectStr = "192.

  • Java 添加Word目录的2种方法示例代码详解

    目录是一种能够快速.有效地帮助读者了解文档或书籍主要内容的方式.在Word中,插入目录首先需要设置相应段落的大纲级别,根据大纲级别来生成目录表.本文中生成目录分2种情况来进行: 1.文档没有设置大纲级别,生成目录前需要手动设置 2.文档已设置大纲级别,通过域代码生成目录 使用工具: •Free Spire.Doc for Java 2.0.0 (免费版) •IntelliJ IDEA 工具获取途径1:通过官网下载jar文件包,解压并导入jar文件到IDEA程序. 工具获取途径2:通过Maven仓

  • Java 使用 FFmpeg 处理视频文件示例代码详解

    目前在公司做一个小东西,里面用到了 FFmpeg 简单处理音视频,感觉功能特别强大,在做之前我写了一个小例子,现在记录一下分享给大家,希望大家遇到这个问题知道解决方案. FFmpeg是一套可以用来记录.转换数字音频.视频,并能将其转化为流的开源计算机程序.采用LGPL或GPL许可证.它提供了录制.转换以及流化音视频的完整解决方案.它包含了非常先进的音频/视频编解码库libavcodec,为了保证高可移植性和编解码质量,libavcodec里很多code都是从头开发的. FFmpeg在Linux平

  • java中的前++和后++的区别示例代码详解

    java中的前加加++和后加加++,有很多人搞的很晕,不太明白!今天我举几个例子说明下前++和后++的区别! 其实大家只要记住一句话就可以了,前++是先自加再使用而后++是先使用再自加! 前++和后++总结:其实大家只要记住一句话就可以了,前++是先自加再使用而后++是先使用再自加! 请大家看下面的例子就明白了! public class Test { public static void main(String[] args) { //测试,前加加和后加加 //前++和后++总结:其实大家只要

  • Java语言中的内存泄露代码详解

    Java语言中的内存泄露代码详解

    Java的一个重要特性就是通过垃圾收集器(GC)自动管理内存的回收,而不需要程序员自己来释放内存.理论上Java中所有不会再被利用的对象所占用的内存,都可以被GC回收,但是Java也存在内存泄露,但它的表现与C++不同. JAVA中的内存管理 要了解Java中的内存泄露,首先就得知道Java中的内存是如何管理的. 在Java程序中,我们通常使用new为对象分配内存,而这些内存空间都在堆(Heap)上. 下面看一个示例: public class Simple { public static vo

  • Java版超大整数阶乘算法代码详解-10,0000级

    Java版超大整数阶乘算法代码详解-10,0000级

    当计算超过20以上的阶乘时,阶乘的结果值往往会很大.一个很小的数字的阶乘结果就可能超过目前个人计算机的整数范围.如果需求很大的阶乘,比如1000以上完全无法用简单的递归方式去解决.在网上我看到很多用C.C++和C#写的一些关于大整数阶乘的算法,其中不乏经典但也有很多粗糙的文章.数组越界,一眼就可以看出程序本身无法运行.转载他人文章的时候,代码倒是仔细看看啊.唉,粗糙.过年了,在家闲来蛋疼,仔细分析分析,用Java实现了一个程序计算超大整数阶乘.思想取自网上,由我个人优化和改进. 这个方法采用"数

  • Java编程Webservice指定超时时间代码详解

    WebService是一种跨编程语言和跨操作系统平台的远程调用技术 所谓远程调用,就是一台计算机a上的一个程序可以调用到另外一台计算机b上的一个对象的方法,譬如,银联提供给商场的pos刷卡系统(采用交互提问的方式来加深大家对此技术的理解). 远程调用技术有什么用呢?商场的POS机转账调用的转账方法的代码是在银行服务器上,还是在商场的pos机上呢?什么情况下可能用到远程调用技术呢?例如,amazon,天气预报系统,淘宝网,校内网,百度等把自己的系统服务以webservice服务的形式暴露出来,让第

  • Java编程多线程之共享数据代码详解

    本文主要总结线程共享数据的相关知识,主要包括两方面:一是某个线程内如何共享数据,保证各个线程的数据不交叉:一是多个线程间如何共享数据,保证数据的一致性. 线程范围内共享数据 自己实现的话,是定义一个Map,线程为键,数据为值,表中的每一项即是为每个线程准备的数据,这样在一个线程中数据是一致的. 例子 package com.iot.thread; import java.util.HashMap; import java.util.Map; import java.util.Random; /*

随机推荐