c# - 如何用伪代码写前置条件

Question

我只是想知道是否有人知道如何用伪代码表示前提条件，因为我环顾四周找不到任何关于这个主题的内容。

谢谢

Answer 1

伪代码，根据定义，不是形式化代码。使用伪代码为 C# 方法定义前提条件的示例如下:

// Precondition: Object must have been initialized by calling init() or by
// manually setting properties X and Y such that X.Foo >= Y.Bar.
public void doUsefulWork() {
    ...
}

显然，由于伪代码未形式化，因此无法通过编译器进行验证。

• 方法的用户有责任确保满足先决条件，并且
• 该方法的开发人员有责任承认更改前提条件(通常)是一个重大更改。