直到型是程序一直执行,直到达到某个停止条件.也就是程序先执行,再判断是否达到停止条件.
当形式程序判断是否达到停止条件,当达到停止条件时,停止执行.也就是先判断是否达到停止条件,再执行.