Come posso rilevare un "errore irreversibile catturabile" sui suggerimenti di tipo PHP?

Sto cercando di implementare il suggerimento sul tipo di PHP5 su una delle mie classi,

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

class ClassB {}
class ClassWrong{}

Uso corretto:

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

producendo errore:

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

Errore irreversibile rilevabile: l'argomento 1 passato a ClassA :: method_a () deve essere un'istanza di ClassB, istanza di ClassWrong data ...

È possibile rilevare l'errore (dato che dice "catturabile")? e se sì, come?

Aggiornamento: questo non è più un errore irreversibile in php 7. Invece viene generata una "eccezione". Una "eccezione" (tra virgolette) che non deriva da Eccezione ma da Errore ; è ancora un Throwable e può essere gestito con un normale blocco try-catch. vedere https://wiki.php.net/rfc/throwable-interface

Per esempio

<?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.

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

E_RECOVERABLE_ERROR (numero intero)
Errore irreversibile rilevabile . Indica che si è verificato un errore probabilmente pericoloso, ma che non ha lasciato il motore in uno stato instabile. Se l'errore non viene rilevato da un handle definito dall'utente (vedere anche set_error_handler () ), l'applicazione si interrompe perché era un E_ERROR.

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

per esempio

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.

modifica: ma puoi "renderlo" un'eccezione che puoi 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.';

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