问题标签 [multimethod]

我想在 Python 中使用重载。我知道这是不可能的设计（Python 是动态类型语言），关于这个主题有相当好的线程。这就是为什么我可以使用多重调度（多方法）之类的东西。我正在考虑最好的解决方案，它可以为任何函数或类方法实现多次分派。是否有任何解决方案本身包含在 Python 中？

在我的情况下，使用 singledispatch（在 3.4 中添加到 Python）是不够的（因为只考虑了第一个参数的类型并且我需要多个）。

我也知道我可以使用关键字参数（即具有单个函数并通过检查所有参数来驱动行为），但是当你有很多参数和组合时它会变得复杂。

到目前为止，我能够找到这两个库（未包含在 Python 标准库中）：

• multimethod - 提供一个装饰器，用于向函数添加多个参数调度，可以使用与functools.singledispatch相同的注册样式，与注释一起使用，甚至可以与带注释的谓词一起使用，或者multimeta为类提供特殊的命名空间
• multipledispatch - 还为多参数调度提供装饰器，不适用于注释，与以前的库相比对我来说看起来不那么强大

基本用法如下所示：

或者

这个功能看起来很相似。

我主要有两个问题：

• 这些多个调度实现中的一个是否会比另一个带来任何（不利）优势？（例如支持的类型、速度、性能、限制……）它似乎具有可比性，但我不确定这一点，因为后者（multipledispatch）似乎更受欢迎（检查 GitHub 星星）但维护较少（我什至会说不太成熟）。
• 是否有任何其他解决方案（即使包含在 Python 标准库中）？

在一个新项目中，我不想在我的类的主体中定义方法，而是在我的类中multimethods专门使用和定义任何东西，除了数据成员。

换句话说，而不是这样：

我想写这个：

现在，我可以f使用方法语法调用：

并g使用函数语法：

然而，并非相反：

这意味着我必须放弃很多便利。特别是，实现类似__str__a 的东西multimethod不会给我在类中实现时会得到的那种行为。

调用print(B())输出类似于<__main__.B object at 0x7fb229c6a5b0>而不是的内容B(0)。

更进一步，甚至可以想象一个具有正确签名（如下somefn所示）的任意命名函数来填充__str__.

有没有办法让我的类的主体保持空白并做出适当的multimethods行为，就好像它们是在各自的主体中定义的一样？

诚然，我在这里尝试做的有点像选择退出 Python 的内置面向对象功能，并且至少部分地用更通用的东西替换它们。这似乎有点弯曲语言。那么，即使multimethods目前不完全支持这种互操作性，未来传统类和多分派之间的接口是否会变得更符合人体工程学？

你能告诉我这段代码有什么问题吗？

我得到的错误是：

有趣的是，这些片段确实有效：

或者

作为一点上下文，我想做的是建立一个层次结构并根据Iterable持有的类型调度不同的函数：

我有一个问题困扰着我。是否可以在不写名称的情况下使用实例的多种方法。我不是指静态方法。

语言：java

例如：类管理器的对象名 bibo

我想要的是这样的：

我在问，因为我在另一个项目中看到了这个，但不记得它是如何完成的或它是什么项目。

我想知道是否可以实现以下目标，如果可以，不需要太多额外的代码：

并获得输出：

但是，使用 python 3.9.6 运行此代码段会导致 functools.py 的第 742 行出现错误：

与singledispatch用户定义的类一样，实现这项工作的一种方法是对传递的列表中的元素进行类型检查，将传递的列表包装到一个表示 eg 的类中list[str]，并让调度的函数再次调用自身，并将新实例作为参数：

正如预期的那样，结果是：

然而，除了增加可扩展性之外，首先使用singledispatch的一个原因是规避冗长的类型检查，有些人认为这是一种反模式。当然，特别是对于这个解决方案，您需要定义乱扔代码的包装类（可能有更好的方法来实现这一点，我目前还没有看到，但第一点仍然存在）。

一个原因可能是这里避免了对“列表”的一种类型检查，但这仅通过一个 if/else 子句就降低了复杂性。

所以我实际上不会使用最后一种情况。

有谁知道如何像使用非复合类型一样优雅地获得这种行为？

我想这可以使用 3.10 中的模式匹配优雅地完成。那么，如果目前不可行，也许我应该等待它的推出和成熟？

当我使用多方法装饰器装饰函数时，我遇到了一个问题，即 lambda 抛出“'module' object is not callable”错误。我创建了一个任意示例来重新创建此问题。

如果我删除装饰器，它就可以工作。出于某种原因，我的函数一装饰就被视为一个模块。我正在使用层来包含多方法，但我认为这不是问题，因为其他装饰器之前已经工作过。