为何无法在if条件中声明变量，却可在for循环中声明？

先看你给出的代码示例：

int x = 0;
if (boolean k = x > 1) // 此处语法错误，不能直接在if条件里声明变量类型
    // ...

for(int i=0; i < 5; i++) { // 此处合法，循环体内可访问i
    // ...
}

核心原因：Java语法对两种语句的规则定义不同 #

• for循环的语法设计允许在初始化子句中声明变量
  for循环的语法结构是for(初始化子句; 条件表达式; 更新子句)，其中初始化子句明确支持变量声明（比如int i=0），这个变量的作用域限定在整个for循环体内，这种设计是为了方便在循环中使用临时计数器，避免变量污染外部作用域。

• if条件的语法要求是布尔表达式，不允许直接声明变量类型
  if语句的条件部分必须是一个能计算出布尔值的布尔表达式。你写的boolean k = x > 1是变量声明语句，不是表达式。不过要注意，Java其实允许在if条件里使用变量赋值表达式，只要这个表达式本身是布尔类型，正确的写法是去掉boolean声明，直接写if (k = x > 1)——但这种写法容易和相等判断==混淆，一般不推荐。但你不能在条件里同时声明变量类型，这不符合if条件的语法规则，因为if条件需要的是布尔表达式，而非带类型声明的变量定义语句。

简单总结：for循环的初始化位置本来就是为变量声明设计的，而if的条件位置只接受布尔表达式，不支持带类型声明的变量定义语句。

内容的提问来源于stack exchange，提问作者fastcodejava