do -while的语法:
do{
循环体;
}while(表达式);
注意:while的小括号后面一定要加分号
语义:
1.执行循环体,跳转到2
2.判断表达式的结果是否为真,如果为真,跳转到1,否则跳转到3
3.跳出循环,循环结束
所以证明:循环体至少会被执行1次