PHPDoc 前置条件

Question

如何用 PHPDoc 标记前置条件？我有一个对象，在调用一个函数之前必须调用另一个函数：

$myObject = new MyClass();
$myObject->mustDoThis();
$myObject->beforeThis();

所以beforeThis() 的文档看起来像：

/**
 * @precondition mustDoThis() must be called before this function is
 */

或者还有其他方法可以解决这个问题吗？也许@throw 子句就足够了。

Answer 1

据我所知，PhpDoc 没有标准的 @precondition 或 @postcondition 标签，但我还是使用它们，因为这是提示开发人员实现类/接口/特征的好方法。