在编写合约或接口方法时，前置条件和后置条件应如何放置和校验？请结合示例说明。

Question

Accepted Answer

考察点：考察对前置条件与后置条件语义及放置位置的理解。回答思路：明确前置条件在方法入口校验，后置条件在方法出口校验 说明前置条件用于约束输入，后置条件用于验证输出与状态变化 能给出具体示例说明放置位置对安全性和正确性的影响

考察说明