Python 加引号的 Typing Hint 解惑

在 Python 类型标注中，有时会看到由引号括起来的类型，例如 Type['Model']。这并非将 Model 类型的标识符更改为字符串，反而是一个微妙的语法特性。

延迟求值类型标注

某些类型的标注在程序运行时才被完全定义。在 Python 中，可以在方法的参数中使用未定义的标识符作为类型标注。为了解决这个问题，可以使用字符串来代表这些类型。

立即学习“Python免费学习笔记（深入）”；

Model 类型只是一个例子。在类定义完成之前，无法直接使用 Model 作为方法的类型标注。因此，可以使用一个字符串 "Model" 来表示这个类型。

Python Hardener

通过完整的安全审查、代码整洁重构、健壮的错误处理、正确的日志记录以及完整的文档字符串覆盖，强化 Python 脚本。

下载

动态求值背后的机制

PEP 563 引入了动态求值类型标注的机制。这允许无论类型标注的初始形式如何，在实际使用时都将其转换为字符串。之后，Python 会在运行时解析这个字符串，并将类型标注替换为实际类型。

防止名称冲突

在早期版本的 Python 中（例如 Python 3.6），使用加引号的类型标注可以防止名称冲突。假设存在一个函数 model()，如果将 Model 直接作为参数类型标注，则可能会与 model() 函数混淆。通过使用 'Model'，可以明确指定这是一个类型标注，避免名称冲突。

未来展望

通过 from __future__ import annotations，Python 允许提前启用 PEP 563 的动态求值特性。这使得可以在未定义类的情况下使用其类型标注，简化了代码的编写。