Виключні ситуації. Узагальнене програмування на мові Java (Generics)

Содержание

Слайд 2

Виключні ситуації Виключна ситуація (виключення) – це помилка часу виконання. Приклади:

Виключні ситуації

Виключна ситуація (виключення) – це помилка часу виконання.
Приклади: недостатньо ресурсів,

ділення на 0, “запрошений файл не існує” тощо
Як обробляти такі помилки?
Спробувати запобігти їм, застосовуючи нагромадження перевірок if-then-else. Недоліки підходу:
при виконанні перевірок може виникнути помилка часу виконання (наприклад, «недостатньо пам’яті»)
безліч перевірок значно ускладнює програмний код
ці перевірки вже зроблено в тих функціях/операторах, які застосовуються
Застосувати механізм обробки виключних ситуацій.
Слайд 3

Обробка виключних ситуацій Обробка виключних ситуацій – це механізм, який застосовується

Обробка виключних ситуацій

Обробка виключних ситуацій – це механізм, який застосовується для

обробки помилок та описує реакцію програми на помилки часу виконання. Дозволяє логічно відділити код прикладної програми від обробки помилок.
Переваги підходу:
Спрощення програмного коду
Запобігання зайвих перевірок - не повторюються перевірки, реалізовані в функціях, що викликаються
Механізм обробки виключних ситуацій реалізується JVM та полягає у кроках:
Після генерації виключення у коді програми JVM перериває нормальне виконання та передає управління блоку обробки виключення
Після успішної обробки виключенні виконання продовжується з блоку, який слідує за блоком обробки виключення
При розробці програм програмісту окрім використання обробки виключних ситуацій може знадобитися самому ініціювати виключні ситуації.
Ініціювати виключну ситуації необхідно, якщо є порушення семантичних обмежень програми:
неочікувані аргументи тощо
наприклад, JVM генерує виключення при діленні на 0, створенні масиву від’ємної розмірності, якщо не вистачає пам’яті для створення об’єкту і т.д.
Слайд 4

Синтаксис обробки виключень try { … // код, що контролюється }

Синтаксис обробки виключень

try {
… // код, що контролюється
}
catch

(ТипВиключення1 змінна1) {
… // перехват виключення
}
catch (ТипВиключення2 змінна2) {
… // перехват виключення
}
catch (ТипВиключенняN зміннаN) {
… // перехват виключення
}
finally{
… // код гарантованого виконання
}
… // З цього рядка продовжується виконання програми після успішного перехвату виключення
Слайд 5

Приклад блоку обробки виключень int i; double div; double dividor=0; try

Приклад блоку обробки виключень

int i;
double div;
double dividor=0;
try {
i=Integer.parseInt("абракадабра");
div=i/dividor;
}
catch(NumberFormatException e){

System.out.println("Це не число");
}
catch(ArithmeticException e){
System.out.println("Ділення на ноль");
}
finally {
System.out.println("Блок гарантованого виконання");
}
Слайд 6

Синтаксис обробки виключень. Продовження Блок обробки виключень: try - секція коду,

Синтаксис обробки виключень. Продовження

Блок обробки виключень:
try - секція коду, що контролюється
catch

- секції перехвату виключення
Можливі декілька секцій catch для перехвату виключення в залежності від його типу
Спрацьовує тільки один catch, перший з тих, що відповідає типу виключення
finally - секція гарантованого завершення
Зазвичай використовується для очистки ресурсів
Виконується завжди, навіть у наступних випадках:
якщо не була ініційована виключна ситуація
якщо не була “спіймана” виключна ситуація
Порядок виконання: 1) try – 2) catch – 3) finally
Можливі варіанти використання секцій
try-catch-finally
try-catch
try-finally
Слайд 7

Приклад застосування секції гарантованого завершення У наступному прикладі наведено, що блок

Приклад застосування секції гарантованого завершення

У наступному прикладі наведено, що блок finally

виконується, навіть якщо виключення не “спіймане”
public void foo () {
int i;
try{
i=Integer.parseInt("абракадабра");
}
finally {
System.out.println("Гарантоване завершення");
}
}
foo видає: Гарантоване завершення
Слайд 8

Запитання із співбесід На Вашу думку, коли в коді на мові

Запитання із співбесід

На Вашу думку, коли в коді на мові Java

не спрацює секція finally?
try {
System.out.println("Hello from try");
System.exit(0);
}
finally {
System.out.println("Hello from finally");
}
Програма видасть тільки: Hello from try
Поясність чому
Слайд 9

Ініціація виключень throw – оператор для ініціації виключень Виключення в Java

Ініціація виключень

throw – оператор для ініціації виключень
Виключення в Java – це

об’єкти, успадковані від класу Throwable
Класи виключень
Ієрархія класів виключень J2SE: Throwable, Exception, Error (див. далі)
JavaSE пропонує корисні для використання класи, наприклад: IllegalArgumentException, IllegalStateException
Власні класи виключень зазвичай успадковують від Exception
class TestException extends Exception {
TestException() { super(); }
TestException(String s) { super(s); }
}
Слайд 10

Ініціація виключень. Продовження Ініціація нового об’єкту виключення – об’єкт-виключення необхідно створити,

Ініціація виключень. Продовження

Ініціація нового об’єкту виключення – об’єкт-виключення необхідно створити, «new»
public

void foo (int a) {
if (a < 0)
throw new IllegalArgumentException();
...
}
Зверніть увагу на застосування IllegalArgumentException для перевірки параметрів
Повторна ініціація існуючого об’єкту виключення
int i;
try {
i=Integer.parseInt(s);
}
catch(NumberFormatException e){
System.out.println("Це не число");
throw e;
}
Виключення можуть утворювати “люнцюги”
try {
...;
} catch (LowLevelException le) {
le.printStackTrace();
throw new HighLevelException(le); // ланцюг виключень
}
Слайд 11

Конструктори виключень При розробці власного класу виключень доцільно реалізувати конструктор із

Конструктори виключень

При розробці власного класу виключень доцільно реалізувати конструктор із наступними

сигнатурами:
class TestException extends Exception {
TestException() { super(); }
TestException(String s) { super(s); }
TestException(String s, Throwable ex) { super(s, ex); }
TestException(Throwable ex) { super(ex); }
}
Слайд 12

Виключення та JVM throw та JVM Стек JVM thread: JVM перериває

Виключення та JVM

throw та JVM
Стек JVM thread:
JVM перериває управління по

стеку викликів у потоці виконання (JVM thread) до тих пір, поки не знайде блок обробки даного виключення. Якщо такий блок не знайдено, то викликається метод ThreadGroup.uncaughtException
synchronized
Механізм обробки виключень інтегровано із моделлю конкурентного доступу до ресурсів
Звільняються захвачені ресурси
Слайд 13

Декларація методу, який може ініціювати виключну ситуацію throws – ключове слово

Декларація методу, який може ініціювати виключну ситуацію

throws – ключове слово у

декларації методу/конструктору для зазначення типів виключень, що ініціюються
Модифікатори Тип Назва (Параметри) throws ТипВиключ1,ТипВиключ2,…,ТипВиключN {
…
}
Приклад:
public void createFile(String name)throws IOException {
…
}
Слайд 14

Контроль виключень компілятором Java-програми стійкі до помилок Обробка виключних ситуацій в

Контроль виключень компілятором

Java-програми стійкі до помилок
Обробка виключних ситуацій в Java є

обов’язковою для програміста та контролюється компілятором
2 типи виключень:
виключення, обробка яких перевіряється компілятором
ckecked exceptions
виключення, обробка яких не перевіряється компілятором
unckecked exceptions
Ці типи виключені базуються на ієрархії виключень в Java
Якщо в методі ініціюється виключення, що перевіряється компілятором, то повинно бути виконане одне з наступних правил:
Виключення повинно бути оброблене в тілі методу
обрамити операторами try-catch-finally той блок команд, в якому ініціюється виключення
Метод повинен делегувати обробку виключення
Застосувати ключове слово throws в декларації методу/конструктору та вказати класи виключень, що ініціюються
Слайд 15

Приклади Невірно: public void createFile(String name) { File f; f=new File(name);

Приклади

Невірно:
public void createFile(String name) {
File f;
f=new File(name);
f.createNewFile(); //

помилка компіляції
}
Вірно:
public void createFile(String name) {
File f;
f=new File(name);
try {
f.createNewFile(); // ok
} catch (IOException ex) {
...
}
}
Вірно:
public void createFile(String name) throws IOException{
File f;
f=new File(name);
f.createNewFile(); // ok
}
Слайд 16

Ієрархія виключень Throwable – клас-пращур усіх виключень Тільки об’єкти класу Throwable

Ієрархія виключень

Throwable – клас-пращур усіх виключень
Тільки об’єкти класу Throwable (або нащадків) можуть

наступне:
ініціювати виключення за допомогою оператора throw
бути аргументами секції catch
Throwable містить корисні функції
“знімок” стеку викликів, які ініціювали виключення:
printStackTrace – друк “знімку” стеку у консоль
getStackTrace – отримати “знімок” стеку для обробки
ланцюг виключень:
getCause – отримати виключення, яке спричинило поточне
текст повідомлення
getMessage – отримати текст опису помилки
getLocalizedMessage – отримати локалізований текст опису помилки
Слайд 17

Ієрархія виключень. Продовження Головні класи у ієрархії виключень: Error – серйозна

Ієрархія виключень. Продовження

Головні класи у ієрархії виключень:
Error – серйозна помилка, після

якої майже неможливо відновити роботу програми
Наприклад, OutOfMemoryError, NoClassDefFoundError
Exception – виключення, яке необхідно обробити
Наприклад, IOException (помилка вводу/виводу), SQLException, CertificateException, PrintException
RuntimeException – виключення, обробка яких не впливає значним чином на коректність роботи програми
Наприклад, NullPointerException, IndexOutOfBoundsException, IllegalArgumentException, ClassCastException
Слайд 18

Ієрархія виключень. Контроль виключень компілятором Не перевіряються компілятором (unckecked exceptions): Error

Ієрархія виключень. Контроль виключень компілятором

Не перевіряються компілятором (unckecked exceptions):
Error та нащадки
RuntimeException

та нащадки
Перевіряються компілятором (сhecked exception):
Усі інші
Чому не перевіряються виключення типу Error?
Тому що відновлення після таких помилок дуже складне або неможливе
Наприклад, після помилки “клас не знайдено” (NoClassDefFoundError) відновитися неможливо.
Чому не перевіряються виключення типу RuntimeException?
Тому що обробка таких помилок не впливає значним чином на коректність роботи програми
Виникнення таких виключень у 90% випадків свідчить про те, що необхідно доопрацювати код програми. Наприклад, виникнення NullPointerException означає, що програміст не перевірив посилання (“вказівник на об’єкт”) перед зверненням до його поля/методу.
Слайд 19

Виключення та перекриття/приховування методів Пригадаємо тему “ООП у мові Java” та

Виключення та перекриття/приховування методів

Пригадаємо тему “ООП у мові Java” та слайд

“Правила перекриття/приховування методів”:
Правила щодо секції throws методу, що приховує/перекриває інший метод
Кількість виключень не збільшується
Тип кожного виключення може бути уточнений (може вказуватись нащадок)
class Point {
int x, y;
void move(int dx, int dy) {…}
}
class CheckedPoint extends Point {
void move(int dx, int dy)
throws BadPointException {…} // error!!!
}
Слайд 20

Виключення та static Пригадаємо тему “ООП у мові Java”, слайд “Модифікатор

Виключення та static

Пригадаємо тему “ООП у мові Java”, слайд “Модифікатор static”
При

ініціалізації статичних полів не допускається породження checked виключення
У блоках статичної ініціалізації класу заборонено породження checked виключень, які виходять за рамки блоку
class My {
static File file = new File("C:\\a.txt");
static {
file.createNewFile(); // exception
// compile error
}
…
}
Слайд 21

Рекомендації по обробці виключень у реальних системах Користуйтеся записом в лог-файл

Рекомендації по обробці виключень у реальних системах

Користуйтеся записом в лог-файл
У реальних

системах лог-файл – потужний засіб для відслідковування помилок. Тому в секції catch викликайте запис в лог-файл
У реальних системах у секції catch не використовуйте printStackTrace, а користуйтеся записом в лог-файл
Запис в лог буде розглянуто у подальших лекціях
Не “ковтайте” виключення у секції catch !!!!
запишіть помилку в лог
ініціюйте подальшу обробку помилки
створіть ланцюг виключень, або
повторно ініціюйте перехвачене виключення
try {
...
} catch (NamingException ex) {
Logger.getLogger(this.getClass().getName()).log(Level.SEVERE,null, ex);
throw new MyException("Опис помилки", ex);
}
Намагайтеся не застосовувати єдиний catch(Exception ex)
catch (Exception ex) буде перехватувати усі виключення – checked та unchecked.
Досить часто виключення типу unchecked свідчать про некоректно написану програму. Застосування єдиної секції catch (Exception ex) ускладнить пошук помилки.
Вказуйте у catch саме той тип виключення, який необхідно обробити
catch (NamingException ex), catch(SqlException ex) тощо
Застосовуйте декілька секцій catch – кожний catch для свого типу виключення
Слайд 22

Література Кей С. Хорстманн, Гари Корнелл. Java 2. Библиотека профессионала, том

Література

Кей С. Хорстманн, Гари Корнелл. Java 2. Библиотека профессионала, том 1.

Основы. - Вильямс.: 2010. - 816c.
Брюс Эккель. Философия Java. – Питер, 2008. – 640 с.
The Java Tutorial. http://download.oracle.com/javase/tutorial/java/TOC.html
James Gosling, Bill Joy, Guy Steele. The Java Language Specification. - Addison Wesley. - 3 edition. - 2005. - 688p. -http://java.sun.com/docs/books/jls/
Слайд 23

Лекція 4 Узагальнене програмування на мові Java (Generics)

Лекція 4

Узагальнене програмування на мові Java (Generics)

Слайд 24

Узагальнення (Generics) Узагальнене програмування – це розробка коду, який може бути

Узагальнення (Generics)

Узагальнене програмування – це розробка коду, який може бути багаторазово

використаний із об’єктами різних типів
Основні класи задач, які потребують застосування узагальнень:
Розробка функцій-утиліт для колекцій (пошук, max, min, avg, sum тощо)
Розробка контейнерів для об’єктів різних типів (стек, колекція тощо)
Передумови появи узагальнень в Java
Java – широко застосовується, але
Відсутній аналог template C++
При програмуванні класів та алгоритмів, які потребують узагальнення, Java-код перевантажується застосуванням об’єктів типу Object та приведенням типів, насамперед, при роботі з колекціями
Помилки часу виконання при помилковому приведенні типів
Слайд 25

Історія появи узагальнень в Java Задача - розширити систему типів мови,

Історія появи узагальнень в Java

Задача - розширити систему типів мови, що

широко застосовується і до якої висуваються вимоги жорсткої зворотної сумісності
Роботу розпочато у 1999р.
Деякі деталі із проробки задачі:
Специфікація “JSR-014: Adding Generics to the Java Programming Language” розроблялася протягом 1999-2004
Розширення системи типів підстановочними типами (wildcards) здійснено у співпраці Sun та університету м.Орхус (Данія)
Цікаво – один із відомих уродженців м.Орхус – Бйорн Страуструп, автор мови C++
Узагальнення побачили світ в J2SE 5 (2004р.)
Слайд 26

Приклад без застосування узагальнень Перевантаження коду змінними типу Object public class

Приклад без застосування узагальнень

Перевантаження коду змінними типу Object
public class Box {

private Object object;
public void add(Object object) { this.object = object; }
public Object get() { return object; }
}
Перевантаження коду приведенням типів
public static void main(String[] args) {
Box integerBox = new Box(); // домовимося передавати в
// Box значення Integer
integerBox.add("10"); // увага – це значення типу String
...
Integer someInteger = (Integer)integerBox.get();// помилка
//часу виконання
System.out.println(someInteger);
}
Якщо негаразд із типами - помилка часу виконання
java.lang.ClassCastException: java.lang.String cannot be cast to java.lang.Integer
Слайд 27

Приклад застосування узагальнень Застосуємо узагальнення – отримаємо більш безпечний код, який

Приклад застосування узагальнень

Застосуємо узагальнення – отримаємо більш безпечний код, який краще

читається
Замість Object застосовуємо “типи-параметри”
public class Box {
private T t;
public void add(T t) { this.t = t; }
public T get() { return t; }
}
Не потрібно приводити типи
public static void main(String[] args) {
Box integerBox = new Box();
integerBox.add("10"); // Помилка компіляції
Integer someInteger = integerBox.get(); // Не потрібне приведення
// типів
System.out.println(someInteger);
}
Негаразд із типами - помилка компіляції
Слайд 28

Реалізація узагальнень в Java Це елементи мови Це функціональність компілятора, яка

Реалізація узагальнень в Java

Це елементи мови
Це функціональність компілятора, яка дозволяє виявити

певні помилки на стадії компіляції
Це не функціональність JVM
На стадії виконання (runtime) уся інформація про узагальнення стирається
Через вимоги жорсткої зворотної сумісності – старий байт-код повинен працювати на нових JVM
Узагальнення не потребують додаткових ресурсів часу виконання
Слайд 29

Елементи мови, які узагальнюються Що може бути узагальнене Класи але не

Елементи мови, які узагальнюються

Що може бути узагальнене
Класи
але не всі, див. нижче
Інтерфейси
Методи
Конструктори
Які

типи можуть бути параметрами для узагальнення
Класи
Інтерфейси
Масиви
Які типи не можуть бути параметрами для узагальнення
Примітивні типи (але класи-оболонки можуть)
Які класи не можуть бути узагальнені
Enum
Чому?
Клас Throwable та його нащадки
Обмеження викликане тим, що механізм catch у JVM не працює з параметризованими класами
Слайд 30

Узагальнені типи Узагальнені типи – узагальнені класи та узагальнені інтерфейси Узагальнений

Узагальнені типи

Узагальнені типи – узагальнені класи та узагальнені інтерфейси
Узагальнений клас –

клас з принаймні однією змінною типу
public class Box {
private T t;
public void add(T t) { this.t = t; }
public T get() { return t; }
}
Box – узагальнений клас, який вводить змінну типу T
Межі дії змінної типу – весь клас
Декілька змінних типу
class Suitecase { … - узагальнений клас з двома змінними типу
Успадкування для узагальнених класів/інтерфейсів
Suitecase extends Box {…}
Угода щодо назв змінних типів у JavaSE
E – Element (використовується у Java Collections Framework)
K – Key
T – Type
V - Value
Узагальнення інтерфейсів відбувається аналогічно
Слайд 31

Узагальнені типи. Продовження Термін “параметризований тип” означає виклик узагальненого класу Box

Узагальнені типи. Продовження

Термін “параметризований тип” означає виклик узагальненого класу
Box - узагальнений

клас із змінною типу T
Box - параметризований тип,
із параметром (аргументом) Integer
Інші приклади параметризованих типів
Vector
Seq>
Collection
Pair
Iterator - параметризація масивом
Виклик конструктора параметризованого типу
Box integerBox = new Box();
Слайд 32

Узагальнені методи Узагальнений метод – це метод з принаймні однією змінною

Узагальнені методи

Узагальнений метод – це метод з принаймні однією змінною типу
class

Inspector {
public void inspect(T t) {
System.out.println(t.getClass().getName());
}
}
Змінна типу вказується після модифікаторів методу
Виклик методу
Inspector i = new Inspector();
String s = "Hello";
i.inspect(s); // короткий синтаксис
i.inspect(s); // повний синтаксис
Узагальнення конструкторів відбувається аналогічно
Слайд 33

Обмеження для змінних типу Подібного немає в C++ extends & -

Обмеження для змінних типу

Подібного немає в C++
extends & - ключові слова
extends

– означає, що параметр типу повинен успадковувати вказаний клас чи реалізовувати вказані інтерфейси
& - дозволяє вказати декілька типів, які мають бути успадковані або реалізовані (один клас, декілька інтерфейсів). “,” застосувати не можна, оскільки це роздільник між змінними типу
class Inspector {
public void inspect(T t) {
…
}
}
Inspector i = new Inspector();
String s = "Hello";
i.inspect(s); // помилка компіляції,
// оскільки s - це не Number & Comparable
Слайд 34

Повторне використання коду для параметризованих класів Успадкування – відомий інструмент для

Повторне використання коду для параметризованих класів

Успадкування – відомий інструмент для повторного

використання коду. “Працює” для узагальнень наступним чином:
Вірно: Integer extends Number, Double extends Number
public class Box {
T t;
public void add(T t) { this.t = t; }
}
}
Box box = new Box();
box.add(new Integer(10)); // OK
box.add(new Double(10.1)); // OK
Як реалізувати повторне використання коду для параметризованих класів?
Невірно: Box extends Box, Box extends Box
public void boxTest(Box n) { ...}
boxTest(new Box()); // error
boxTest(new Box()); // error
Відповідь – підстановочні типи
Слайд 35

Підстановочні типи (wildcards) Подібного немає в C++ Код без підстановочного типу

Підстановочні типи (wildcards)

Подібного немає в C++
Код без підстановочного типу
public void boxTest(Box

n) { ...}
boxTest(new Box()); // error
boxTest(new Box()); // error
Код із підстановочним типом
Застосування ?
public void boxTest(Box n) { ... } // але відсутні обмеження щодо “?”
boxTest(new Box()); // ok
boxTest(new Box()); // ok
Застосування ? extends Number
public void boxTest(Box n) { ...}
boxTest(new Box()); // ok
boxTest(new Box()); // ok
Ключові слова
? – підстановочний тип, означає “якийсь параметр узагальненого типу”
extends - - будь-який тип-нащадок Тип
super - - будь-який тип-пращур Тип
Застосування підстановочних типів
Тільки в методах/конструкторах
Тільки для тих параметрів методів, які є узагальненими типами
- Предыдущая
Планета Меркурій
Следующая -
Обоснование проекта с использованием методов математического моделирования. Максимум теплотворной способности добытого топлива

Похожие презентации

Катехизация в русской православной церкви, сложности и перспективы
Презентация компьютерного магазина. Представление рабочего персонала. Представление прибыли от продаж
Коллекционные монеты – Древние города России
Фотоописание элементов для выступления команд корпоративного черлидинга на Creator Games
Налоги и их классификация
Версаль-Вашингтон жүйесі
Энергосберегающие решения деревянных малоэтажных домов
День здоровья
Разработка и исследование редактора и компилятора запросов системы логического программирования
Вегетативная нервная система
ФИЗИЧЕСКИЕ ОСНОВЫ ПРОЦЕССОВ И ЯВЛЕНИЙ, ЛЕЖАЩИЕ В ОСНОВЕ МЕТОДОВ ПОЛУЧЕНИЯ ИНФОРМАЦИИ О СТРУКТУРНЫХ ХАРАКТЕРИСТИКАХ МАТЕРИАЛОВ
ВНЕШНЯЯ ПОЛИТИКА 60-90-Х ГГ. XVIII В
Политические режимы
Пространственные конструкции
Аутэкология
«Интернет Технологии» Разработка, поддержка и реклама Вашего сайта www.ProfSolutions.ru
Где живут белые медведи - презентация Окружающий мир_
Принципы объектно-ориентированного проектирования
Положение о школьной форме и внешнем виде учащихся
Филология и культурная антропология: области пересечения
Беспроводная связь
ОБЪЕДИНЕНИЕ РУССКИХ ЗЕМЕЛЬ ВОКРУГ МОСКВЫ (XIV—XVI) План. 1. Причины образования единого государства. 2. Усиление Московского кня
Распалубочная прочность бетона. Особенности строительства в условиях жаркого климата. Специальные антисейсмичные мероприятия
Свойства степеней в преобразовании выражений - презентация по Алгебре_
Pointers. Lecture18-20
Принцип работы электродвигателя. Принцип работы электродвигателя переменного тока
ОЗ-7 класс Способы жизни и здоровья
Чтение размеров. Определение годности деталей, характера брака
Вы можете прислать нам Вашу презентацию и мы опубликуем ее на сайте.
Обратная связь
Для правообладателей
Email: Нажмите что бы посмотреть