【Simple Java】Java中靜態類型檢查是如何進行的，simplejava

【Simple Java】Java中靜態類型檢查是如何進行的，simplejava

以下內容來自維基百科，關於靜態類型檢查和動態類型檢查的解釋：

• 靜態類型檢查：基於程序的源代碼來驗證類型安全的過程；
• 動態類型檢查：在程序運行期間驗證類型安全的過程；

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類型；

譯文鏈接：http://www.programcreek.com/2011/12/an-example-of-java-static-type-checking/