do-while循環的語法格式為：
```
do {
循環體;
} while (條件表達式);
```
其中，`循環體` 是重複執行的代碼部分，`條件表達式` 是循環成立的條件，要求條件表達式是布爾類型，值為 `true` 時循環執行，否則循環結束。執行流程如下：
當執行到 `do-while` 語句時，首先執行 `循環體`。
然後再判斷 `條件表達式`，如果條件不成立，則循環結束。
如果條件成立，則繼續執行 `循環體`，循環體執行完成以後再判斷條件，依次類推。
需要注意的是，`do-while` 循環至少要執行一次 `循環體`。