第十章-语义分析之类型检查

Posted extjs4

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了第十章-语义分析之类型检查相关的知识,希望对你有一定的参考价值。

 

由于Java是静态类型的语言,所以在编译阶段,所有的变量都能得出确定的类型。

 

1、类型循环继承、循环引用

Java是单继承的,也就是说Java只能继承一个实现类。但是在继承过程中可能会形成循环,接口也是。

 

 

2、表达式的类型检查

 

以上是关于第十章-语义分析之类型检查的主要内容,如果未能解决你的问题,请参考以下文章

如何实现语义分析中的类型检查

关于语义分析的简单总结

从零写一个编译器:语义分析之符号表的数据结构

读龙书学编译原理 语义分析...

java并发学习--第十章 java内存模型的内存语义

语义分析