PyContract PostCondition 涉及非输入参数变量

Question

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

我正在使用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]:

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

Answer 1

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

这对于一个实现契约的库来说并不奇怪：重点是在函数应该实现的接口上声明约束，而您似乎想检查未创建的函数的内部状态在返回值中可见。

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

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

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