9.7 循环不变量外提