循环结构主要包括两种类型，即**直到型结构（B）**和**当型结构（D）**。 1. **直到型结构（B）**：这种循环结构是在执行了一次循环体之后，再对控制条件进行判断。当条件不满足时，循环体会继续执行；而当条件满足时，循环会停止。它的特点是“先执行，后判断”，循环体至少会被执行一次。 2. **当型结构（D）**：也被称为“当条件成立时”的循环结构。在这种结构中，循环体在每次执行前都会先对控制条件进行判断。只有当条件满足时，循环体才会被执行；一旦条件不满足，循环就会立即停止。这种结构的特点是循环体可能一次也不执行。 而选项A的“分支结构”和选项C的“选择结构”并不属于循环结构的类型，它们属于编程中的选择结构，用于根据条件选择不同的代码块来执行。 综上所述，循环结构包含**直到型结构（B）**和**当型结构（D）**。
