Come posso rilevare un "errore irreversibile abbinabile" su hint di tipo PHP?

Question

Sto cercando di implementare Tipo Hinting di PHP5 su uno della mia classe,

class ClassA { 
    public function method_a (ClassB $b) 
    {} 
} 

class ClassB {} 
class ClassWrong{} 

Utilizzo corretto:

$a = new ClassA; 
$a->method_a(new ClassB); 

produzione di errore:

$a = new ClassA; 
$a->method_a(new ClassWrong); 

Catchable fatal error: Argument 1 passed to ClassA::method_a() must be an instance of ClassB, instance of ClassWrong given...

Posso sapere se è possibile rilevare quell'errore (poiché si dice "catchable")? e se si, come?

Grazie.

Answer 1

Aggiornamento: non si tratta più di un errore irreversibile catapulibile in php 7. Invece viene generata un'eccezione. Un'eccezione (in virgolette) non derivata da Exception ma Error; è ancora un Throwable e può essere gestito con un normale blocco try-catch. vedi https://wiki.php.net/rfc/throwable-interface

E.g.

<?php 
class ClassA { 
    public function method_a (ClassB $b) { echo 'method_a: ', get_class($b), PHP_EOL; } 
} 
class ClassWrong{} 
class ClassB{} 
class ClassC extends ClassB {} 


foreach(array('ClassA', 'ClassWrong', 'ClassB', 'ClassC') as $cn) { 
    try{ 
     $a = new ClassA; 
     $a->method_a(new $cn); 
    } 
    catch(Error $err) { 
     echo "catched: ", $err->getMessage(), PHP_EOL; 
    } 
} 
echo 'done.'; 

stampe

catched: Argument 1 passed to ClassA::method_a() must be an instance of ClassB, instance of ClassA given, called in [...] 
catched: Argument 1 passed to ClassA::method_a() must be an instance of ClassB, instance of ClassWrong given, called in [...] 
method_a: ClassB 
method_a: ClassC 
done. 

---

Vecchio risposta per le versioni pre-php7:
http://docs.php.net/errorfunc.constants dice:

E_RECOVERABLE_ERROR (integer)
Catchable fatal error. It indicates that a probably dangerous error occured, but did not leave the Engine in an unstable state. If the error is not caught by a user defined handle (see also set_error_handler()), the application aborts as it was an E_ERROR.

vedi anche: http://derickrethans.nl/erecoverableerror.html

ad es.

function myErrorHandler($errno, $errstr, $errfile, $errline) { 
    if (E_RECOVERABLE_ERROR===$errno) { 
    echo "'catched' catchable fatal error\n"; 
    return true; 
    } 
    return false; 
} 
set_error_handler('myErrorHandler'); 

class ClassA { 
    public function method_a (ClassB $b) {} 
} 

class ClassWrong{} 

$a = new ClassA; 
$a->method_a(new ClassWrong); 
echo 'done.'; 

stampe

'catched' catchable fatal error 
done. 

edit: Ma si può "fare" è un'eccezione è possibile gestire con un blocco try-catch

function myErrorHandler($errno, $errstr, $errfile, $errline) { 
    if (E_RECOVERABLE_ERROR===$errno) { 
    echo "'catched' catchable fatal error\n"; 
    throw new ErrorException($errstr, $errno, 0, $errfile, $errline); 
    // return true; 
    } 
    return false; 
} 
set_error_handler('myErrorHandler'); 

class ClassA { 
    public function method_a (ClassB $b) {} 
} 

class ClassWrong{} 

try{ 
    $a = new ClassA; 
    $a->method_a(new ClassWrong); 
} 
catch(Exception $ex) { 
    echo "catched\n"; 
} 
echo 'done.'; 

vedi: http://docs.php.net/ErrorException