MyPy簡介-Python教學-PHP中文網

MyPy簡介

王林

發布： 2024-08-12 18:33:29

原創

619 人瀏覽過

MyPy Introduction

介紹

MyPy¹ 是 Python 的靜態型別檢查器。與 C++ 或 Java 等靜態類型語言不同，Python 是動態類型的。這意味著在 Python 中，您不必明確聲明變數的類型；它是在運行時推斷的。例如：

Python（動態型別）

num = 4                # `num` is inferred as an integer
newString = "new string"  # `newString` is inferred as a string

登入後複製

相較之下，靜態類型語言要求您在編譯時指定每個變數的類型。這有助於在開發期間而不是在運行時捕獲與類型相關的錯誤。

C++（靜態型別）

int num = 4;            // `num` is declared as an integer
std::string newString = "new string";  // `newString` is declared as a string

登入後複製

為什麼要使用 MyPy？

在像 Python 這樣的動態類型語言中，運行時可能會發生類型錯誤，這可能會導致更難以追蹤的錯誤。 MyPy 透過允許您在 Python 程式碼中新增類型提示來解決這個問題，這些提示可以在執行前進行靜態檢查。這有幾個優點：

早期錯誤檢測：在開發過程中識別與類型相關的錯誤，而不是在運行時遇到它們。
提高程式碼可讀性：型別提示闡明變數和函數參數的預期類型，增強程式碼可讀性。
更好的 IDE 支援：在支援類型提示的 IDE 中提供改進的程式碼完成和內聯文件。

MyPy 的範例

這是一個簡單的範例，示範了 MyPy 中類型提示的使用：

沒有類型提示

def add(a, b):
    return a + b

print(add(5, 3))      # Output: 8
print(add("hello", "world"))  # Output: helloworld

登入後複製

在上面的程式碼中，add 函數可以接受整數和字串，這可能不是預期的行為。

帶類型提示

def add(a: int, b: int) -> int:
    return a + b

print(add(5, 3))      # Output: 8
# mypy will report an error for the following line:
# print(add("hello", "world"))  # TypeError: Expected int, got str

登入後複製

透過包含型別提示（a: int, b: int），您可以指定 add 只適用於整數。 MyPy 根據這些類型提示檢查程式碼，儘早發現潛在的類型相關問題。

安裝並運行 MyPy

開始使用 MyPy：

安裝：使用 pip 安裝 MyPy：

   python3 -m pip install mypy

登入後複製

執行 MyPy：安裝後，您可以執行 MyPy 檢查程式碼是否有類型錯誤。使用以下命令：

   mypy program.py

登入後複製

此指令將靜態檢查您的程式碼，類似於編譯器檢查 C++ 語法的方式。它會報告它發現的任何類型錯誤，而無需實際運行程式碼。

有效地使用 MyPy 可以讓您將靜態類型的優勢整合到 Python 中，同時仍然享受其動態特性的靈活性。

讓我們用 MyPy 寫一個範例

沒有 MyPy

def greeting(name):
    return 'Hello ' + name

# These calls will fail when the program runs, but MyPy will not report an error
greeting(123)
greeting(b"Aniket")

登入後複製

使用 MyPy

透過新增類型註解（也稱為類型提示），MyPy 可以偵測潛在問題：

def greeting(name: str) -> str:
    return 'Hello ' + name

greeting(3)         # mypy will report: Argument 1 to "greeting" has incompatible type "int"; expected "str"
greeting(b'Alice')  # mypy will report: Argument 1 to "greeting" has incompatible type "bytes"; expected "str"
greeting("World!")  # No error

登入後複製

這裡：