Dziedziczenie a typy never

Założenie: Pokażemy, jak użyć typu never w PHP 8.1+ w funkcji, która zawsze rzuca wyjątek i nigdy nie zwraca wartości.

Krok po kroku:

1. Definicja funkcji z typem zwracanym never:

   
   function zawszeRzucaWyjatek(): never {
     throw new Exception("Zawsze rzucam wyjątek!");
   }
   				

   Tutaj definiujemy funkcję zawszeRzucaWyjatek, która deklaruje, że jej typem zwracanym jest never. Oznacza to, że funkcja nigdy nie zakończy swojego działania poprzez zwrócenie wartości. Zamiast tego, zawsze rzuca wyjątek.

2. Wywołanie funkcji:

   
   try {
     zawszeRzucaWyjatek();
   } catch (Exception $e) {
     echo "Wyjątek złapany: " . $e->getMessage();
   }
   				

   Próbujemy wywołać funkcję zawszeRzucaWyjatek. Ponieważ funkcja zawsze rzuca wyjątek, kod w bloku try nie zostanie wykonany. Zamiast tego, wyjątek zostanie złapany w bloku catch i wyświetlony komunikat o błędzie.

Ten przykład pokazuje podstawowe zastosowanie typu never w PHP. Umożliwia on lepsze typowanie kodu i ułatwia wykrywanie potencjalnych błędów.

Zachęcamy do dalszego zgłębiania tematu typów w PHP!