`do-while`语句是一种循环结构，在计算机编程中广泛使用。其基本结构如下：
```csharp
do {
// 执行代码块
} while (条件表达式);
```
do-while`语句的执行流程如下：
1. 首先执行`do`语句块中的代码。
2. 然后检查`while`后面的条件表达式。
3. 如果条件表达式为真（非零），则再次执行`do`语句块中的代码。这个过程会一直重复，直到条件表达式为假（零）为止。
4. 当条件表达式为假时，循环结束，程序继续执行`do-while`循环之后的代码。
需要注意的是，`do-while`循环至少会执行一次`do`语句块中的代码，因为即使条件表达式一开始就为假，也会先执行一次`do`语句块，然后再检查条件表达式。因此，也被称为“直到”循环，即至少执行一次循环体，然后反复执行，直到满足某个条件为止。
例如，下面的Java代码展示了如何使用`do-while`循环打印数字1到5（包括5）：
```java
int i = 1;
do {
System.out.println(i);
i++;
} while (i <= 5);
```
在这个例子中，当`i`的值小于或等于5时，循环会一直执行，打印出`i`的值并且将其增加1。当`i`的值大于5时，条件表达式为假，循环结束。