Question

在编译器生成的代码里面，我们可以发现在 i 初始化之后，循环体并不会被执行，转而是先检查 i 的条件，在这之后才开始执行循环体。这么做是正确的，因为，如果循环条件在一开始就不满足，那么循环体是不应当被执行的。比如，在下面的例子中，就可能出现这个情况：

#!cpp
for (i=0; i<total_entries_to_process; i++)
    loop_body;

如果 total_entries_to_process 等于 0，那么循环体就不应该被执行。这就是为什么应当在循环体被执行之前检查循环条件。 但是，开启编译器优化之后，如果编译器确定不会出现上面这种情况的话，那么条件检查和循环体的语句可能会互换（比如我们上面提到的简单的例子以及 Keil、Xcode（LLVM）、MSVC 的优化模式）。