MyPy简介

介绍

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：

1. 安装：使用 pip 安装 MyPy：

   python3 -m pip install mypy

1. 运行 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

这里：

• name: str 注释指定 name 参数应该是一个字符串。
• -> str注释指定函数greeting将返回一个字符串。

何时使用 MyPy

MyPy 在多种情况下很有用：

• 尽早捕获错误：在运行代码之前使用 MyPy 查找与类型相关的错误。这有助于及早发现错误并提高代码可靠性。

• 使代码更清晰：添加类型提示使您的代码更易于理解。它显示了期望的值类型，这有助于其他人（以及未来的你）更好地理解你的代码。

• 升级旧代码：更新旧代码时，MyPy 会在您添加类型提示时帮助发现类型问题，使过渡更加平滑。

• 改进原型：构建新功能或原型时，MyPy 通过强制执行类型规则来帮助确保新代码与现有代码正确配合。

• 维护大型项目：在有许多贡献者的大型项目中，MyPy 有助于保持代码一致性并防止与类型相关的错误。

• 增强 IDE 功能：如果您使用 IDE，MyPy 会改进代码补全和导航等功能，使开发更轻松。

使用 MyPy 可以帮助您编写更好、更可靠的 Python 代码，同时仍然享受 Python 的灵活性。

mypy 的官方快速备忘单

---

1. 官方文档↩

以上是MyPy简介的详细内容。更多信息请关注PHP中文网其他相关文章！