1

希望这将是我在该系列中的最后一个问题（我的项目快结束了，除非需求发生变化）。

我正在使用PyContract（不是PyContracts）为类方法编写一些约束。在我的一个函数中，我有一个不变量。但是，并非构成此后置条件的所有变量都是函数的输入参数；有些是函数本身范围内的局部变量（循环计数器等）。我如何/可以在合同的后置条件条款中捕获它们？

这是我一直在使用的 MWE 代码：

def foo(*args, **kwargs):
    """
        pre:
            # some preconditions
        inv:
            # something that's clearly false
            1 == 2
        post:
            g < arg5
    """

    arg1 = kwargs['arg1']
    arg2 = kwargs['arg2']
    arg3 = kwargs['arg3']
    arg4 = kwargs['arg4']
    arg5 = kwargs['arg5']

    g = 0
    while g < arg5:
        vars = generate_data(arg1)
        best = max(arg2(var)for var in vars)
        if best >= arg3:
            return best
        # do stuff
        g += 1

当 PyContract 告诉我它不知道名称g和arg5. 我在合同里改成arg5了kwargs['arg5']，但是 PyContract 还是不知道是什么g。如何/我可以解决这个问题？

我得到的错误是：

Traceback (most recent call last):
  File "/Users/ashwin/github/local/Genetic-Framework/Genetic-Framework/Genetic/GA.py", line 245, in <module>
    answer = runTSPGA(*settings, **settings)
  File "<string>", line 3, in __assert_runTSPGA_chk
  File "/Library/Frameworks/Python.framework/Versions/2.7/lib/python2.7/site-packages/contract.py", line 1135, in call_public_function_all
    return _call_one_all(func, va, ka)
  File "/Library/Frameworks/Python.framework/Versions/2.7/lib/python2.7/site-packages/contract.py", line 1321, in _call_one_all
    func.__assert_post(old, result, *va, **ka)
  File "<string>", line 4, in __assert_runTSPGA_post
NameError: global name 'g' is not defined

如下添加g到后置条件声明也无济于事：

post[kwargs, g]:

此外，有趣的是，不变检查的代码似乎根本没有运行

4

1 回答 1

0

后置条件在函数完成运行后运行，这意味着包含函数局部变量（例如arg5and g）的堆栈帧不再在范围内。

不过，对于实现合同的库来说，这并不太令人惊讶：重点是在函数应该实现的接口上声明约束，而您似乎想要检查函数的内部状态，该状态在返回值。

您可以前进的两种方式是：

  1. 使函数返回您要通过合同检查的状态。如果内部状态不是函数接口的一部分，这可能不合适。

  2. 使用 PyContracts 以外的东西来强制执行您的约束，例如assert语句，或者raise AssertionError("while loop should have returned early")循环之后的语句。

于 2012-10-24T06:54:29.367 回答