Python 3.12 type 语句简介
Python 3.12引入了type语句，提供了一种更简洁、更明确的方式来定义类型别名。在此之前，类型别名通常使用typing.TypeAlias或直接赋值来创建。type语句的引入旨在提高类型提示的可读性和一致性。
例如，我们可以使用type语句定义一个表示数字的类型别名：
type Number = int | float
这使得代码在表达意图时更加清晰，Number现在可以作为int或float的替代类型提示。
类型别名文档化的困境
在Python中，为函数、类或方法添加文档字符串（docstring）是一种标准且被广泛接受的文档化实践。当一个字符串作为函数、类或方法的第一个语句出现时，它会自动赋值给该对象的__doc__属性，从而在运行时提供可访问的文档。
立即学习“Python免费学习笔记（深入）”；
例如：
def greet(name: str) -> str:
"""这是一个问候函数。"""
return f"Hello, {name}!"
class MyClass:
"""这是一个示例类。"""
def __init__(self):
pass
print(greet.__doc__) # 输出: 这是一个问候函数。
print(MyClass.__doc__) # 输出: 这是一个示例类。然而，对于使用type语句定义的类型别名，这种标准的docstring机制似乎并不奏效。尝试将docstring直接放在类型别名定义之后，并不能将其关联到该类型别名上：
type Number = int | float """Represents a scalar number that is either an integer or float""" # 运行时无法通过 Number.__doc__ 访问此文档
这种做法不会将字符串内容作为Number类型别名的__doc__属性。这是因为type语句在内部处理类型别名的方式与函数或类的定义有所不同，它没有提供隐式的机制来将紧随其后的字符串赋值给__doc__。
显式 __doc__ 赋值的限制
既然隐式赋值无效，那么尝试显式地为类型别名的__doc__属性赋值是否可行呢？例如：
type Number = int | float Number.__doc__ = "Represents a scalar number that is either an integer or float"
然而，这种尝试会导致一个AttributeError：
AttributeError: 'typing.TypeAliasType' object attribute '__doc__' is read-only
错误信息明确指出，typing.TypeAliasType对象的__doc__属性是只读的，这意味着我们无法在运行时通过直接赋值的方式为其添加或修改文档。这进一步确认了目前Python标准库中，没有直接且受支持的方式来为type语句定义的类型别名提供可运行时访问的文档字符串。
当前实践与工具依赖
鉴于上述限制，目前为type语句定义的类型别名提供文档，主要依赖于以下两种方式：
- 利用静态分析工具： 许多现代IDE（如PyCharm、VS Code配合Pylance）和文档生成工具（如Sphinx）在生成文档或提供代码提示时，会执行静态代码分析。它们不依赖于运行时__doc__属性，而是通过分析代码结构、注释和附近字符串来推断文档信息。
- 采用行注释作为文档： 最直接且目前最有效的方法是使用标准的行注释（#）直接在类型别名定义上方或旁边添加描述性文本。这些注释虽然不会成为__doc__属性的一部分，但可以被静态分析工具捕获并用于生成文档或提供上下文帮助。
推荐的注释方式：
# Represents a scalar number that is either an integer or float. # 可以是整数或浮点数。 type Number = int | float # Another example: # A list of strings, representing a collection of names. type NameList = list[str]
注意事项：
- 工具兼容性： 不同的静态分析工具和文档生成器对注释的解析能力可能有所不同。建议查阅您使用的具体工具的文档，了解其如何处理此类非标准文档。
- 一致性： 在项目中保持注释风格的一致性非常重要，以便于团队成员理解和工具解析。
- 目的明确： 明确注释是为了提供人类可读的文档，而非运行时可访问的属性。
总结
Python 3.12中type语句引入的类型别名，虽然提升了类型提示的清晰度，但在文档化方面存在一定的局限性。由于TypeAliasType实例的__doc__属性是只读的，目前无法通过标准docstring机制或显式赋值在运行时为其添加文档。
因此，当前最佳实践是依赖于静态分析工具和行注释。通过在类型别名定义上方添加清晰的行注释，可以确保IDE和文档生成工具能够捕获这些描述，从而为开发者提供必要的上下文信息。随着Python语言的演进，未来可能会有更完善的机制来解决这一文档化挑战。
