你可以在Python中的核心类型上修补补丁方法吗？

Question

Ruby可以向Number类和其他核心类型添加方法以获得如下效果:

1.should_equal(1)

但似乎Python无法做到这一点.这是真的？如果是这样,为什么？是否与类型无法修改的事实有关？

更新:我不想谈论猴子修补的不同定义,而是只关注上面的例子.我已经得出结论,由于你们中的一些人已经回答,所以无法做到.但我想更详细地解释为什么不能这样做,也许如果Python中有什么功能可以允许这样做.

回答你们中的一些人:我可能想要这样做的原因只是美学/可读性.

 item.price.should_equal(19.99)

这更像是英语,并清楚地表明哪个是测试值,哪个是预期值,如下所示:

should_equal(item.price, 19.99)

这个概念就是Rspec和其他一些Ruby框架所基于的.

Answer 1

你不能.在Python中,C扩展模块(包括内置函数)中定义的所有数据(类,方法,函数等)都是不可变的.这是因为C模块在同一进程中的多个解释器之间共享,因此monkeypatching它们也会影响同一进程中不相关的解释器.(通过C API可以在同一个过程中使用多个解释器,并且已经做了一些努力使它们在Python级别可用.)

但是,Python代码中定义的类可能是monkeypatched,因为它们是该解释器的本地.

Answer 2

Monkey Patch在这里究竟是什么意思？有几个略有不同的定义.

如果你的意思是"你能在运行时改变一个类的方法吗？",那么答案显然是肯定的:

class Foo:
  pass # dummy class

Foo.bar = lambda self: 42

x = Foo()
print x.bar()

如果你的意思是"你能在运行时更改类的方法,并使该类的所有实例在事后发生变化吗？" 那么答案也是肯定的.只需稍微改变顺序:

class Foo:
  pass # dummy class

x = Foo()

Foo.bar = lambda self: 42

print x.bar()

但是对于某些内置类,例如int或者,你不能这样做float.这些类的方法在C中实现,并且为了使实现更容易和更有效,牺牲了某些抽象.

我不清楚你为什么要改变内置数值类的行为.如果你需要改变他们的行为,请将它们分类!

Answer 3

def should_equal_def(self, value):
    if self != value:
        raise ValueError, "%r should equal %r" % (self, value)

class MyPatchedInt(int):
    should_equal=should_equal_def

class MyPatchedStr(str):
    should_equal=should_equal_def

import __builtin__
__builtin__.str = MyPatchedStr
__builtin__.int = MyPatchedInt

int(1).should_equal(1)
str("44").should_equal("44")

玩得开心 ;)

Answer 4

你可以做到这一点,但它需要一点点黑客攻击.幸运的是,现在有一个名为"Forbidden Fruit"的模块,它可以让您非常简单地修补内置类型的方法.你可以找到它

http://clarete.github.io/forbiddenfruit/?goback=.gde_50788_member_228887816

要么

https://pypi.python.org/pypi/forbiddenfruit/0.1.0

使用原始问题示例,在您编写"should_equal"函数之后,您就可以了

from forbiddenfruit import curse
curse(int, "should_equal", should_equal)

你很高兴去!还有一个"反向"功能来删除修补方法.

Answer 5

其他用户指出,Python的核心类型在设计上是不可变的:

>>> int.frobnicate = lambda self: whatever()
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
TypeError: can't set attributes of built-in/extension type 'int'

您当然可以通过创建子类来实现您描述的效果,因为默认情况下Python中的用户定义类型是可变的.

>>> class MyInt(int):
...   def frobnicate(self):
...     print 'frobnicating %r' % self
... 
>>> five = MyInt(5)
>>> five.frobnicate()
frobnicating 5
>>> five + 8
13

也没有必要MyInt公开子类; 也可以直接在构造实例的函数或方法中内联定义它.

在某些情况下,熟练使用成语的Python程序员可以考虑将这种类型的子类化为正确的事情.例如,os.stat()返回一个tuple添加命名成员的子类,正是为了解决您在示例中引用的可读性问题.

>>> import os
>>> st = os.stat('.')
>>> st
(16877, 34996226, 65024L, 69, 1000, 1000, 4096, 1223697425, 1223699268, 1223699268)
>>> st[6]
4096
>>> st.st_size
4096

这就是说,在你给具体的例子,我不相信,子类float中item.price(或其他地方)将很有可能被认为是Python的事情.我可以很容易地想象有人决定添加一个price_should_equal()方法,item如果这是主要的用例; 如果一个人正在寻找更一般的东西,也许使用命名参数使意图更明确的意义更有意义,如

should_equal(observed=item.price, expected=19.99)

或类似的规定.它有点冗长,但毫无疑问它可以改进.这种方法相对于Ruby式猴子修补的一个可能的优点是should_equal()可以轻松地在任何类型上进行比较,而不仅仅是int或float.但也许我对你碰巧提供的特定例子的细节太过了解.

Answer 6

你不能在python中修补核心类型.但是,您可以使用管道编写更易读的代码:

from pipe import *

@Pipe
def should_equal(obj, val):
    if obj==val: return True
    return False

class dummy: pass
item=dummy()
item.value=19.99

print item.value | should_equal(19.99)