Как я могу отловить «обнаруживаемую фатальную ошибку» при хинтинге типа PHP?

Question 1

Я пытаюсь реализовать подсказку типа PHP5 в одном из моих классов,

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

class ClassB {}
class ClassWrong{}

Правильное использование:

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

производит ошибку:

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

Уловимая фатальная ошибка: аргумент 1, переданный в ClassA :: method_a (), должен быть экземпляром ClassB, задан экземпляр ClassWrong ...

Можно ли отловить эту ошибку (поскольку в ней написано «ловится»)? и если да, то как?

Question 2

Обновление: это больше не является фатальной ошибкой в php 7. Вместо этого выдается «исключение». «Исключение» (в кавычках), которое не является производным от Exception, а Error ; это все еще Throwable, и с ним можно справиться с помощью обычного блока try-catch. см. https://wiki.php.net/rfc/throwable-interface

Например

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

отпечатки

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.

Старый ответ для версий до php7:
http://docs.php.net/errorfunc.constants говорит:

E_RECOVERABLE_ERROR (integer)
Устранимая фатальная ошибка. Это указывает на то, что произошла, вероятно, опасная ошибка, но двигатель не остался в нестабильном состоянии. Если ошибка не обнаружена пользовательским дескриптором (см. Также set_error_handler () ), приложение прерывается, поскольку это была ошибка E_ERROR.

см. также: http://derickrethans.nl/erecoverableerror.html

например

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.';

отпечатки

'catched' catchable fatal error
done.

edit: Но вы можете "сделать" это исключением, которое вы можете обработать с помощью блока 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.';

см .: http://docs.php.net/ErrorException