Výjimky v Nette Framework 2.0

David mě požádal, abych zkusil vymyslet koncepci výjimek v novém Nette. Narazil jsem na inspirativní článek a řekl si, že takhle by to šlo.

Je vlastně důvod něco měnit? V současnosti je v Nette ve výjimkách bordel. V exceptions.php se definuje spousta výjimek bez namespace, které jsou pak ve frameworku hojně využívány. Mimo toho jsou ale využívány i některé výjimky z SPL (dokonce ani z hlavy nedokážu říct, které jsou které, což je argument samo o sobě).

1. Nette by mělo definovat výjimky pouze ve svém namespace. Kvůli tomu existují, aby knihovny nezasahovaly do globálního namespace a nedocházelo ke konfliktům. Navíc je to další WTF, které mi muselo být několikrát vysvětlováno („Proč má Nette všechno ve svém namespace, až na tyto výjimky? :o)“).
2. Líbí se mi přístup popsaný v tom článku. Dědit frameworkové výjimky od standardních výjimek z SPL, ať se dají pohodlně a jednotně zachytávat. Tyto výjimky se dělí do třech skupin: dynamic call, logic a runtime.

Dynamic call

Tyto výjimky by měly být vyhazovány v magických __call metodách a všude, kde se narazí na neplatný callback.

• LogicException
  • BadFunctionCallException
  • BadMethodCallException

Logic

Pokud nám do metody přijde neplatný argument.

• LogicException
  • DomainException
  • InvalidArgumentException
  • LengthException
  • OutOfRangeException

Runtime

Pokud nastane situace, kterou nelze zachytit pomocí kontroly argumentů a objekt se dostane do invalidního stavu.

• RuntimeException
  • OutOfBoundsException
  • OverflowException
  • RangeException
  • UnderflowException
  • UnexpectedValueException

Určitě bych v Nette od těchto výjimek dědil a vytvářel výjimky s popisnějšími názvy, aby to vedlo k velké granularitě a tudíž jemnému zachytávání.

3. Jelikož při tomto způsobu nelze dědit od obecné Nette\Exception, ale přesto by se mohla hodit, můžeme aplikovat něco, čemu se říká Marker interface a z Nette\Exception udělat rozhraní. Je to doporučená cesta v odkazovaném článku a to samé obsahuje i PEAR2 RFC.

Ad zpětná kompatibilita – pokud někdo hojně využívá současné nenamespacované výjimky z Nette, které se přesunou pod namespace a změní se jim předek, může si je nadefinovat znova ve své aplikaci.