开发者社区 问答 正文

契约式编程包含哪些主要部分?

契约式编程包含哪些主要部分?

展开
收起
萝卜丝丸子 2024-05-29 16:33:49 59 分享 版权
1 条回答
写回答
取消 提交回答
  • 契约式编程主要包含先验条件(P / 前断言)、不变式、副作用管理、后验条件(Q / 后断言)等部分。它强调代码编写过程中的严格性,如同按照契约进行编码。

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