什麼是類型檢查？

類型檢查通常由編譯器執行，以驗證所有操作是否已收到適當數量的參數和資料類型。有兩種類型的系統，分別是：

靜態型別檢查

在靜態類型檢查中，不需要執行程式來檢查它。編譯器在編譯時執行靜態型別檢查。

當程式中存在錯誤時，靜態類型檢查非常有用，因為可以在運行之前檢測到錯誤。它有助於提高可靠性和安全性。

靜態類型檢查的一個例子是 C 語言，在程式中使用變數之前必須先宣告變數。如果您不聲明它們，那麼編譯器將顯示錯誤，並且您將無法執行您的程式。

動態類型檢查

動態類型檢查直到運行時或執行時才會發生。動態類型檢查非常有用，因為它允許我們在不事先了解類型的情況下編寫程式。在我們只需要在運行時檢查類型的場景中。

最常見的類型檢查形式包括為電腦程式中的每個變數、參數和函數傳回值指派資料類型。根據指派給這些值的類型，允許進行適當的操作（例如，添加兩個整數變數以產生另一個整數或連接兩個字串以產生另一個字串）。類型檢查確保這些操作對於其預期目的是有效的。

在某些程式語言（例如 C）中，類型檢查由編譯器執行；在其他情況下（例如 PHP），它可以推遲到運行時（在這種情況下，它可以稱為動態類型檢查）。

某些語言允許程式設計師定義新類型，以便他們的程式可以在演算法中使用這些類型。其他語言允許程式設計師在執行時將任意屬性與值關聯。

許多語言都涉及這兩種方法；例如，Java 提供預定義類型並允許程式設計師建立新類別或擴展現有類別（即定義新類型）。某些語言（例如 Perl 和 Python）也執行類型推斷，並且不需要任何類型聲明。