如何使用 typing 模块来创建可以是特定字符串的类型？
例如假设我需要一个类型CondOperator，它可以是这些字符串中的任何一个：
['=', '>', '<', '>=', '<=', '<>', '!=']
我希望有CondOperator = String['=', '>', '<', '>=', '<=', '<>', '!=']，但typing 中没有String。所以这行不通。
如何定义这样的类型？
【问题讨论】：
typing 是错误的工具。您正在尝试检查字符串的 value，而不是 type。如果您想要类型安全，请使用枚举。
标签： python python-3.x typing
Python 3.8 在typing 中引入了Literal 类型。它也可以通过以前版本的 Python 中的 typing_extensions 包访问。使用Literal，您可以将类型定义为：
from typing import Literal
CondOperator = Literal['=', '>', '<', '>=', '<=', '<>', '!=']
Literal 上的 mypy docs 值得一读。
【讨论】：
x 显式标记为文字（x: CondOperator = '>' 或x: Literal['>'] = '>'）或将其标记为最终版本（x: Final = '>'）来强制其为文字。无论哪种方式，它都会检查您是否将x 提供给接受CondOperator 的函数。