程序设计语言一般都提供多种循环语句，例如实现先判断循环条件再执行循环体的while语句和先执行循环体再判断循环条件的do-while 语句。关于这两种循环语句，在不改变循环体的条件下，__(20)__是正确的。

A．while 语句的功能可由do-while 语句实现

B．do-while 语句的功能可由while 语句实现

C．若已知循环体的次数，则只能使用while 语句

D．循环条件相同时，do-while 语句的执行效率更高