问题描述
我一直在尝试学习使用 SPARK 的基础知识，并且我对使用前置和后置条件有所了解，但我不确定它们是否取代了验证？例如，除非所有门都关闭并锁定，否则飞机不会切换到起飞模式的功能。我是否需要向过程主体添加代码来阻止这种行为，或者前置和后置条件是否足够？我不清楚，因为我的课程教程实际上没有这样做，但是当我测试程序时，我没有违反条件。
解决方法
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）