for 语句初始化后第二步是条件判断

今天在学习 C++ 基础时，发现了自己知识上的一个漏洞：对于 for 语句初始化后接下来的步骤认知错误。

---

1、纠错

for 语句的语法形式是这样的：

for (init-statement; condition; expression)
    statement

我原先认为：
init-statement 执行后，执行 statement，然后是 expression，接着 condition 判断，根据是否满足条件决定是否执行 statement。

然而事实却是：
init-statement 执行后，进行 condition 判断。如果满足条件，执行 statement；否则 statement 一次都不会执行， 控制流直接转到 for 语句的下一语句。

如下代码可以验证：

#include <cstdio>

int main()
{
  for (int i = 0; i < 0; ++i)
    printf("i = %d\n", i);
  return 0;
}

这段代码按以前理解，输出应当是 i = 0，然而却没有输出，说明 i 初始化进行了条件判断，不满足条件，于是不执行 for 语句的 statement 了。

2、究因

那么为什么我会有这种错误认识呢？

原因可能很简单，我写 for 语句时，通常情况下初始化后的语句总是能够满足条件，无形中给我造成了初始化后立即执行 statement 的错觉， 例如 for (int i = 0; i < vInt.size(); ++i) {...}；；另外如果需要对初始条件进行检验，我一般用 while 语句。

这时我才对大家都爱用并且推荐使用 for 语句有了更加深入的理解。