Операторы и структура кода. Исключения

Пустой оператор

Точка с запятой ( ; ) является пустым оператором. Данная конструкция вполне применима там, где не предполагается выполнение никаких действий. Преждевременное завершение пустого оператора невозможно.

Метки

Любой оператор, или блок, может иметь метку. Метку можно указывать в качестве параметра для операторов break и continue. Область видимости метки ограничивается оператором, или блоком, к которому она относится. Так, в следующем примере мы получим ошибку компиляции:

public class Test {
   static int x = 5;
   static {
   }
   public Test() {
   }
   public static void main(String[] args) {
      Test t = new Test();
      int x = 1;
      Lbl1: {
         if(x == 0) break Lbl1;
      }

      Lbl2:{
         if(x > 0) break Lbl1;
      }
   }
}

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

Этот пример является вполне корректным:

public class Test {
	static int x = 5;
	static {

   }
   public Test() {
   }
   public static void main(String[] args) {
      Test t = new Test();
      int L2 = 0;
      Test: for(int i = 0; i< 10;i++) {
         test: for(int j = 0; j< 10;j++) {
            if( i*j > 50) break Test;
         }
      }
   }
   private void test() {
      ;
   }
}

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

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

Оператор if

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

В общем случае конструкция выглядит так:

if (логическое выражение) выражение или блок 1
else выражение или блок 2

Логическое выражение может быть любой языковой конструкцией, которая возвращает булевский результат. Отметим отличие от языка C, в котором в качестве логического выражения могут использоваться различные типы данных, где отличное от нуля выражение трактуется как истинное значение, а ноль - как ложное. В Java возможно использование только логических выражений.

Если логическое выражение принимает значение "истина", то выполняется выражение или блок 1, в противном случае - выражение или блок 2. Вторая часть оператора ( else ) не является обязательной и может быть опущена. Т.е. конструкция if(x == 5) System.out.println("Five") вполне допустима.

Операторы if-else могут каскадироваться.

String test = "smb";
if( test.equals("value1") {
   ...
} else if (test.equals("value2") {
   ...
} else if (test.equals("value3") {
   ...
} else {
   ...
}

Следует помнить, что оператор else относится к ближайшему к нему оператору if. В данном случае последнее условие else будет выполняться, только если не выполнено предыдущее. Заключительная конструкция else относится к самому последнему условию if и будет выполнена только в том случае, если ни одно из вышеперечисленных условий не будет истинным. Если хотя бы одно из условий выполнено, то все последующие выполняться не будут.

Например:

... 
int x = 5;
if( x < 4) {
   System.out.println("Меньше 4");
} else if (x > 4) {
   System.out.println("Больше 4");
} else if (x == 5) {
   System.out.println("Равно 5");
} else{
   System.out.println("Другое значение");
}

Предложение "Равно 5" в данном случае напечатано не будет.

Оператор switch

Оператор switch() удобно использовать в случае необходимости множественного выбора. Выбор осуществляется на основе целочисленного значения.

Структура оператора:

switch(int value) {
   case const1:
      выражение или блок
   case const2:
      выражение или блок
   case constn:
      выражение или блок
   default:
      выражение или блок
}

Причем, фраза default не является обязательной.

В качестве параметра switch может использоваться переменная типа byte, short, int, char или выражение. Выражение должно в конечном итоге возвращать параметр одного из указанных ранее типов. В операторе switch не могут применяться значения примитивного типа long и ссылочных типов Long, String, Integer, Byte и т.д.

При выполнении оператора switch производится последовательное сравнение значения x с константами, указанными после case, и в случае совпадения выполняется выражение следующее за этим условием. Если выражение выполнено нормально и нет преждевременного его завершения, то производится выполнение для последующих case. Если же выражение, следующее за case, завершилось ненормально, то будет прекращено выполнение всего оператора switch.

Если не выполнен ни один оператор case, то выполнится оператор default, если он имеется в данном switch. Если оператора default нет и ни одно из условий case не выполнено, то ни одно из выражений switch также выполнено не будет.

Следует обратить внимание, что, в отличие от многозвенного if-else, если какое-либо условие case выполнено, то выполнение switch не прекратится, а будут выполняться следующие за ним выражения. Если этого необходимо избежать, то после кода следующего за оператором case используется оператор break, прерывающий дальнейшее выполнение оператора switch.

После оператора case должен следовать литерал, который может быть интерпретирован как 32-битовое целое значение. Здесь не могут применяться выражения и переменные, если они не являются final static.

Рассмотрим пример:

int x = 2;
switch(x) {
   case 1:
   case 2:
      System.out.println("Равно 1 или 2");
      break;
   case 3:
   case 4:
      System.out.println("Равно 3 или 4");
      break;
   default:
      System.out.println(
	    "Значение не определено");
}

В данном случае на консоль будет выведен результат "Равно 1 или 2". Если же убрать операторы break, то будут выведены все три строки.

Вот такая конструкция вызовет ошибку времени компиляции.

int x = 5;	
switch(x) {
   case y:   // только константы!
      ...
      break;
}

В операторе switch не может быть двух case с одинаковыми значениями.

Т.е. конструкция

switch(x) {
   case 1:
   System.out.println("One");
   break;
   case 1:
   System.out.println("Two");
   break;
   case 3:
   System.out.println("Tree or other value");
}

недопустима.

Также в конструкции switch может быть применен только один оператор default.