程序设计语言一般都提供多种循环语句，例如实现先判断循环条件再执行循环体的 while 语句和先执行循环体再判断循环条件的 do-while 语句。关于这两种循环语句，在不改变循环体的条件下，  （ ）  是正确的。
A、while 语句的功能可由 do-while 语句实现
B、do-while 语句的功能可由 while 语句实现
C、若已知循环体的次数，则只能使用 while 语句
D、循环条件相同时，do-while 语句的执行效率更高