Python中多类型联合type hints与ABC继承体系的差异对比

基础概念回顾 #

• Python是动态语言，类型在运行时动态确定，遵循**鸭子类型（Ducktyping）**原则：对任意对象x，可以直接执行x.some_function()或x.some_property = y，无需提前确认x是否具备对应的属性或方法。
• Python支持类继承，同时通过abc模块提供**抽象基类（abstract base classes）**机制：用@abstractmethod装饰器标记的抽象方法，会阻止子类在未实现这些方法时被实例化，本质是运行时的保护逻辑，类似在__init__中检查方法是否存在。

核心问题：两种返回类型提示的差异 #

我们聚焦类型提示与静态分析工具（比如VS Code的Pylance）的交互场景。假设有如下继承体系：

class AbstractMessage():
    pass

class GetterMessage(AbstractMessage):
    pass

class SetterMessage(AbstractMessage):
    pass

这里的抽象基类AbstractMessage并非必需，移除它不影响GetterMessage和SetterMessage的运行效果。

现在有两种方式标注返回任意一种消息类型的函数：

# 方式1：显式列出所有可能类型
def example_function() -> GetterMessage|SetterMessage:
    pass

# 方式2：使用抽象基类
def example_function() -> AbstractMessage:
    pass

def example_code_block():
    return_value = example_function()
    return_value. # <- 静态分析器在此处提供代码提示

这两种类型标注的差异是什么？有没有偏好某一种的理由？是否存在必须选其中一种的场景？

直观上二者效果相似，但当返回类型之间无关联、无法纳入同一继承体系时，必须用|语法指定多个返回类型。

静态分析器行为测试 #

以下测试基于VS Code + Pylance环境（版本差异可能导致结果不同），展示两种标注方式下的代码提示差异：

class Type1():
    def common_function(self):
        pass
    def function_1(self):
        pass

class Type2():
    def common_function(self):
        pass
    def function_2(self):
        pass

class AbstractBaseType():
    def abstract_base_type_function(self):
        pass

class ConcreteType1(AbstractBaseType):
    def common_function(self):
        pass
    def function_1(self):
        pass

class ConcreteType2(AbstractBaseType):
    def common_function(self):
        pass
    def function_2(self):
        pass

# 方式1：用|指定联合类型
def example_function_1(input: str) -> Type1 | Type2:
    if input == 'Type1':
        return Type1()
    else:
        return Type2()

# 方式2：用抽象基类
def example_function_2(input: str) -> AbstractBaseType:
    if input == 'Type1':
        return ConcreteType1()
    else:
        return ConcreteType2()

def test_function():
    my_object_1 = example_function_1("test")
    my_object_2 = example_function_2("test")
    
    my_object_1. # <- 提示包含common_function()、function_1()、function_2()
    my_object_2. # <- 提示仅包含abstract_base_type_function()

测试结论：使用Type1|Type2的联合类型语法时，静态分析器会提供所有可能类型的完整方法/属性列表；而使用抽象基类作为返回类型时，仅会提示抽象基类本身定义的成员。

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