为什么Java中的Switch语句可以包含最后一个变量？

Question

为什么Java中的Switch语句可以包含一个FINAL变量作为CASE？##

在我检查过的JDK7中，值不能重新分配给最终变量，如下所示。但是，为什么即使不能重新分配最终变量“x”的值，最终变量“x”也可以包含在Switch语句中？

为什么即使Oracle定义Java编译器将最终变量作为初始化的值而不是变量名，也可以这样做？http://docs.oracle.com/javase/specs/jls/se7/html/jls-4.html#jls-4.12.4

请告诉我这是Java编译器的技术错误，还是有异常或特殊用途检查Switch语句中最终变量的大小写？

class Example{
    public static void main(String args[]){
        final int x=100;
        //x=200;    //error: cannot assign a value to final variable x

        //The below piece of code compiles
        switch(x){
            case 200: System.out.println("200");
            case 300: System.out.println("300");
        }

    }
}

Answer 1

那么，您可以在函数中传递一个final参数：

//the function doesn't know what x  value is,
//but it knows that it can't modify its value
public someFunction(final int x) {

    x += 1; //compiler error
    switch(x) {
        case 200: System.out.println("200");
            break;
        case 300: System.out.println("300");
            break;
    }
}

//the function doesn't know what x value is,
//but it knows that it can modify it
//for internal usage
public someOtherFunction(int x) {

    switch(x) {
        case 200:
            x += 200;
            break;
        case 300:
            x += 300;
            break;
    }
    System.out.println(x);
}

Answer 2

switch(x){
    case 200: System.out.println("200"); break;
    case 300: System.out.println("300");
}

本质上是指

if (x == 200)
  System.out.println("200");
else if (x == 300)
  System.out.println("300");

它只是比较，而不是赋值，所以不能修改x这个事实无关紧要。

从技术上讲，您的示例将有点不同（因为您没有中断）：

if (x == 200)
  System.out.println("200");
if (x == 200 || x == 300)
  System.out.println("300");

或者类似的。

x永远不能是200或300这一事实不会使代码无法编译。然而，它可能允许Java优化开关语句。

Answer 3

这种情况怎么办？

public class Foo
{
    private final int x;

    public Foo(int x){this.x = x;}

    public void boo()
    {
        switch(x)
        {
            case 200: System.out.println("200");
            case 300: System.out.println("300");
        }
    }
}

或者这个：

public static void doSomething(final int x)
{
    switch(x)
    {
        case 200: System.out.println("200");
        case 300: System.out.println("300");
    }
}