为什么不允许第二种语法？

Question

for ( declaration expressionopt ; expressionopt ) statement

for循环的第二种语法只有一个分号,但每当我尝试使用它时,它会产生一个错误,说:

error: expected `;` before `)` token

Answer 1

C11标准规定了for循环的两种形式(§6.8.5迭代语句):

• for ( 表达_选择 ; 表达_选择 ; 表达_选择 ) 语句
• for ( 声明 表达式_opt ;表达式_opt _ ) statement

" 声明 " 的规则以分号结束,因此for循环的控制部分中必须有两个分号.

§6.7 声明

声明:
    declaration-specifiers init-declarator-list _opt ;
     static_assert-declaration