Java中if语句是否拥有独立作用域？编程作用域概念解惑

问题描述 #

我最近在完成一道Java练习题，要求获取用户输入的正整数，计算这些数的最大值与平均值并输出；当用户输入负数时，程序停止接收输入且该负数不计入平均值计算。起初我不知如何将用户输入的当前整数与最大值比较，于是单独编写了一个if语句处理，但我本以为会出现max变量未赋值的编译错误，可代码却正常运行。因此我想请教：

1. if语句是否拥有独立作用域？
2. 编程中哪些元素拥有作用域，哪些没有？

附代码 #

import java.util.Scanner; 

public class LabProgram {
   public static void main(String[] args) {
      //Create Scanner.
      Scanner inp = new Scanner(System.in);
  
      //Declare and initialize variables.
      double average;
      int sum = 0;
      int num;
      int counter = 0;
      int max = 0;
  
      //Process.
      do
      {
         num = inp.nextInt();
         sum += num;
         if(num > max)
         {
            max = num;
         }
         if(num < 0)
         {
            sum -= num;
            System.out.print(max);
            average = sum/(double)counter;
            System.out.printf(" %.2f", average);
         }
         ++counter;
      }while(num >= 0);
     
   }
}

解答 #

1. if语句是否拥有独立作用域？ #

在Java中，if语句本身没有独立作用域，只有被{}包裹的代码块（即if的主体执行部分）才会形成局部作用域。你代码里的max是在main方法的作用域中声明并初始化的（int max = 0;），所以整个main方法内的代码都能访问到它，包括if语句内部，自然不会出现未赋值的编译错误。

2. 编程中拥有作用域的元素 #

• 类/接口作用域：类或接口内部的成员（字段、方法、内部类等）属于类作用域，可被类内部其他成员访问（需遵循访问修饰符规则）。
• 方法作用域：方法内部声明的局部变量，只能在该方法内部访问。
• 代码块作用域：被{}包裹的代码块（比如if的主体、for循环体、单独的代码块）内部声明的变量，仅能在该代码块及嵌套子代码块中访问。
• 循环作用域：for循环初始化部分声明的变量，作用域仅限于循环体内部。
• try-with-resources作用域：try语句中声明的资源变量，作用域仅限try块内部。

3. 没有独立作用域的元素 #

• 条件语句（if/else、switch）：语句本身不创建作用域，只有它们的代码块才会生成作用域。
• 循环语句（while、do-while）：语句本身无作用域，循环体的代码块才会创建作用域。
• 标签（label）：仅用于标记位置，无自身作用域。
• 单个表达式：比如num > max这类表达式，不会创建作用域。

对你代码的补充说明 #

你代码里的max一开始就被初始化为0，所以第一次进入if(num > max)时max是有值的，后续循环会持续更新max的值，因此输出时max始终有效。但存在一个小问题：如果用户输入的第一个数就是负数，max会输出0，这不符合逻辑（此时没有有效正整数输入），可以考虑将max初始化为Integer.MIN_VALUE，或者在输出前判断是否有有效输入。

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