Python子类重写方法时，强制传默认关键字参数是否为不良设计？

问题描述 #

我需要判断：当调用者未覆盖默认关键字参数值时抛出异常，这种设计是否属于不良设计？换句话说，带默认值的关键字参数是不是必须被调用者当作可选参数？

我的核心目标是在不破坏旧代码的前提下扩展功能，遇到的场景如下：

• 基类定义方法签名：foo()
• 子类需要扩展foo()的功能，但这需要额外信息
• 因此子类重写foo()，添加一个用于捕获额外信息的关键字参数：foo(bar=None)
• 但子类的foo实现无法使用bar=None的值，必须要求调用者提供有效的bar值（用None是为了避免显式破坏继承关系）

从设计角度来看，如果调用者未显式提供bar值（比如child.foo(bar='some_value')）就抛出异常（例如TypeError），这种做法算不算不良设计？

详细背景 #

我正在设计一个Python库，用来控制远程系统——最终是通过调用远程系统的命令行工具实现的。这个库的核心是抽象远程系统的细节（比如软件版本、运行环境、操作系统），让用户能专注于控制系统本身。本质上就是把Python操作转换成Shell命令，再执行这些命令，用于远程系统的自动化黑盒测试。

这个库需要兼容多个版本的远程软件（比如v1、v2、v3），而不同版本的命令语法可能有差异（比如某个命令在新版本中需要更多参数）。我希望在尽可能减少代码重复的前提下解决这个版本兼容问题。

我提出的方案是：先创建包含v1所有命令的基类，然后为v2创建子类，只重写那些自v1以来语法发生变化的方法。这样用户可以根据测试的软件版本，在需要时添加新参数，不用修改方法签名破坏继承关系。

比如下面的简化示例：BaseCommands包含v1的所有命令，CommandsVersion2重写了语法变化的start_system方法——v2启动系统需要额外的username参数，如果调用者没提供这个参数就抛出异常。

代码示例 #

import datetime

class BaseCommands:
    """ 构建将在远程系统上执行的Shell命令。 """
    
    @staticmethod
    def display_message(*, message: str) -> str:
        """ 在远程系统上显示消息的命令。 """
        timestamp = datetime.now().strftime("%d-%m-%Y, %H:%M:%S")
        return f'config.sh -display \"[{timestamp}] {message}\"'


    @staticmethod
    def start_system() -> str:
        """ 启动远程系统的命令。 """
        return 'config.sh -start'


class CommandsVersion2(BaseCommands):
    """ 定义软件v2可用的命令。"""

    @staticmethod
    def start_system(*, username: str = None) -> str:
        """ 软件v2需要指定启动系统的用户。 """
        if username is None:
            raise TypeError('username is required in Software v2.')
        return f'config.sh -start -user \"{username}\"'

测试代码示例 #

v1_tests.py

@test
def test_startup():
    cmd = BaseCommands.start_system()
    result = LinuxTerminal().run(cmd)
    assertTrue(result.success)

v2_tests.py

@test
def test_startup():
    cmd = CommandsVersion2.start_system(username="test_user")
    result = LinuxTerminal().run(cmd)
    assertTrue(result.success)

设计判断与优化建议 #

这种设计确实属于不良实践，原因如下：

1. 违背用户预期：带默认值的参数在Python里的语义就是“可选”，用户看到username: str = None时，会自然认为这个参数可以不用传，抛出异常会打破这种预期，增加使用困惑。
2. 破坏里氏替换原则（LSP）：基类的start_system()不需要参数，子类重写后却强制要求参数，这违反了继承的契约——原本能正常使用基类的代码，换成子类后会报错，破坏了多态的可靠性。

更好的替代方案 #

方案1：用抽象基类定义明确接口

把不同版本的命令定义成独立的实现类，基类作为抽象接口明确声明方法契约，避免模糊的默认值：

from abc import ABC, abstractmethod
import datetime

class BaseCommands(ABC):
    @staticmethod
    def display_message(*, message: str) -> str:
        timestamp = datetime.now().strftime("%d-%m-%Y, %H:%M:%S")
        return f'config.sh -display \"[{timestamp}] {message}\"'

    @abstractmethod
    def start_system(self) -> str:
        pass

class CommandsVersion1(BaseCommands):
    @staticmethod
    def start_system() -> str:
        return 'config.sh -start'

class CommandsVersion2(BaseCommands):
    @staticmethod
    def start_system(*, username: str) -> str:
        return f'config.sh -start -user \"{username}\"'

每个版本的方法签名都是明确的，用户不会产生误解，也符合接口契约。

方案2：直接修改方法签名（若兼容需求允许）

如果不需要让旧代码直接调用子类的start_system()，可以直接去掉默认值，让语法错误在调用时就触发，比运行时抛异常更直观：

class CommandsVersion2(BaseCommands):
    @staticmethod
    def start_system(*, username: str) -> str:
        """
        软件v2需要指定启动系统的用户。
        :param username: 必填参数，启动系统的用户名
        """
        return f'config.sh -start -user \"{username}\"'

方案3：在初始化阶段传入版本依赖参数

如果多个方法都依赖版本相关的参数，可以把必填参数移到类初始化时传入，保持方法签名和基类一致：

import datetime

class BaseCommands:
    def __init__(self, username=None):
        self.username = username

    def display_message(self, *, message: str) -> str:
        timestamp = datetime.now().strftime("%d-%m-%Y, %H:%M:%S")
        return f'config.sh -display \"[{timestamp}] {message}\"'

    def start_system(self) -> str:
        return 'config.sh -start'

class CommandsVersion2(BaseCommands):
    def __init__(self, username: str):
        super().__init__(username=username)
        if not username:
            raise ValueError('username is required for Software v2.')

    def start_system(self) -> str:
        return f'config.sh -start -user \"{self.username}\"'

这样把版本相关的校验提前到初始化阶段，既保证了必填参数的要求，又不破坏方法签名的兼容性。

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