while用法（while用法后接什么形式）