如何指定需要输出参数?

How to specify Requires for out parameter?

与此问题相关:

如何为 Ensures.Requires() 方法执行此操作?

就我而言,我错误地使用了 out 关键字。 正如 Matthew Watson 所说,我必须使用 ref 参数。

所以我对 Contract.Requires() 没有任何问题了。