在 Python 3.5 引入的 Type Hints 功能为 Python 代码的静态类型检查提供了支持，使得开发者能够更好地管理代码的类型信息，提高代码的可读性和可维护性。除了常见的类型注解外，Python Type Hints 还有一些冷门但实用的特性，本文将带你深入探索这些特性。
- Union Types（联合类型）
在 Type Hints 中，我们可以使用 Union 类型来指定一个变量可以接受多种不同类型的值。这在处理参数为多种类型的情况下非常有用，例如：
from typing import Union
def square(number: Union[int, float]) -> Union[int, float]:
return number ** 2在上面的示例中，number 参数可以是 int 或 float 类型，返回值也可以是 int 或 float 类型。
- Type Aliases（类型别名）
Type Aliases 允许我们为复杂的类型注解定义别名，使代码更具可读性和可维护性。例如，我们可以使用 TypeVar 和 Union 来创建一个复杂的类型别名：
from typing import TypeVar, Union
Numeric = TypeVar('Numeric', int, float)
Vector = Union[Numeric, tuple[Numeric, Numeric]]然后，我们可以在代码中使用 Numeric 和 Vector 来代替对应的类型注解，使代码更加清晰易懂。
- TypeVar and Generic Types（类型变量和泛型类型）
TypeVar 允许我们创建泛型类型变量，使函数、类和方法更加灵活和通用。结合 Generic 类型，我们可以轻松地定义泛型函数和类，例如：
from typing import TypeVar, Generic
from collections.abc import Iterable
T = TypeVar('T')
class Stack(Generic[T]):
def __init__(self) -> None:
self._items: list[T] = []
def push(self, item: T) -> None:
self._items.append(item)
def pop(self) -> T:
return self._items.pop()
def __len__(self) -> int:
return len(self._items)
def print_items(items: Iterable[T]) -> None:
for item in items:
print(item)在上面的示例中，我们使用了 TypeVar 和 Generic 来定义了一个通用的栈类 Stack 和一个接受任意可迭代对象的打印函数 print_items。
- Literal Types（字面量类型）
字面量类型允许我们指定一个变量只能接受特定的字面量值。这在需要限制参数的取值范围时非常有用，例如：
from typing import Literal
def greet(name: Literal['Alice', 'Bob']) -> str:
return f"Hello, {name}!"
print(greet('Alice')) # 输出：Hello, Alice!在上面的示例中，name 参数只能是 'Alice' 或 'Bob'，如果传入其他值将会触发类型检查错误。
- Final Variables（不可变变量）
通过使用 Final 类型注解，我们可以将变量标记为不可变的，防止其被重新赋值。这有助于提高代码的可维护性和安全性，例如：
from typing import Final
MAX_RETRY: Final = 3
def perform_action() -> None:
for _ in range(MAX_RETRY):
# 进行操作在上面的示例中，MAX_RETRY 被标记为不可变变量，确保其在代码中不会被修改。
Python Type Hints 中的这些冷门特性提供了更多的工具和选项，帮助开发者更好地利用类型注解来提高代码质量和可维护性。通过合理地运用这些特性，我们可以编写出更加清晰、可靠的 Python 代码。
