第一层：用「变量语义检查法」（最重要）

给每个变量一句话定义，写注释
一行行读下来，对自己解释这段话干什么，就能发现逻辑问题

第二层：用「极小样例手推法」

人为构造一个一步能到的情况，样例尽量小
手推你的代码执行过程
打印关键变量