如何通过约定区分Python typing模块中的类型别名与实际类？

确实，这是Python typing模块里一个挺让人头疼的痛点——当我们用类型别名来分配复杂的类型签名时，虽然这些别名能和实际类型互换使用，但在代码里很容易和真正的类搞混，给开发和维护带来不少困惑。

举个直观的例子：
假设我们在某个文件顶部定义了一个类型别名：

from typing import List, Dict

# 类型别名：表示由字典组成的列表，字典的键是字符串、值是整数
MyComplexObject = List[Dict[str, int]]

然后在几百行代码之后，或者另一个导入了这个别名的文件里，看到这样的函数定义：

def process_data(obj: MyComplexObject) -> None:
    # 业务逻辑处理
    pass

这时候你根本没法一眼判断MyComplexObject到底是：

• 一个已经实现的、具备自身方法和属性的实体类，还是
• 仅仅是用typing模块组合出来的类型别名

如果是类型别名，它本质上只是个复合类型的“代号”，没法被实例化；但如果是实体类，你还能调用它的方法、访问它的属性——这种模糊性不仅会让开发者产生误解，在团队协作或维护老代码时，还得花费额外时间去溯源别名的定义，大大降低了代码的可读性和维护效率，尤其是当别名被重复使用在远离定义的位置时，这个问题会更突出。

几个实用的缓解技巧 #

• 统一命名约定：给类型别名加上专属后缀，比如Type，比如把上面的MyComplexObject改成MyComplexObjectType，这样看到名字就能立刻识别这是个类型别名，而非实体类。
• 显式标注类型别名（Python 3.10+）：从Python 3.10开始，可以用typing.TypeAlias（旧版本可借助typing_extensions.TypeAlias）来显式声明类型别名，让意图更明确：

  from typing import TypeAlias, List, Dict
  
  MyComplexObject: TypeAlias = List[Dict[str, int]]
  

  这样不仅人类开发者能一眼看懂，静态类型检查器（如mypy）也能更准确地处理这个别名。
• 集中管理或就近定义：如果需要使用复杂的类型别名，要么将它们集中放在一个专门的类型定义文件（比如types.py）中，要么在靠近使用的位置定义，方便快速查阅其真实含义。

内容的提问来源于stack exchange，提问作者gmolau