为何Python中以基类为参数的Callable类型提示与子类参数不兼容？

你的代码场景 #

类定义 #

class MessageBase:
    pass

class MessageChild(MessageBase):
    pass

待返回的函数 #

def action(message: MessageChild):
    pass

报错的类型标注函数 #

def get_action() -> Callable[[MessageBase], None]:
    return action

Pylance报错信息 #

Expression of type "(message: MessageChild) -> None" cannot be assigned to return type "(MessageBase) -> None"
  Type "(message: MessageChild) -> None" cannot be assigned to type "(MessageBase) -> None"
    Parameter 1: type "MessageBase" cannot be assigned to type "MessageChild"
      "MessageBase" is incompatible with "MessageChild"

问题原因 #

你搞反了函数类型的兼容性逻辑：

• 普通对象的兼容性是子类可以赋值给基类（比如MessageChild()可以当MessageBase用），这叫「协变」。
• 但函数参数的兼容性是基类可以赋值给子类，反过来不行——这叫「逆变」。

具体到你的场景：如果get_action的返回类型标注为接受MessageBase，调用方就会认为这个返回的函数能处理任何MessageBase实例，包括那些不是MessageChild的纯基类对象。但你的action函数只能处理MessageChild，强行这么标注会埋下运行时错误的隐患，所以Pylance直接报错阻止你。

举个直白的例子：假设MessageBase没有child_method，但MessageChild有，action里调用了message.child_method()。如果调用方用get_action()拿到函数后传入纯MessageBase实例，直接就会抛出属性不存在的错误。类型检查器就是在提前避免这种情况。

修复方案 #

方案1：修正返回类型标注 #

如果你确定调用方只会传入MessageChild给返回的函数，直接把返回类型改成对应MessageChild的Callable：

from typing import Callable

def get_action() -> Callable[[MessageChild], None]:
    return action

方案2：修改目标函数的参数类型 #

如果你确实需要返回一个能处理所有MessageBase的函数，就得把action的参数类型改成MessageBase，确保它能兼容所有基类实例：

def action(message: MessageBase):
    pass

def get_action() -> Callable[[MessageBase], None]:
    return action

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