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类型；
本文章为转载内容，我们尊重原作者对文章享有的著作权。如有内容错误或侵权问题，欢迎原作者联系我们进行内容更正或删除文章。
