在程式設計語言中，重複結構對應兩類迴圈語句，先判斷後執行迴圈體的結構稱為當型迴圈結構，又稱While型迴圈。
先執行迴圈體後判斷的稱為直到型迴圈結構，又稱Until型迴圈。所以直到型迴圈至少執行一次運算。
當型迴圈屬於最基礎的迴圈結構之一。當型迴圈是指在迴圈體執行前進行判斷的，當條件滿足時進入迴圈，否則結束迴圈的迴圈結構。當型迴圈結構用在先判斷某些條件是否為真，然後重複執行某一段程式碼的情況下。
直到型迴圈結構，是先在執行了一次迴圈體之後，再對控制條件進行判斷，當條件不滿足時執行迴圈體，滿足時則停止。直到型結構的三要素為迴圈體、迴圈變數、迴圈終止條件。一個完整的直到型迴圈結構這三要素缺一不可。
總結：1.兩種都是條件滿足是向下（True分支）執行，當條件滿足是執行True分支，直到條件滿足時執行True分支；不同的時前者True分支是進入迴圈體，後者是離開迴圈體；
2.兩個圖中都有條件，但對同一題目，兩個條件互為“非”。兩個字都是條件，但內在邏輯相反。