Python函数参数类型依赖关系

Question

这是一个强制其参数类型之间存在依赖关系的函数:

def example(a: Optional[int], b: Optional[int]) -> int:
    if a is None and b is None:
        raise TypeError("One of a and b can be None, but not both.")
    return 42

• 有没有办法在 Python 的类型注释语法中表达这种依赖性，而不是运行时检查或除了运行时检查之外？
• 这在其他编程语言中可行吗？
• 这个依赖概念是否有一个可以研究的名称和相关理论？

Answer 1

您的依赖关系似乎是 Design by contract 上下文中前提条件的示例- 维基百科页面列出了许多在不同程度上支持这一点的编程语言。例如，在 Eiffel 中，为此目的，函数需要使用 require 进行限定。

虽然我相信 Python 没有本地机制来形式化先决条件，但维基百科页面列出了一些库。从粗略的检查来看，这些似乎并没有像您的示例那样处理参数间的前提条件。 (有趣的是，从 2003 年开始就有一个延迟的 PEP，它可以通过文档字符串中的简单规范来实现这一点:https://www.python.org/dev/peps/pep-0316/)

说实话，我不确定 @typing.overload 在这种情况下是否会有很大帮助，但我有兴趣看到基于它的解决方案。

虽然对于您阐明的示例来说可能有些过大，但如果您有更多参数和/或它们之间更复杂的依赖关系，另一种方法可能是将参数封装在参数对象中(例如，参见 https://refactoring.com/catalog/introduceParameterObject.html )，并为该参数对象提供一个工厂或构建器，这使得需求变得清晰。