如何仅为@abstractmethod的部分参数指定类型提示？

mypy、PyCharm内置类型检查器对方法重写的校验遵循里氏替换原则（LSP）：

• 子类重写的方法必须能接收父类方法签名允许传入的所有参数，否则父类引用指向子类实例时，按父类签名传参会触发运行时错误
• 子类可新增自定义参数，但新增参数不能导致「按父类签名传参调用时出现缺参错误」，即新增参数要么带默认值，要么归入可变参数列表

你当前写法存在两个核心问题：

• 父类抽象方法声明了*args: Any, **kwargs: Any，等于告知类型检查器该方法可接收任意数量的额外位置、关键字参数，此时子类重写方法如果没有对应可变参数承接多余入参，就会被判定为不符合重写规则，这就是Bicycle、Motorcycle类报错的直接原因
• 示例中Motorcycle.update的gas_left: float是无默认值的必填位置参数，本身就违反LSP：如果存在通用调用逻辑def trigger_update(bike: Bike, w1: Wheel, w2: Wheel): bike.update(w1, w2)，传入Motorcycle实例时会直接因缺少gas_left参数抛出运行时错误，类型检查器对该情况的报错是符合类型安全逻辑的。

方案1：标准LSP兼容写法（无需修改检查器配置，兼容所有类型检查工具） #

父类抽象方法只定义强制要求的必填参数，不要额外声明*args/**kwargs；子类新增自定义参数时，要么给参数设置默认值，要么自行添加可变参数承接额外入参即可：

from typing import Any
from abc import ABC, abstractmethod


class Wheel: pass

class Bike(ABC):
    @abstractmethod
    # 父类仅声明强制要求的必填参数，不提前声明可变参数
    def update(self, front_wheel: Wheel, back_wheel: Wheel) -> None: pass


class Unicycle(Bike):
    # 缺少必填参数back_wheel，类型检查报错，符合预期拦截逻辑
    def update(self, front_wheel: Wheel) -> None:
        ...

class Bicycle(Bike):
    # 参数与父类完全匹配，类型检查直接通过
    def update(self, front_wheel: Wheel, back_wheel: Wheel) -> None:
        ...

class Motorcycle(Bike):
    # 新增参数设置默认值，按父类签名传两个参数时不会缺参，类型检查通过
    def update(self, front_wheel: Wheel, back_wheel: Wheel, gas_left: float = 0.0) -> None:
        ...

class CustomBike(Bike):
    # 需要接收任意自定义参数时，子类自行添加*args/**kwargs即可，类型检查通过
    def update(self, front_wheel: Wheel, back_wheel: Wheel, *args: Any, **kwargs: Any) -> None:
        ...

该写法完全匹配你的诉求：

• 缺少必填参数的实现（如Unicycle）会被类型检查正常拦截
• 参数与父类要求完全一致的实现（如Bicycle）可正常通过检查
• 需要添加自定义参数的子类，可自由定义新增参数的类型，只要保证按父类签名传参不会触发缺参错误即可。

方案2：放宽重写校验（仅适用于明确无多态调用的场景） #

如果业务逻辑中不会通过Bike类型的父类引用多态调用update方法（所有子类实例都是直接显式调用，不存在通用传参逻辑），可以修改mypy配置关闭重写参数严格校验：
在mypy配置文件（mypy.ini或pyproject.toml）中添加如下配置：

[mypy]
# 关闭子类重写方法的参数严格匹配校验
disable_error_code = override

PyCharm中可在设置 -> 编辑器 -> 检查 -> Python -> 类型检查器中调整方法重写的校验规则关闭对应报错。

⚠️ 注意：该方案会隐藏真实的类型安全风险，可能导致运行时缺参错误，非特殊场景不建议使用。

你最初在父类添加*args, **kwargs的初衷是想告知类型检查器“子类可以新增任意额外参数”，但类型系统的判定逻辑是反向的：父类签名声明可接收任意参数，意味着所有子类都必须能承接任意额外参数，否则就不符合替换规则。可变参数的声明应该放在需要接收额外参数的子类中，而非父类抽象层。

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