Używanie Exceptionów a typowanie Opcje

[athabus]

Ostatnio ciekawi mnie temat używania Exceptionów - muszę przyznać, że trochę słabo to czuję. Kiedyś Exception stosowałem do rzeczy, które po prostu mogły spowodować niedziałanie aplikacji - np. brak dostępu do pliku czy coś podobnego. Ostatnio jednak widzę, że coraz częściej w nowych bibliotekach Exceptiony stosuje się w inny sposób tj. do wymuszenia typowania metody bez zwracania NULL.

Np taka klasa:

[PHP] pobierz, plaintext 
<?php
 
class MySampleRepository
{
    public function getItemV1(int $id): SomeObject
    {
        //pobieramy item, który może nie istnieć (null)
        $item = $this->fetch($id);
 
        if (!$item) {
            throw new ItemNotFoundException('Item does not exist');
        }
 
        return $item;
    }
 
    public function getItemV2(int $id): ?SomeObject
    {
        //pobieramy item, który może nie istnieć (null)
        $item = $this->fetch($id);
 
        return $item;
    }
}
[PHP] pobierz, plaintext 

Pierwsza metoda (podejście o którym mówię) nigdy nie zwraca nulla, tylko obiekt lub rzuca wyjątek. Druga metoda (tradycyjna) zwraca obiekt lub null.

Które podejście stosujecie? Dlaczego.

Ja po rozmowie z kolegą zacząłem skłaniać się ku pierwszej wersji i brak możliwości zwrócenia oczekiwanego obiektu traktuję jako wyjątek.Podświadomie wydaje mi się to bardziej logiczne i wymusza trochę więcej dyscypliny.

[Crozin]

1. Nie ma jednoznacznej odpowiedzi na pytanie null VS wyjątek VS null object VS optional VS jeszcze coś innego. Jest to niemal zawsze zależne od konkretnej sytuacji i od przewidzianego zachowania. Podaj konkretny przypadek użycia - wtedy można zastanawiać się co wybrać.
2. @Pilsener akurat Twoja sugestia odnośnie czegoś takiego:

[PHP] pobierz, plaintext 
if ($sth->hasItem($key)) {
  $value = $sth->getItem($key);
}
[PHP] pobierz, plaintext 

W przypadku zasobów nie będących w bezpośredniej władzy programu (tj. wszystko wykorzystujące sieć, dyski czy ogólnie środowisko systemu) jest po prostu zła i nieprawidłowa - prowadzi do błędów, bo pomiędzy sprawdzeniem (has()), a wykorzystaniem (get()) stan systemu może się zmienić. Tutaj tylko wyjątki dają sensowny interfejs, bo trzeba spróbować pobrać zasób (get()) by w ogóle stwierdzić czy jest on dostępny (has()).

Ten post edytował Crozin 3.01.2019, 15:37:36