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

网友投稿 237 2023-07-17


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

以下内容来自维基百科,关于静态类型检查和动态类型检查的解释:

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

•动态类型检查:在程序运行期间验证类型安全的过程;

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

以下代码是一个例子,理解了他,你会更好的理解Java静态类型检查是如何工作的。

代码示例

假定我们有如下类,A和B,B继承A。

class A {

A me() {

return this;

}

public void doA() {

System.oupBdxzDt.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();

接下来,我们http://添加一个C类:

class C extends A{

public void doBad() {

System.out.println("Do C");

}

}

那么,下面的代码语句将通过静态类型检查:

//legal

((C) new B().me()).beBad();

编译器不知道它的真实类型,但是在运行期间将会抛出异常,因为B类型不能转换成C类型;

以上所述是给大家介绍的Java中静态类型检查是如何进行的实例思路详解的相关知识,希望对大家有所帮助,如果大家有任何疑问请给我留言,会及时回复大家的。在此也非常感谢大家对我们网站的支持!


版权声明:本文内容由网络用户投稿,版权归原作者所有,本站不拥有其著作权,亦不承担相应法律责任。如果您发现本站中有涉嫌抄袭或描述失实的内容,请联系我们jiasou666@gmail.com 处理,核实后本网站将在24小时内删除侵权内容。

上一篇:使用JavaWeb webSocket实现简易的点对点聊天功能实例代码
下一篇:由ArrayList来深入理解Java中的fail
相关文章

 发表评论

暂时没有评论,来抢沙发吧~