确保变量的内存位置没有改变

Question

这是my previous question的跟进

我正在使用PyContract（不是PyContracts）为类方法编写一些约束。作为后置条件，我想确保某个对象的内存地址没有改变，即id(myObj) 在调用函数之前和之后应该是相同的。如何使用 PyContract 做到这一点？

这是我现在正在做的事情：

def foo(param1, param2)
    """
        # some other constraints
        post[param1, param2]:
            __old__.param1 is param1
            __old__.param2 is param2
    """

但是，后置条件失败。我只能想象这是因为__old__.param1 没有存储在与param1 相同的内存位置。这是有道理的，因为 PyContract 需要在执行foo 之前复制param1，以便在执行完foo 之后检查其值与param1 的值。

假设上面的分析是真的，它只是用来解释为什么id(__old__.param1)和id(param1)不同。但是，它仍然没有回答我如何确保id(param1) 不会作为foo 的副作用而改变。我怎么能在 PyContract 中检查这个？

Answer 1

我不熟悉您正在使用的 PyContract 库，但您正在测试的实际合约在 Python 中没有多大意义，因为函数参数是通过引用传递的。如果你有如下代码：

x = a
y = b
foo(x, y)

然后该函数将在调用范围内接收对x 和y 命名的对象的引用。在函数调用中，您有两个单独的变量，它们使用对这些参数的引用进行了初始化。

所以函数内部对这些变量的更改不会影响x和y在调用范围内的绑定。