Як я можу вловити “фатальну помилку, що піддається вловленню” на підказці типу PHP?

Я намагаюся реалізувати підказку типу 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 з урахуванням ...

Чи можна вловити цю помилку (оскільки там написано "ловити")? а якщо так, то як?

Оновлення: Це вже не вловлювана фатальна помилка у php 7. Натомість видається "виняток". "Виняток" (у відлякуючих лапках), який не походить від Винятку, а Помилки ; це все ще 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 (ціле число)
Вловлювана фатальна помилка. Це вказує на те, що сталася ймовірно небезпечна помилка, але двигун не залишився у нестабільному стані. Якщо помилка не виявляється користувальницьким дескриптором (див. Також 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.

редагувати: Але ви можете "зробити" це винятком, який ви можете обробити блоком 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