Объявление и инициализация переменных в переключателях Java

У меня сумасшедший вопрос о переключателях Java.

int key = 2;

switch (key) {
    case 1:
        int value = 1;
        break;
    case 2:
        value = 2;
        System.out.println(value);
        break;
    default:
        break;
}

Сценарий 1 - Когда keyэто два успешно напечатать значение , как 2.
Сценарий 2 - Когда я буду комментировать value = 2в case 2:это коды ответчика говоря , что значение локальной переменной не может быть инициализирован .

Вопросы:

Сценарий 1: Если поток выполнения не переходит case 1:(когда key = 2), то как он узнает тип переменной значения как int?

Сценарий 2: Если компилятор знает тип переменной значения как int, то он должен иметь доступ к int value = 1;выражению в case 1:. (Объявление и инициализация). Тогда почему это sqawrk Когда я буду комментировать value = 2в case 2:, говоря , что Значение локальной переменной не может быть инициализирован .

Операторы switch в основном странны с точки зрения объема. Из раздела 6.3 JLS :

Объем объявления локальной переменной в блоке (§14.4) - это остальная часть блока, в котором появляется объявление, начиная со своего собственного инициализатора и включая любые дальнейшие деклараторы справа в операторе объявления локальной переменной.

В вашем случае case 2находится в том же блоке, что case 1и, и появляется после него, хотя case 1никогда не будет выполняться ... поэтому локальная переменная находится в области видимости и доступна для записи, несмотря на то, что вы логически никогда не «выполняете» объявление. (Объявление не является исполняемым, хотя инициализация есть.)

Если вы закомментируете value = 2;присвоение, компилятор по-прежнему знает, на какую переменную вы ссылаетесь, но вы не прошли через какой-либо путь выполнения, который присваивает ему значение, поэтому вы получаете сообщение об ошибке, как если бы вы пытались прочтите любую другую локальную переменную с неопределенным назначением.

Я настоятельно рекомендую вам не использовать локальные переменные, объявленные в других случаях - как вы видели, это приводит к очень запутанному коду. Когда я ввожу локальные переменные в операторы switch (что я стараюсь делать редко - в идеале случаи должны быть очень короткими), я обычно предпочитаю ввести новую область видимости:

case 1: {
    int value = 1;
    ...
    break;
}
case 2: {
    int value = 2;
    ...
    break;
}

Я считаю, что это яснее.

Переменная была объявлена ​​(как int), но не инициализирована (ей присвоено начальное значение). Подумайте о строчке:

int value = 1;

Так как:

int value;
value = 1;

Эта int valueчасть сообщает компилятору во время компиляции, что у вас есть переменная с именем value, которая является int. value = 1Часть инициализирует его, но это происходит во время выполнения, и не бывает вовсе , если эта ветвь переключателя не введена.

Из http://www.coderanch.com/t/447381/java-programmer-SCJP/certification/variable-initialization-within-case-block

Объявления обрабатываются во время компиляции и не зависят от потока выполнения вашего кода. Поскольку valueон объявлен в локальной области видимости блока переключателя, его можно использовать в любом месте этого блока с момента его объявления.

Благодаря интеграции JEP 325: Switch Expressions (Preview) в сборки раннего доступа JDK-12. Есть определенные изменения, которые можно увидеть из ответа Джона -

1. Область действия локальной переменной - локальные переменные в вариантах переключения теперь могут быть локальными для самого случая, а не для всего блока переключения . Пример (похожий на то, что Джон пытался синтаксически) с учетомDayкласса enum для дальнейшего объяснения:

   public enum Day {
       MONDAY, TUESDAY, WEDNESDAY, THURSDAY, FRIDAY, SATURDAY, SUNDAY
   }
   
   // some another method implementation
   Day day = Day.valueOf(scanner.next());
   switch (day) {
       case MONDAY,TUESDAY -> {
           var temp = "mon-tue";
           System.out.println(temp);
       }
       case WEDNESDAY,THURSDAY -> {
           var temp = Date.from(Instant.now()); // same variable name 'temp'
           System.out.println(temp);
       }
       default ->{
           var temp = 0.04; // different types as well (not mandatory ofcourse)
           System.out.println(temp);
       }
   }

2. Выражения переключения - если намерение состоит в том, чтобы присвоить значение переменной, а затем использовать его, один раз можно использовать выражения переключения. например

   private static void useSwitchExpression() {
       int key = 2;
       int value = switch (key) {
           case 1 ->  1;
           case 2 -> 2;
           default -> {break 0;}
       };
       System.out.println("value = " + value); // prints 'value = 2'
   }

Это объяснение может помочь.

    int id=1;

    switch(id){
        default: 
            boolean b= false; // all switch scope going down, because there is no scope tag

        case 1:
            b = false;
        case 2:{
            //String b= "test"; you can't declare scope here. because it's in the scope @top
            b=true; // b is still accessible
        }
        case 3:{
            boolean c= true; // case c scope only
            b=true; // case 3 scope is whole switch
        }
        case 4:{
            boolean c= false; // case 4 scope only
        }
    }

Спецификация Java:

https://docs.oracle.com/javase/specs/jls/se12/html/jls-14.html#jls-14.11

Случай внезапного завершения из-за разрыва с меткой обрабатывается общим правилом для помеченных операторов (§14.7).

https://docs.oracle.com/javase/specs/jls/se12/html/jls-14.html#jls-14.7

Помеченные заявления:

LabeledStatement: Идентификатор: Заявление

LabeledStatementNoShortIf: Идентификатор: StatementNoShortIf

В отличие от C и C ++, в языке программирования Java нет оператора goto; метки операторов идентификатора используются с операторами break (§14.15) или continue (§14.16), появляющимися в любом месте помеченного оператора.

Объем метки помеченного оператора - это непосредственно содержащийся оператор.

Другими словами, case 1, case 2 - это метки внутри оператора switch. К меткам можно применять операторы break и continue.

Поскольку метки разделяют область действия оператора, все переменные, определенные в метках, разделяют область действия оператора switch.