python - 为什么 Python 函数调用中的参数太多/太少时会出现 TypeError

Question

当您提供不属于方法签名的参数时，我无法理解为什么 Python 会引发 TypeError。

例子:

>>> def funky():
...    pass
... 
>>> funky(500)
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
TypeError: funky() takes no arguments (1 given)

我想，如果这是因为 *args 应该是 None 或 [] 在无参数函数的范围内, 那是一个 leaky abstraction , 所以我查了一下。

我发现了什么

在 PEP-3102 上搜索 TypeError 的页面发现似乎是引发 TypeError 的上下文的理由，但我不明白理由。 PEP 的示例本质上是在说明该功能基本上是 if args: raise TypeError() 的快捷方式。 args 在这种情况下是一个非空列表，而不是一个空列表......它们都是同一类型。如果我没有弄错， 确实是合理的，也许 ValueError 会更合适。然而，这仍然是一种有漏洞的抽象，因为该示例是用 Python 编写的，使其更像是特定用例的实现细节，而不是语言功能。像 ArgumentError 这样的东西在这里听起来更适合我，这让我相信我错过了一些明显的解释，为什么 TypeError 有意义。

Answer 1

该函数接受n 个参数。您提供了 m。 n != m。这可能是某人代码中的错误或某人对某些 API 的误解的症状。此外，我认为我们无法就这种情况下应该发生的有意义、有用的语义达成一致。是否应该忽略多余的论点？那会让这样的错误通过，并且由于“错误永远不会悄悄地通过”，这是 Not Acceptable 。类似地，为省略的参数提供一些默认值允许在打字错误等情况下出现无声的错误行为，因此违反了相同的原则，更不用说“显式优于隐式”，即如果你想传递一些特殊值，你应该只是写出来。

您引用的 PEP 是 if args: raise TypeError(...) 语义仅适用于具有仅关键字参数且不接受可变参数并使用普通 的函数* 在参数列表中对此进行编码。有些函数接受有限数量的位置参数，并且会受益于仅关键字参数，但可变参数对它们没有意义。对于这些，普通 * 的存在是为了允许仅关键字参数而不需要样板代码，并且仍然通知程序员以防有人提供太多参数(这是一件好事，原因列在第一部分答案)。

至于为什么选择 TypeError:“Wrong number of arguments”是静态语言中的编译时类型错误/类型不匹配。我们在 Python 中没有对此类事情进行编译时检查，但它仍然是一种“类型错误”。如果(在 Python 中，非正式的)类型签名说“我有两个参数”而你提供了三个，这显然违反了该契约。 TypeError 不仅仅意味着 not isinstance(x, expected)，就像许多其他与类型相关的主题一样(想想继承和“获取父级的东西”与“是- parent ”)这是一个更广泛的概念。

编辑以回应您对静态类型比较的批评:考虑与二元函数不同的一元函数不仅仅是静态类型系统的强制限制。即使在像 Python 这样的语言中，它也非常有用，因为两者的相似度不足以“就像他们走路和嘎嘎叫一样”(就像在鸭子打字中一样)——它们不能以相同的方式使用。 (异常(exception)情况是元编程，它包装了任意参数的函数，由 * 和 ** 解包运算符处理。)它们碰巧共享一个事实，即它们是可调用的，但是它们是不兼容的，即使 Python 的内置对象层次结构没有创建许多相同的类，这些类只是数量和名称不同。 type(f) 可能会说 function，但这并不总是故事的结局。