pseudocode - 理解伪代码符号的前/后

Question

我正在关注这些C# 代码示例。但是我对到处都是伪代码注释有点困惑。

例如：

public void addToHead(Object value)
// pre: value non-null
// post: adds element to head of list
{
    SinglyLinkedListElement temp =
        new SinglyLinkedListElement(value);
    if (tail == null) {
        tail = temp;
        tail.setNext(tail);
    }
    else {
        temp.setNext(tail.next());
        tail.setNext(temp);
    }
    count++;
}

Pre这里是什么Post意思？

我从来没有见过Post在这里使用过。我知道Post在 Web 和 HTML 等上下文中是什么意思，但在纯代码中不知道。

Answer 1

“Pre”表示在执行开始时做出的假设。在这种情况下，它表示传入的值假定为非空。

“发布”表示在执行结束时做出的假设，即例程实际执行的操作。在这种情况下，当例程完成时，一个新元素将被添加到列表的末尾。如果例程修改了它的参数或有任何其他副作用，这些修改也应该在“帖子”中列出。