条件决定走哪条路径，循环反复推进状态。先写循环不变量，例如“已经处理过的元素总和”，比先选择 for 写法更容易检查正确性。