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

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

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

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

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