在程序设计语言中，重复结构对应两类循环语句，先判断后执行循环体的结构称为当型循环结构，又称While型循环。
先执行循环体后判断的称为直到型循环结构，又称Until型循环。所以直到型循环至少执行一次运算。
当型循环属于最基础的循环结构之一。当型循环是指在循环体执行前进行判断的，当条件满足时进入循环，否则结束循环的循环结构。当型循环结构用在先判断某些条件是否为真，然后重复执行某一段代码的情况下。
直到型循环结构，是先在执行了一次循环体之后，再对控制条件进行判断，当条件不满足时执行循环体，满足时则停止。直到型结构的三要素为循环体、循环变量、循环终止条件。一个完整的直到型循环结构这三要素缺一不可。
总结：1.两种都是条件满足是向下（True分支）运行，当条件满足是执行True分支，直到条件满足时执行True分支；不同的时前者True分支是进入循环体，后者是离开循环体；
2.两个图中都有条件，但对同一题目，两个条件互为“非”。两个字都是条件，但内在逻辑相反。
标签：循环体,哪些,当型,循环,条件,执行,结构 From： https://www.cnblogs.com/htu2021/p/18152962