2022年5月31日
BUAA北航OO第三单元总结
摘要： OO第三单元总结 第三单元的内容主要是契约式编程，根据官方给定的JML进行代码的编写。由于JML给出了每个方法的前置条件、后置条件、副作用，实现难度和前两个单元比起来可谓是低了很多，但规格是规格，实现是实现，如果实现完全按照官方JML来写一定是不行的，否则很容易TLE(比如第十次作业的qgvs) 架 阅读全文
posted @ 2022-05-31 09:21 繁华丶人间 阅读(291) 评论(2) 推荐(4) 编辑