静态类型检查与继承

最新推荐文章于 2024-08-26 00:00:00 发布

yqj2065

最新推荐文章于 2024-08-26 00:00:00 发布

阅读量1.6k

点赞数

分类专栏：《编程导论(Java)》道&理文章标签： Java 编程导论类型检查

本文链接：https://blog.csdn.net/yqj2065/article/details/39699267

版权

《编程导论(Java)》道&理专栏收录该内容

94 篇文章 11 订阅

订阅专栏

本文探讨了Java中的类型检查概念，包括静态类型检查和运行时类型检查的区别。通过具体的代码示例，展示了如何在Java中处理子类扩展过程中可能出现的类型不匹配问题，并解释了编译错误和运行时异常产生的原因。

摘要由CSDN通过智能技术生成

类型检查(type checking)是指确认任一表达式的类型并保证各种语句符合类型的限制规则的过程。Java是静态类型检查的语言，但是仍然需要运行期类型检查，并抛出可能的运行时异常。

Wiki:
Static type-checking is the process of verifying the type safety of a program based on analysis of a program's source code.
Dynamic type-checking is the process of verifying the type safety of a program at runtime

package typeSystem;
import static tips.Print.*;//pln()

class Sup{
    Sup me() { return this;} 
    public void inSup() {pln("Sup");}
}
class Sub extends Sup {
    public void inSub() {pln("Sub");}
}

①"new Sub().me()"返回的是什么？

A：返回的对象实际类型Sub，声明类型Sup。编译器只知道me()在Sup中返回Sup，运行时子类继承me()并返回this。

② new Sub().me().inSub(); 为什么编译错误？

A：“子类扩展的丧失”。编译器只知道new Sub().me()为Sup类型，而Sup中没有子类特定的方法。

new Sub().me() 现在只能够调用.inSup()。

((Sub)new Sub().me()).inSub(); //可以向下造型

③假设Sub2 extends Sup，有方法 inSub2。((Sub2)new Sub().me()).inSub2(); 会怎样？

A：编译合法，但是运行时抛出 java.lang.ClassCastException: typeSystem.Sub cannot be cast to typeSystem.Sub2