Странная семантика состояния переключателя

Question

Я встретил эти вариации оператора switch, и мне интересно узнать, в каких случаях его можно использовать?

Странность - это потому, что она не имеет случаев до значения по умолчанию, только после. И не имеет инструкции break. Но отлично работает.

Вот код:

public static Item newItem() { 
    switch (rand.nextInt(3)) { 
    default: 
    case 0: 
     return new Scissors(); 
    case 1: 
     return new Paper(); 
    case 2: 
     return new Rock(); 
    } 
} 

Как это может быть действительно выполнить в этом странном стиле. Я пытался сделать легкую отладку, все работает отлично, она возвращает точность одного явного экземпляра.

Вопрос: почему мы должны написать:

default: 
case 0: 

вместо Типичное использование:

case 0: 
default: 

Компилятор не позволял изменять или комментировать default заявление.

Любые предложения?

PS пожалуйста, не пишите глупые объяснения, как делает switch работы. ясно. пишите только об этом явном примере.

BTW Я встретил этот мир кода в Thinking in Java by Bruce Eckel.

Answer 1

Филиал default просто означает «ветвь для всех опций явно не указано Это соглашение, чтобы положить его в конце switch-case заявления, но не требуется

break также не требуется -.. Если ветвь switch-case не заканчивается break, она просто продолжит выполнение кода в следующей ветке - это называется fallthrough. Однако здесь вам это не нужно, потому что каждая ветвь всего return s, поэтому выполнение функции не продолжается.

Answer 2

Return вызывает выход. Нет необходимости добавлять оператор break.

Answer 3

break не является обязательным. Если случай соответствует, и не встречается break, то выполняется без проверки. case. Вот почему

case 0: 
default: 
    // Some code here 

работает так, как вы ожидаете.

default кейс специальный. Выполняется, если нет других case. Неважно, где вы его положили (в начале, посередине или (как принято) в конце).

В вашем коде, если case 0: совпадений, case 1: не выполняется только потому, что функция никогда не заходит так далеко: вместо этого возвращается new Scissors().

Answer 4

Код может быть изменен для улучшения читаемости и стандартный вид:

switch(...) 
{ 
    case 0: 
    ... 
    case 1: 
    ... 
    case 2: 
    ... 
    default: 
    // Not reachable 
    throw new RuntimeException("Unexpected value"); 
} 

По умолчанию метка необходима, поскольку компилятор не может догадаться, что только 0, 1 и 2 возможны.

Answer 5

Метод должен возвращать значение, как было объявлено методом, поэтому он должен иметь оператор return. Если вы прокомментируете default, метод может не вернуть значение. Неважно, где вы положили default, но вы должны сделать это, чтобы выполнить условие возврата.