Недоступен код

Question

Следующий код выдает ошибку unreachable statement компилятора

public static void main(String[] args) { 
    return; 
    System.out.println("unreachable"); 
} 

Иногда для целей тестирования хотения предотвратить метод от вызова, поэтому быстрый способ сделать это (вместо того, чтобы комментировать это везде он используется) должен немедленно вернуться из метода, чтобы метод ничего не делал. То, что я тогда всегда сделать, чтобы получить Arround ошибки компилятора это

public static void main(String[] args) { 
    if (true) { 
     return; 
    } 
    System.out.println("unreachable"); 
} 

Я просто любопытно, почему это ошибка компилятора ?? Будет ли он каким-то образом разбивать Java-байт-код, защищать ли он программиста или это что-то еще?

Также (и это для меня более интересно), если компиляция java в байт-код делает любую оптимизацию (или даже если это не так), то почему бы не обнаружить вопиющий недостижимый код во втором примере? Что было бы псевдокодом компилятора для проверки того, что заявление недостижима?

Answer 1

Недоступный код не имеет смысла, поэтому ошибка времени компиляции полезна. Причина, по которой он не будет обнаружен во втором примере, как и вы ожидаете, предназначен для тестирования/отладки. Это объясняется в описании:

if (false) { x=3; } 

не приводит к ошибке времени компиляции.Оптимизирующий компилятор может понимать, что утверждение x = 3; никогда не будет выполнен и может выбрать , чтобы опустить код для этого оператора из сгенерированного файла класса, но утверждение x = 3; не считается «недостижимым» в указанном здесь техническом значении .

Основания для такого различного лечения, чтобы позволить программистам определить «переменный флаг», такие как:

static final boolean DEBUG = false; 

, а затем написать код, такие как:

if (DEBUG) { x=3; } 

Идея заключается в том, что оно должно быть возможно изменить значение DEBUG от false до true или от true до false, а затем скомпилировать код без каких-либо изменений текста программы.

Ссылка: http://docs.oracle.com/javase/specs/jls/se8/html/jls-14.html#jls-14.21

Answer 2

Это потому, что это пустая трата ресурсов, чтобы даже быть там. Кроме того, разработчики компилятора не хотят предполагать, что они могут вычеркнуть, но скорее вынудят вас удалить либо код, который делает его недоступным, либо сам недостижимый код. Они не знают, что должно быть там. Есть разница между оптимизациями, где они настраивают ваш код, чтобы быть более эффективным, когда он скомпилирован до машинного кода и явно просто удаляет код «вам не нужен».

Answer 3

Эта ошибка в основном предотвращает ошибки программиста (своп из двух строк или более). Во втором фрагменте вы даете понять, что вас не интересует system.out.println().

Answer 4

Будет ли это прерывать Java-байт-код каким-либо образом, защищать программиста или это что-то еще?

Это не требуется для Java/JVM. Единственная цель этой ошибки компиляции - избегать глупых ошибок программиста. Рассмотрим следующий код JavaScript:

function f() { 
    return 
     { 
      answer: 42 
     } 
} 

Эта функция возвращает undefined как двигатель JavaScript добавляет точку с запятой в конце строки и игнорирует мертвую код (как он считает). Компилятор Java более умный, и когда он обнаруживает, что вы делаете что-то явно и явно неправильно, он не позволит вам сделать это. На земле у вас нет способа иметь мертвый код. Это как-то вписывается в предпосылку Java быть безопасным языком.

Answer 5

Потому что автор компилятора предположил, что человек в элементах управления немой и, вероятно, не хотел добавлять код, который никогда не будет выполнен, - поэтому, бросая ошибку, он пытается помешать вам непреднамеренно создать код путь, который не может быть выполнен - ​​вместо этого вы вынуждаете вас принять решение об этом (хотя, как вы доказали, вы все равно можете обойти его).

Answer 6

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

Во втором коде я поставил заявление выше возвращения и его работа теперь :)

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

государственной статической силы основных (String []) {арг

return; 
System.out.println("unreachable"); 

}

/////////////////////// //////////

государственной статической силы основных (String []) {арг

System.out.println("unreachable"); // Put the statement before return 
return; 

}

Answer 7

http://docs.oracle.com/javase/specs/jls/se8/html/jls-14.html#jls-14.21

говорит:

14,21. Unreachable Statement

Это ошибка времени компиляции, если оператор не может быть выполнен, потому что он недоступен.