参考答案：D

解析：[分析] 在程序设计语言中，重复结构对应两类循环语句，先判断后执行循环体的结构称为当型循环结构，又称While型循环。先执行循环体后判断的称为直到型循环结构，又称Until型循环。所以直到型循环至少执行一次运算。