1. 程式人生 > >第十章-語義分析之類型檢查

第十章-語義分析之類型檢查

編譯 表達式 第十章 階段 靜態 實現 循環 由於 靜態類型

由於Java是靜態類型的語言,所以在編譯階段,所有的變量都能得出確定的類型。

1、類型循環繼承、循環引用

Java是單繼承的,也就是說Java只能繼承一個實現類。但是在繼承過程中可能會形成循環,接口也是。

2、表達式的類型檢查

第十章-語義分析之類型檢查