个人中心
文章发布
退出
作者热门文章
- ubuntu12.04环境下使用kvm ioctl接口实现最简单的虚拟机
- Ubuntu 通过无线网络安装Ubuntu Server启动系统后连接无线网络的方法
- 在Ubuntu上搭建网桥的方法
- ubuntu 虚拟机上网方式及相关配置详解
25
4
CFSDN坚持开源创造价值，我们致力于搭建一个资源共享平台，让每一个IT人在这里找到属于你的精彩世界.
这篇CFSDN的博客文章Java的静态类型检查示例代码详解由作者收集整理，如果你对这篇文章有兴趣，记得点赞哟.
关于静态类型检查和动态类型检查的解释:
静态类型检查：基于程序的源代码来验证类型安全的过程； 。
动态类型检查：在程序运行期间验证类型安全的过程； 。
Java使用静态类型检查在编译期间分析程序，确保没有类型错误。基本的思想是不要让类型错误在运行期间发生.
在各色各样的编程语言中，总共存在着两个类型检查机制：静态类型检查和动态类型检查.
静态类型检查是指通过对应用程序的源码进行分析，在编译期间就保证程序的类型安全.
动态类型检查是在程序的运行过程中，验证程序的类型安全。在Java中，编译期间使用静态类型检查机制分析Java源代码，可以提前发现Java中类型缺少的错误。这个机制的好处是，不让错误的事情在运行时才被发现。本文，将使用几个代码示例，深入讲解Java中的类型检查机制。一旦完全理解了本文的例子，就完全掌握了Java中的静态类型检查.
深入分析Java的静态类型检查 。
代码示例 。
假设我们有如下的两个类，类Super 和 类Suber,而且他们具有如下继承关系:
|
1
2
3
4
5
6
7
8
9
10
11
12
13
|
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()方法，并返回了自身对象(多态性).
静态检查 。
我们来看看常见的错误示例代码:
|
1
2
|
// 错误
new
Suber().me().doSuber();
|
这个语句在编译时会报错，虽然 “new Suber().me()” 返回的结果，本质上是一个 Suber对象，Suber对象确实也具有 doSuber() 方法。但是，在编译器看来，”new Suber().me()” 返回结果的引用类型是 Super，自然不能在Super类型的引用上调用该类型没有定义的 doSuber() 方法。所以，我们可以改成如下的正确形式:
|
1
2
|
// 正确
new
Suber().me().doSuper();
|
另外，既然 “new Suber().me()” 返回的结果确实是一个 Suber对象，如果想调用其特有的方法，我们可以使用强制类型转换来完成功能:
|
1
2
|
// 正确
((Suber)
new
Suber().me()).doSuber();
|
深入扩展 。
现在，假设我们增加了一个如下所示的类：Brother 。
|
1
2
3
4
5
|
class
Brother
extends
Super{
public
void
doBad() {
System.out.println(
"好好学习"
);
}
}
|
那么，大家思考一下如下的语句:
|
1
2
|
// 正确
((Brother)
new
Suber().me()).beBad();
|
这个语句真的是正确的吗？实际上，该语句确实可以通过静态类型检查和正确编译。毕竟，编译器不知道 “new Suber().me()” 的实际类型。但是，该语句在运行时出抛出如下的错误:
|
1
|
java.lang.ClassCastException: Suber cannot be cast to Brother
|
原因很简单，两个不存在任何继承关系的类(Suber和Brother)不可以做类型转换.
总结 。
以上所述是小编给大家介绍的Java的静态类型检查示例代码详解，希望对大家有所帮助，如果大家有任何疑问请给我留言，小编会及时回复大家的。在此也非常感谢大家对我网站的支持！ 。
原文链接：http://www.tiantianbianma.com/java-static-type-check.html/ 。
最后此篇关于Java的静态类型检查示例代码详解的文章就讲到这里了,如果你想了解更多关于Java的静态类型检查示例代码详解的内容请搜索CFSDN的文章或继续浏览相关文章，希望大家以后支持我的博客！ 。
25
4
0
全称“Java Virtual Machine statistics monitoring tool”（statistics 统计；monitoring 监控；tool 工具） 用于监控虚拟机的各种运
主要是讲下Mongodb的索引的查看、创建、删除、类型说明，还有就是Explain执行计划的解释说明。 可以转载，但请注明出处。
1>单线程或者单进程 相当于短链接，当accept之后，就开始数据的接收和数据的发送，不接受新的连接，即一个server，一个client 不存在并发。 2>循环服务器和并发服务器
详解 linux中的关机和重启命令 一 shutdown命令 shutdown [选项] 时间 选项： ?
首先，将json串转为一个JObject对象： ? 1
matplotlib官网 matplotlib库默认英文字体 添加黑体（‘SimHei'）为绘图字体 代码： plt.rcParams['font.sans-serif']=['SimHei'
在并发编程中，synchronized关键字是常出现的角色。之前我们都称呼synchronized关键字为重量锁，但是在jdk1.6中对synchronized进行了优化，引入了偏向锁、轻量锁。本篇
一般我们的项目中会使用1到2个数据库连接配置，同程艺龙的数据库连接配置被收拢到统一的配置中心，由DBA统一配置和维护，业务方通过某个字符串配置拿到的是Connection对象。
实例如下： ? 1
1. MemoryCahe NetCore中的缓存和System.Runtime.Caching很相似，但是在功能上做了增强，缓存的key支持object类型；提供了泛型支持；可以读缓存和单个缓存
argument是javascript中函数的一个特殊参数，例如下文，利用argument访问函数参数，判断函数是否执行 复制代码 代码如下: <script
一不小心装了一个Redis服务，开了一个全网的默认端口，一开始以为这台服务器没有公网ip，结果发现之后悔之莫及啊 某天发现cpu load高的出奇，发现一个minerd进程 占了大量cpu，googl
今天写这个是为了 提醒自己 编程过程 不仅要有逻辑 思想 还有要规范 代码 这样可读性 1、PHP 编程规范与编码习惯最主要的有以下几点： 1 文件说明 2 funct
摘要：虚拟机安装时一般都采用最小化安装，默认没有lspci工具。一台测试虚拟网卡性能的虚拟机，需要lspci工具来查看网卡的类型。本文描述了在一个虚拟机中安装lspci工具的具体步骤。 由于要测试
1、修改用户进程可打开文件数限制 在Linux平台上，无论编写客户端程序还是服务端程序，在进行高并发TCP连接处理时，最高的并发数量都要受到系统对用户单一进程同时可打开文件数量的限制(这是因为系统
目录 算术运算符 基本四则运算符 增量赋值运算符 自增/自减运算符 关系运算符 逻
如下所示： ? 1
MapperScannerConfigurer之sqlSessionFactory注入方式讲解 首先，Mybatis中的有一段配置非常方便，省去我们去写DaoImpl（Dao层实现类）的时间，这个
Linux的网络虚拟化是LXC项目中的一个子项目，LXC包括文件系统虚拟化，进程空间虚拟化，用户虚拟化，网络虚拟化，等等，这里使用LXC的网络虚拟化来模拟多个网络环境。 本文从基本的网络设备讲
? 1
我是一名优秀的程序员,十分优秀！