为啥返回 NotImplemented 而不是引发 NotImplementedError

Posted

技术标签:

【中文标题】为啥返回 NotImplemented 而不是引发 NotImplementedError【英文标题】:Why return NotImplemented instead of raising NotImplementedError为什么返回 NotImplemented 而不是引发 NotImplementedError 【发布时间】:2010-10-27 02:36:57 【问题描述】:

Python 有一个名为 NotImplemented 的单例。

为什么有人想要返回 NotImplemented 而不是引发 NotImplementedError 异常?会不会让查找错误变得更加困难,例如执行无效方法的代码?

【问题讨论】:

【参考方案1】:

通过函数返回NotImplemented类似于声明该函数无法处理输入,但不是引发异常,而是将控制权转移到另一个称为反射函数的函数,希望反射函数可能能够处理输入。

首先,与任何函数关联的反射函数都是预定义的。其次,当原始函数返回NotImplemented 时,解释器运行反射函数,但输入参数的翻转顺序

你可以找到详细的例子here

【讨论】:

就在我认为我知道所有 Python 东西的时候......反射函数!!!感谢您的链接。我今天学到了一些东西!【参考方案2】:

一个原因是性能。在诸如丰富比较的情况下,您可能会在短时间内执行大量操作,设置和处理大量异常可能需要比简单地返回 NotImplemented 值更长的时间。

【讨论】:

【参考方案3】:

因为它们有不同的用例。

引用文档(Python 3.6):

NotImplemented

应该由二进制特殊方法返回(例如__eq__()__lt__()__add__()__rsub__()等)表示该操作相对于其他类型没有实现

exception NotImplementedError

[...] 在用户定义的基础中 类,抽象方法应该引发这个异常,当他们 要求派生类覆盖该方法,或者当该类是 正在开发以表明真正的实现仍然需要 待补充。

查看链接了解详情。

【讨论】:

这应该是公认的答案。它甚至比用例更强大,它是意图的指示 - 名称末尾带有 Error 的那个表示发生了错误(因为某些事情没有实现),另一个不是错误而是“正确的”行为。我将其比作返回 NaN 或引发 ValueError 之间的区别。【参考方案4】:

这是因为__lt__() 和相关的比较方法在列表排序等中非常常用。有时算法会选择尝试另一种方式或选择默认的获胜者。除非被捕获,否则引发异常会中断排序,而 NotImplemented 不会被引发并且可以在进一步的测试中使用。

http://jcalderone.livejournal.com/32837.html

总结该链接:

"NotImplemented 向运行时发出信号,它应该要求其他人来满足操作。在表达式a == b 中,如果a.__eq__(b) 返回NotImplemented,则Python 尝试b.__eq__(a)。如果b 知道足以返回TrueFalse,则表达式可以成功。如果不成功,则运行时将回退到内置行为(基于==!= 的标识) 。”

【讨论】:

我会小心使用它,因为此链接在文档末尾附近指出。 当 Python 解释器检查 a.__eq__(b) 是否返回 NotImplemented 时,它不能轻松地捕获 NotImplementedError(然后调用 b.__eq__(a) 或其他什么)吗? @Veky。引发异常可能具有更高的开销。排序操作中的任何开销都会被列表的大小放大,因此即使差异非常小,找到更快的实现仍然是有意义的。您也不希望打破循环并重新输入它们,这是 try/catch 实现所需要的。 对于第一点,更快的解决方案是自动将 lt 合成为反向 gt,而不是总是调用将返回 NotImplemented 的东西 - 而 Python 不会这样做。我不认为速度是这里的原因。第二个,我不明白你在说什么: return 将需要与 raise 一样多的循环中断。实际上,您可以将 return 想象为引发一个特殊的 Return 异常,该异常始终被捕获在调用范围内。 >> "被列表的大小放大" 至少,除非你有一个世界应该知道的 O(n) 排序。

以上是关于为啥返回 NotImplemented 而不是引发 NotImplementedError的主要内容,如果未能解决你的问题,请参考以下文章

为啥 Python 会引发 TypeError 而不是 SyntaxError?

为啥类创建会引发错误

getElementsByTagName 返回零而不是 null 为啥

为啥“引发错误”有效,而“断言”无效?

为啥 editActionsForRowAt 返回很多图像而不是一张图像?

为啥 std::fstream 返回 void 而不是 bool