AutotestЯк

Пташки тут наспівали, що не всім очевидно навіщо і як використовувати Optional в програмуванні і чому «чисті null це зло»... Давай же розберемось та ще й порівняємо підходи в різних мовах – #java, #typescript, #csharp, #python – аби зрозуміти основоположні принципи та механізми 😉

Почнемо з Java, в якій підхід – якраз самий класичний, простий і надійний.

Припустимо ми робимо якусь операцію - «зберегти файл» і хочемо запам'ятати результат (власне збережений файл), але ж результату може і не бути, бо наприклад полетить помилка:


File storedFile = null;

try {
   
    storedFile = storeFile("~/tmp/temp.txt");

} catch (Exception error) {

    // що завгодно, можемо залогувати помилку чи ще що... 
    
}

// далі щось може відбуватись ... 

// і в кінці, ми повертаємось до нашого файлу...
// наприклад, щоб запам'ятати його ім'я...
// чи просто надрукувати:

System.out.printLine(storedFile.getName());

Код скомпілюється, все ймовірно запрацює, а потім – одного дня, коли по якійсь причині, наприклад не буде права на запис - код грохнеться з чимось типу NullPointerException і з повідомлення про помилку – ми ох як довго не зрозуміємо у чому справа 🙂

Ну... ми поколупаємось, розберемось і підправимо код:


File storedFile = null;

try {
   
    storedFile = storeFile("~/tmp/temp.txt");

} catch (Exception error) {

    // ... 
    
}

// ...

System.out.printLine(storedFile != null ? storedFile.getName() : "file was not stored!");

Так от, давні коДаóси помітили :), що коли ми працюємо з нулами то постійно вилазять такого роду проблеми, і краще щось робити для того, щоб «не забувати обробляти нули одразу».

Саме просте, що іноді (наприклад у версіях джави до 9-тої) – я роблю коли під рукою немає спеціального засобу типу Optional (про який буде мова далі) – це просто міняю назву змінної в якій може бути null (себто відсутність результату, пустота):


File maybeStoredFile = null;

try {
   
    maybeStoredFile = storeFile("~/tmp/temp.txt");

} catch (Exception error) {

    // ... 
    
}

// ...

/* 

// тепер нижче у мене руки не повернуться написати:

System.out.printLine(maybeStoredFile.getName());

// тому що прямим же текстом написано MAYBE stored file!
// тобто може він і є, а може і нема, 
// значить перед тим як на ньому викликати якийсь get* треба спочатку перевірити на нулл:

*/

System.out.printLine(maybeStoredFile != null ? storedFile.getName() : "file was not stored!");

Але все ще, це такий собі лайфхак – все залежить від моєї уважності 🙂

Ідеальний же варіант, це коли сам компілятор мені допомагатиме не забути перевірити на відсутність результату... Класичне вирішення проблеми - це використання типу Optional (в деяких мовах програмування його називають Maybe по аналогії з моїм префіксом вище, але не суть):


Optional<File> storedFile = Optional.empty();

try {
   
    storedFile = Optional.of(storeFile("~/tmp/temp.txt"));

} catch (Exception error) {

    // ... 
    
}

// ...

/* 

// тепер нижче якщо ми забудемо, 
// що вище не обов'язково файл був збережений,
// то сам компілятор не дозволить нам написати:

System.out.printLine(storedFile.getName());

// тепер єдиний спосіб отримати що ми хочемо це витягнути його з "коробки optional"
// а раз будемо витягувати то ясно що треба спочатку перевірити чи в коробкі щось є:

*/

System.out.printLine(storedFile.isPresent() ? storedFile.get().getName() : "file was not stored!");

Зверни увагу чим останній код відрізняються від варіанту з null:


System.out.printLine(maybeStoredFile != null ? storedFile.getName() : "file was not stored!");

Виходить з Optional – та ж сама логіка, тільки більше задроства – суть якого в тому, щоб ми не забули що треба перевірити, і саме щоб нагадував нам про це – сам компілятор ще на стадії коли ми пишемо код;)

Що там в інших мовах? – гортай далі 😉 ⬇️

❤4🔥2✍1👍1🎉1

755 views16:53