{"id":229,"date":"2010-08-08T22:27:06","date_gmt":"2010-08-08T21:27:06","guid":{"rendered":"http:\/\/eriz.pcinside.pl\/weblog\/propozycja-niech-php-bedzie-wyjatkiem-229.html"},"modified":"2010-08-08T22:27:06","modified_gmt":"2010-08-08T21:27:06","slug":"propozycja-niech-php-bedzie-wyjatkiem","status":"publish","type":"post","link":"https:\/\/eriz.pcinside.pl\/weblog\/propozycja-niech-php-bedzie-wyjatkiem-229.html","title":{"rendered":"propozycja: niech PHP b\u0119dzie wyj\u0105tkiem"},"content":{"rendered":"

Od momentu wprowadzenia namiastki obiekt\u00f3w do naszego kochanego j\u0119zyka, coraz bardziej zacz\u0119\u0142y nasila\u0107 si\u0119 narzekania, \u017ce PHP jest sto lat za konkurencj\u0105 pod wieloma wzgl\u0119dami. Pewnie lista narzeka\u0144 ci\u0105gn\u0119\u0142aby si\u0119 a\u017c do wyczerpania zapas\u00f3w papieru toaletowego w WC, ale na pewne rzeczy progamista nie ma po prostu wp\u0142ywu.<\/p>\n

Je\u015bli nie da si\u0119 czego\u015b rozwi\u0105za\u0107 wprost, zawsze mo\u017cna spr\u00f3bowa\u0107 to… obej\u015b\u0107. Wbrew pozorom, w programowaniu zdarza si\u0119 to nierzadko. \";)\"<\/p>\n

A o czym chc\u0119 napisa\u0107? O wyrzucaniu b\u0142\u0119d\u00f3w przez PHP zamiast wyj\u0105tk\u00f3w.<\/p>\n

<\/p>\n

chore pomys\u0142y?<\/h3>\n

Na Blipie<\/a>, na tagu #php<\/a> zawrza\u0142a dyskusja: Python vs. PHP. Przytaczanie ca\u0142ej dyskusji by\u0142oby raczej bezsensowne i bym si\u0119 zaje\u017adzi\u0142 z kopiowaniem wypowiedzi wszystkich u\u017cytkownik\u00f3w. W pewnym momencie na tapecie znalaz\u0142 si\u0119 temat totalnego non-sensu PHP w postaci wyrzucania b\u0142\u0119d\u00f3w zamiast wyj\u0105tk\u00f3w. I tu si\u0119 w zupe\u0142no\u015bci zgodz\u0119 – przecie\u017c funkcje np. otwierania pliku musz\u0105 najpierw sprawdzi\u0107, czy ten plik istnieje, a i tak wyrzuci b\u0142\u0105d.<\/p>\n

Aby unikn\u0105\u0107 b\u0142\u0119d\u00f3w, kt\u00f3re nieraz ci\u0119\u017cko wy\u0142apa\u0107 (bo przecie\u017c nie wp\u0142ywaj\u0105 na dalsze dzia\u0142anie kodu), trzeba albo „wyciszy\u0107” wypluwanie warning\u00f3w korzystaj\u0105c z ma\u0142piszona przed funkcj\u0105, albo sprawdzi\u0107 poprzez file_exists<\/em> istnienie obiektu \u017ar\u00f3d\u0142owego oraz jego uprawnienia przez is_readable<\/em>. Po kiego<\/em>, skoro jest to ponowne wykonanie czego\u015b, co zosta\u0142o ju\u017c sprawdzone.<\/p>\n

Ok, skoro s\u0105 b\u0142\u0119dy, to PHP pozwala te\u017c co\u015b z nimi zrobi\u0107 – albo schowa\u0107, albo zignorowa\u0107, albo wy\u0142apa\u0107. Zajmiemy si\u0119 tym ostatnim przypadkiem. set_error_handler<\/em><\/a> chyba wi\u0119kszo\u015b\u0107 Czytelnik\u00f3w ju\u017c zna (albo w\u0142a\u015bnie poznaje). Pozwala na przechwycenie wypluwanego przez wszystkie funkcje b\u0142\u0119du i ew. zalogowanie, etc. Oczywi\u015bcie, z np. PARSE_ERROR<\/em> ju\u017c nie jest tak r\u00f3\u017cowo (bo b\u0142\u0119du parsowania kodu si\u0119 nie da przechwyci\u0107 – co by by\u0142o w sytuacji, gdyby \u00f3w znajdowa\u0142 si\u0119 w algorytmie przechwytywania? ;)).<\/p>\n

PHP daje popali\u0107<\/h3>\n

„Najprostsze rozwi\u0105zania s\u0105 zwykle najlepsze”. Przeanalizujmy poni\u017cszy kawa\u0142ek kodu.<\/p>\n

$f = fopen('asdasdasdasd', 'r');<\/code><\/p>\n

Otrzymamy warning: … failed to open stream<\/em>. No ok, ale to przy aktywnym wy\u015bwietlaniu b\u0142\u0119d\u00f3w. Zwykle podobny kod jest wykorzystywany z innymi przydatnymi funkcjami (celowo tutaj nie uwzgl\u0119dniam file_get_contents<\/em>, etc):<\/p>\n

$f = fopen('asdasdasd', 'r');
\nflock($f, LOCK_SH);<\/p>\n

while(!feof($f)){
\n echo fread($f, 512);
\n}<\/code><\/p>\n

Otrzymamy ju\u017c wi\u0119cej ni\u017c jeden b\u0142\u0105d. Na serwerze produkcyjnym nie wy\u015bwietli si\u0119 \u017caden (przynajmniej nie powinien), je\u015bli administrator nie pilnuje serwisu, nikt mo\u017ce nawet nie zauwa\u017cy\u0107, \u017ce co\u015b jest nie tak.<\/p>\n

Ale nasz admin, czy programista jest jednak troch\u0119 bardziej \u0142ebski i zastosowa\u0142 dodatkowo poni\u017cszy kawa\u0142ek kodu:<\/p>\n

function catchError($no, $str, $file, $line){
\n logger::instance()->write($str.' -> '.$file.':'.$line);
\n return true;
\n}<\/p>\n

set_error_handler('catchError');
\n<\/code><\/p>\n

Fajnie, cacy, logujemy sobie to do pliku, czasem admin zajrzy i znajdzie b\u0142\u0119dy. Ok, tylko \u017ce idealny kod wygl\u0105da\u0142by tak:<\/p>\n

if(file_exists($fname) && is_readable($fname) && $f = fopen($fname, 'r')){
\n if(flock($f, LOCK_SH)){
\n while(!feof($f)){
\n echo fread($f, 512);
\n }
\n }else{
\n echo 'co\u015b nie tak';
\n }
\n}else{
\n echo 'co\u015b nie tak';
\n}
\n<\/code><\/p>\n

A\u017c si\u0119 prosi o wyj\u0105tki. Zamiast tego mamy w chorob\u0119 sprawdzania i tak naprawd\u0119 – jest to spora cz\u0119\u015b\u0107 tego, co chcemy zrobi\u0107. Oczywi\u015bcie, je\u015bli s\u0105 to b\u0142\u0119dy, to mo\u017cna p\u00f3j\u015b\u0107 na lenia i zrezygnowa\u0107 ze sprawdzania oraz to wyciszy\u0107.<\/p>\n

Idealnie by by\u0142o jednak to wpakowa\u0107 w blok try..catch<\/em> i obs\u0142u\u017cy\u0107 wyj\u0105tkiem, ale standardowe funkcje PHP ich nie wyrzucaj\u0105. Dopiero biblioteki, kt\u00f3re powsta\u0142y w p\u00f3\u017anych latach programowania PHP5 zacz\u0119\u0142y ich u\u017cywa\u0107. W innych j\u0119zykach, to standard, co\u015b w stylu IOException<\/em>, czy pochodne. Dlaczego PHP tego nie ma?!<\/p>\n

prawa Murphy’ego: „prowizorka jest zawsze najlepsza”<\/h3>\n

Mia\u0142em okazj\u0119 rozmawia\u0107 z go\u015bciem na roku, kt\u00f3ry ju\u017c nieco programowa\u0142, ale w\u0105tpi\u0142 w filozofi\u0119 wyj\u0105tk\u00f3w. No ok, jego sprawa, ale rozwa\u017cmy prost\u0105 sytuacj\u0119:<\/p>\n

$f = @fopen('zuo', 'r');<\/code><\/p>\n

No i nasza zmienna $f<\/em> zawiera albo zas\u00f3b, albo false<\/em>. A sk\u0105d mamy wiedzie\u0107, czy to by\u0142 b\u0142\u0105d timeoutu, czy brak uprawnie\u0144, czy po prostu nie istniej\u0105cego pliku? U\u017cyjmy bardzo prostego przyk\u0142adu (fakt, troch\u0119 naginany, ale zobrazuje moj\u0105 my\u015bl bez zb\u0119dnego owijania):<\/p>\n


\ntry{
\n $f = fopen('asd', 'a');
\n flock($f, LOCK_EX);
\n \/\/...
\n}catch (IOException $ex){
\n switch ($ex->type){
\n case 'noExists':
\n \/\/
\n break;
\n case 'noPermissions':
\n \/\/
\n break;
\n }
\n}<\/code><\/p>\n

Aby zrealizowa\u0107 ten hipotetyczny kawa\u0142ek kodu, nale\u017ca\u0142oby u\u017cy\u0107 mniej wi\u0119cej:<\/p>\n

class IOException extends Exception {}<\/p>\n

try {
\n if (!file_exists('asd')) {
\n throw new IOException('noExists');
\n }
\n if (!is_writable('asd')) {
\n throw new IOException('noPermissions');
\n }
\n $f = fopen(...);<\/p>\n

\/\/...
\n}
\ncatch (IOException $ex) {
\n \/\/ reszta jak wy\u017cej
\n}
\n<\/code><\/p>\n

No\u017c w mord\u0119!<\/q> Wymy\u015blanie ko\u0142a na nowo. A je\u015bli jest, do tego, takich miejsc w kodzie kilkana\u015bcie albo i wi\u0119cej? Koszmar. Niekt\u00f3rzy pewnie napisali ju\u017c swojego obiektowego wrappera, kt\u00f3ry za\u0142atwia takie rzeczy. Jednak nadal kusz\u0105 te wyj\u0105tki. Ciekawe, ile ticket\u00f3w w tej sprawie wisi na bugtracku developer\u00f3w PHP… \";)\"<\/p>\n

Wpad\u0142 mi jednak do g\u0142owy pewien pomys\u0142.<\/p>\n

jak nie do przodu, to ty\u0142em naprz\u00f3d<\/h3>\n

Najlepiej niech kod przem\u00f3wi:<\/p>\n

function catchError(...) {
\n throw new Exception();
\n}<\/p>\n

set_error_handler('catchError');<\/code><\/p>\n

My\u015bl\u0119 sobie, za choler\u0119 nie b\u0119dzie dzia\u0142a\u0107<\/em>. Jednak przyzwyczajony do niekt\u00f3rych dziwactw tego j\u0119zyka postanowi\u0142em odpali\u0107 podobny do powy\u017cszego kawa\u0142ek kodu:<\/p>\n

function catchError($no, $str, $file, $line) {
\n throw new Exception($str);
\n}<\/p>\n

set_error_handler('catchError');<\/p>\n

try {
\n echo 'raz';
\n fopen('asdasd', 'r');<\/p>\n

echo 'dwa';
\n $p = file_get_contents('asfjhsdfkd');<\/p>\n

echo 'trzy';
\n}catch (exception $ex) {
\n echo $ex;
\n}<\/code><\/p>\n

Jakie\u017c by\u0142o moje zdziwienie, gdy przegl\u0105darka wy\u015bwietli\u0142a:<\/p>\n

razexception 'Exception' with message 'fopen(asdasd) [function.fopen]: failed to open stream: No such file or directory' in E:\\www\\poligon\\exception\\test.php:6
\nStack trace:
\n#0 [internal function]: catchError(2, 'fopen(asdasd) [...', 'E:\\www\\poligon\\...', 13, Array)
\n#1 E:\\www\\poligon\\exception\\test.php(13): fopen('asdasd', 'r')
\n#2 {main}<\/code><\/p>\n

Wy\u015bwietli\u0142o si\u0119 tylko raz<\/em> i zrzutowany na stringa wyj\u0105tek. Przecie\u017c to ustrojstwo… Dzia\u0142a?! A st\u0105d ju\u017c kr\u00f3tka droga do rozr\u00f3\u017cnienia, kt\u00f3ry b\u0142\u0105d wyst\u0105pi\u0142.<\/p>\n

\u017ce co?!<\/h3>\n

Tak, do tej pory jako\u015b do mnie nie trafia, \u017ce:<\/p>\n

    \n
  • w og\u00f3le co\u015b takiego zadzia\u0142a\u0142o<\/li>\n
  • \u017ce tak prostego obej\u015bcia jeszcze si\u0119 nie wykorzystuje na szersz\u0105 skal\u0119<\/li>\n<\/ul>\n

    Owszem, na pewno jest to rozwi\u0105zanie wolniejsze ni\u017c prawdopodobna implementacja w kodzie interpretera. Jednak zyskujemy co\u015b, co pozwala nam na lepsz\u0105 i wygodniejsz\u0105 kontrol\u0119 kodu. Ju\u017c sam fakt, \u017ce zosta\u0142 wypluty wyj\u0105tek – tak naprawd\u0119 – ma do\u015b\u0107 du\u017ce znaczenie.<\/p>\n

    Pozostaje jeszcze dostosowanie funkcji wy\u0142apuj\u0105cej b\u0142\u0119dy tak, aby wypluwa\u0107 poszczeg\u00f3lne rodzaje wyj\u0105tk\u00f3w.<\/p>\n

    class IOException extends Exception {
    \n public $type = null;<\/p>\n

    function __construct($message = null, $code = 0) {
    \n parent::__construct($message, $code);<\/p>\n

    if(strpos($message, 'no such') !== null){
    \n $this->type = 'noExists';
    \n }else if (strpos($message, 'permission') !== null) {
    \n $this->type = 'noPermissions';
    \n }
    \n }
    \n}<\/p>\n

    function catchError($no, $str, $file, $line) {
    \n if ($no == E_WARNING) {
    \n $func = substr($str, 0, strpos($str, '('));
    \n switch ($func) {
    \n case 'fopen':
    \n case 'fwrite':
    \n case 'file_get_contents':
    \n case 'file_put_contents':
    \n case 'flock':
    \n \/\/...
    \n throw new IOException($str);
    \n }
    \n }
    \n}<\/p>\n

    set_error_handler('catchError');<\/p>\n

    try {
    \n echo 'raz';
    \n fopen('asdasd', 'r');<\/p>\n

    echo 'dwa';
    \n $p = file_get_contents('asfjhsdfkd');<\/p>\n

    echo 'trzy';
    \n}
    \ncatch (IOException $ex) {
    \n echo $ex->type;
    \n}<\/code><\/p>\n

    Nie jest to mo\u017ce idealne sprawdzanie w wyj\u0105tku, ale… dzia\u0142a.<\/p>\n

    koniec?<\/h3>\n

    Przyznam szczerze, \u017ce do tej pory nie bardzo mie\u015bci si\u0119 to wszystko w moim ma\u0142ym rozumku, \u017ce do\u015b\u0107 prowizoryczne rozwi\u0105zanie po prostu dzia\u0142a. Pewnie znalaz\u0142yby si\u0119 lepsze metody wykrywania rodzaju b\u0142\u0119du w wyj\u0105tku, ale chcia\u0142em zaprezentowa\u0107 tylko og\u00f3ln\u0105 ide\u0119.<\/p>\n

    Zapraszam do dyskusji. \":)\"<\/p>\n","protected":false},"excerpt":{"rendered":"

    Od momentu wprowadzenia namiastki obiekt\u00f3w do naszego kochanego j\u0119zyka, coraz bardziej zacz\u0119\u0142y nasila\u0107 si\u0119 narzekania, \u017ce PHP jest sto lat za konkurencj\u0105 pod wieloma wzgl\u0119dami. Pewnie lista narzeka\u0144 ci\u0105gn\u0119\u0142aby si\u0119 a\u017c do wyczerpania zapas\u00f3w papieru toaletowego w WC, ale na pewne rzeczy progamista nie ma po prostu wp\u0142ywu. Je\u015bli nie da si\u0119 czego\u015b rozwi\u0105za\u0107 wprost, […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[11],"tags":[48,43,30],"_links":{"self":[{"href":"https:\/\/eriz.pcinside.pl\/weblog\/wp-json\/wp\/v2\/posts\/229"}],"collection":[{"href":"https:\/\/eriz.pcinside.pl\/weblog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/eriz.pcinside.pl\/weblog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/eriz.pcinside.pl\/weblog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/eriz.pcinside.pl\/weblog\/wp-json\/wp\/v2\/comments?post=229"}],"version-history":[{"count":0,"href":"https:\/\/eriz.pcinside.pl\/weblog\/wp-json\/wp\/v2\/posts\/229\/revisions"}],"wp:attachment":[{"href":"https:\/\/eriz.pcinside.pl\/weblog\/wp-json\/wp\/v2\/media?parent=229"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/eriz.pcinside.pl\/weblog\/wp-json\/wp\/v2\/categories?post=229"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/eriz.pcinside.pl\/weblog\/wp-json\/wp\/v2\/tags?post=229"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}