开发者社区 问答 正文

在契约式编程中,先验条件和后验条件分别代表什么?

在契约式编程中,先验条件和后验条件分别代表什么?

展开
收起
萝卜丝丸子 2024-05-29 16:33:44 65 分享 版权
1 条回答
写回答
取消 提交回答
  • 在契约式编程中,先验条件(P / 前断言)代表方法能够运行的前提,而后验条件(Q / 后断言)则代表方法逻辑成立并结束的必要条件。

    2024-05-29 17:01:43
    赞同 展开评论
问答地址: