用证据检查掌握情况

• 依据边界条件选择分支并推演循环
• 区分输出、副作用与函数返回值
• 使用典型值和边界值检验函数约定

选取今天的一段代码，说明“结果是什么、依据是什么、改变一个条件后会怎样”。将仍不确定的地方写成具体问题。