Операторы и структура кода. Исключения. (Лекция 6) презентация

видимости локальных переменных
Блок используется для структурирования кода

фигурные скобки
{
// тело блока
}

x; int x = 0;}
Локальные переменные перекрывают видимость полей класса
public class Test {
int x = 5;
void meth() { int x = 1; System.out.println(x); }
}

языках не рекомендуется

= 0;
Test: for(int i=0; i<10;i++) {
test: for(int j=0; j<10;j++) {
if (i*j>50) break Test;
}
}
}
}

выражение обязательно возвращает булевский тип значения
Часть else может быть опущена

(выражение_3) блок_3
…
else блок_N

else относится к ближайшему if
при выполнении первого условия if дальнейшее выполнение каскада прекращается

else System.out.println(“Попытка деления на ноль”);

if (x>4) {
z = 2*x-1;
} else if (x<0) {
z = x+14;
} else z = x;

или блок_2
…
[default: выражение_N или блок_N]
}

Выражение типа byte, short, int, char (начиная с JDK 7 + String)
const – целочисленный литерал или переменная final static
оператор выполняется от первого совпадения до конца!
проверки совпадения производятся сверху вниз

case 0:
print(“i is zero”);
break;
case 1:
print(“i is one”);
break;
case 2:
print(“i is two”);
break;
default:
print(“i is three or more”);
}

case 0:
print(“i is less than one”);
case 1:
print(“i is less than two”);
case 2:
print(“i is less than three”);
}

case 0:
case 1:
print(“i is 0 or 1”);
case 2:
print(“i is two”);
break;
}

имеет значение «истина»
Логическое выражение проверяется до начала итерации
Выражение инициализации выполняется один раз
Выражение обновления выполняется после выполнения блока

}

int i,j;
for (i=0,j=10; i
for (int i=0;i<10;) {
println(i); i++; }

цикл
for (;;) { }

Цикл без тела
for (i=1; i<=5;sum+=i++);
println(sum);

пока выражение имеет значение «истина»
Никаких дополнительных ограничений не предусмотрено
Требуется изменять логическое выражение
Требуется внимательно контролировать ветвления внутри цикла

{
println(i);
}

выражение имеет значение «истина»
Оператор выполняется как минимум один раз.
Никаких дополнительных ограничений не предусмотрено

блока управление передается блоку или оператору с данной меткой

continue [label];
Прерывает выполнение текущей итерации цикла

return [expression];
Прерывает выполнение метода
Тип выражения должен совпадать с типом возвращаемого значения

for(int i=1;i<10;i++) {
print(“out” + I + “in”);
for(int j=1;j<10;j++) {
if (j==5) continue outerloop;
print(j);
}
}

print(“i=” +i);
}
print(“done”);

a[];
int[] a;
int[] a[];
int a[][];

sample[i] = i;
}

sample[0] = …; …
int sample [ ] = {1, 2, …};

// инициализация
int min,max;
min = max = nums[0];
for(int i=1;i<10;i++) {
if (nums[i] if (nums[i]>max) max = nums[i];
}
print(max,min);
}
}

int length = a.length;
Индексация начинается с «0»
Ошибка индексации – ошибка времени исполнения программы

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

выход за границы массива…
Явное порождение ошибки (throw)
Асинхронные (внешние) ошибки
Сбои виртуальной машины
Внешнее прерывание работы потока

в место создания экземпляра объекта
Статический инициализатор
Управление передается в место первого обращения к классу

в месте и в момент возникновения ошибки;
обрабатываемый в JVM по особым правилам;
содержащий необходимую информацию о сути возникшей ошибки

строкового сообщения об ошибке (без указания места возникновения)
toString()
Получение строкового представления Exception

catch (Exception_2 e2) {
блок } …
[ finally {
блок }

new int[4];

try {
System.out.println("before");
nums[7] = 10;
System.out.println("anything");
}
catch (ArrayIndexOutOfBoundsException exc) {
System.out.println("index out of bounds");
}
System.out.println("after");
}

}

exc) {
System.out.println("index out of bounds");
}
System.out.println("after");
}
}

class ExcDemo2 {
static void getException() {
int nums[] = new int[4];
System.out.println("before");
nums[7] = 10;
System.out.println("anything");
}

}

{4, 8, 16, 32, 64, 128, 256, 512};
int num2[] = {2, 0, 4, 2, 0, 8};
for (int i = 0; i<=7; i++) {
try {
System.out.println("before");
System.out.println(nums[i]/num2[i]);
}
catch (ArrayIndexOutOfBoundsException exc) {
System.out.println("index out of bounds");
}
catch (ArithmeticException exc) {
System.out.println("division by zero");
}
catch (Exception exc) {
System.out.println("some other exception");
}
}
System.out.println("after");
}

}

= new Random();
int array[] = {0, 2};
int a, b;
for (int i=1;i<3;i++) {
try {
a = r.nextInt(3);
b = 10/array[a];
System.out.println(b);
}
catch (ArithmeticException exc) {
System.out.println("devision by zero");
}
catch (ArrayIndexOutOfBoundsException exc) {
System.out.println("out of bounds");
}
finally {
System.out.println("finally!");
}
}
}
}

= 0; i<3; i++) {
UseFinally.useFinally(i);
} } }

class UseFinally {
public static void useFinally(int k) {
int num[] = new int[2];
int t;
try {
switch (k) {
case 0:
t = 2 / k; break;
case 1:
t = num[4]; break;
case 2:
return;
}
}
catch (ArrayIndexOutOfBoundsException exc) {
System.out.println("index out of bounds");
}
catch (ArithmeticException exc) {
System.out.println("devision by zero");
}
finally {
System.out.println("finally");
} } }

класс, реализующий интерфейс Throwable
Соответствующий catch – catch, в котором указано само исключение или его предок
Блоки catch проверяются последовательно
После нахождения нужного catch другие не проверяются
Блок finally выполняется в любом случае

внутри блока catch
Блок finally выполняется, ошибка передается выше
Ошибка внутри блока finally
ошибка передается выше

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

ArithmeticException();
}
catch (ArithmeticException exc) {
System.out.println("oops. what have you done???");
}
}
}

предусмотрена ли обработка исключительной ситуации
Требуется прописывать в сигнатуре метода (если не обрабатываем внутри метода)
void someMeth() throws Exception_1, Exception_2, … { }
Непроверяемые исключения
наследники RuntimeException
Обязательной обработки не требуется, компилятор оставляет это на усмотрение разработчика
наследники Error
Программными средствами ошибку обработать невозможно

иерархии Exception
В нужной ситуации
Создается экземпляр класса;
Его поля наполняются необходимой информацией;
Объект отправляется на обработку с помощью throw

{4, 8, 15, 32, 64, 128, 257, 512};
int num2[] = {2, 0, 4, 2, 0, 8};
for (int i = 0; i<=7; i++) {
try {
if ((nums[i]%2) != 0) {
throw new NonIntResultException(nums[i],num2[i]);
} else
System.out.println(nums[i]/num2[i]);
}
catch (NonIntResultException exc) {
System.out.println(exc);
}
catch (ArrayIndexOutOfBoundsException exc) {
System.out.println("index out of bounds");
}
catch (ArithmeticException exc) {
System.out.println("division by zero");
} } } }

class NonIntResultException extends Exception {
int n, m;
NonIntResultException(int i, int j) {
n = i;
m = j;
}
public String toString() {
return "Result of " + n + "/" + m + " is not integer";
} }

new ExcDemo2();
for (int i = 0; i<=7; i++) {
try {
ed.useThrows(i);
}
catch (NonIntResultException exc) {
System.out.println(exc);
}
catch (ArrayIndexOutOfBoundsException exc) {
System.out.println("index out of bounds");
}
catch (ArithmeticException exc) {
System.out.println("division by zero");
} } } }

class NonIntResultException extends Exception {
int n, m;
NonIntResultException(int i, int j) {
n = i;
m = j;
}
public String toString() {
return "Result of " + n + "/" + m + " is not integer";
} }

class ExcDemo2 {
int nums[] = {4, 8, 15, 32, 64, 128, 257, 512};
int num2[] = {2, 0, 4, 2, 0, 8};
void useThrows(int i) throws NonIntResultException {
if ((nums[i]%2) != 0) {
throw new NonIntResultException(nums[i],num2[i]);
} else
System.out.println(nums[i]/num2[i]);
} }

участков кода, недостижимых ни при каких условиях = UnreachableCodeException
Проверка обработки проверяемых исключений
Если внутри метода есть throw, в его описании должно быть throws с указанием нужного класса
Если вызывается метод, который описан как throws, либо должен быть try-catch c соответствующей обработкой, либо вызывающий метод тоже throws.