其中两种形式的不同在于，对condition判断的位置不同，前者先判断，再执行循环体；而后者先执行循环体一次，再进行条件判断。所以结果的不同就是后者能将循环内容至少执行一次。