Timm Friebe


PHP RFC: Catchable "call to a member function of a non-object"

Note: This RFC has been superseded by the engine exceptions proposal.


One of the most common fatal errors in PHP is the “call to a member function of a non-object” type. This occurs whenever a method is called on anything other than an object (usually null), e.g.:

// ...when getAction() returns null:

One situation in which fatal errors are problematic is if you want to run PHP as a webserver itself. For a long story on why you would want to do that in the first place, see

Other situtations are described in the Engine Exceptions RFC.


This proposal's essence is to turns fatal errors generated from calls to methods on a non-object into E_RECOVERABLE_ERRORs.

set_error_handler(function($code, $message) {
  var_dump($code, $message);
$x= null;
echo "Alive\n";

The above produces the following output:

string(50) "Call to a member function method() on a non-object"


This behavior is consistent with how type hints work. Framework authors can turn this into exceptions if they wish.

Example: Exceptions

The following error handler could be embedded into frameworks:

set_error_handler(function($code, $message) {
  if (0 === strncmp('Call', $message, 4)) {
    throw new BadMethodCallException($message);
  } else if (0 === strncmp('Argument', $message, 8)) {
    throw new InvalidArgumentException($message);
  } else {
    trigger_error($message, E_USER_ERROR);
$x= null;
try {
} catch (BadMethodCallException $e) {
  echo "Caught expected ", $e->getMessage(), "!\n";
echo "Alive\n";

Example: Without exceptions

This could be a way for people preferring not to use exceptions and instead to exit the script directly, but get a stacktrace instead of just the fatal error message:

set_error_handler(function($code, $message) {
  echo "*** Error #$code: $message\n";
$m= new some_db_model();
$row= $m->find(42); // null, deleted concurrently

Differences from Past RFCs

This proposal doesn't go as far as the controversial RFC RFC: Engine exceptions.

Inner workings

Taken this code:

function a($comparator) {
  $result= $comparator->compare(1, 2);
  // ...

You can unwind this to something like:

function a($comparator) {
  1: ZEND_INIT_METHOD_CALL $comparator 'compare'
  2: ZEND_SEND_VAL         1
  3: ZEND_SEND_VAL         2
  5: ZEND_ASSIGN           $result
  // ...

The handling on checking whether the method is callable happends inside the opline #1 (ZEND_INIT_METHOD_CALL). The opcode handler for it checks its first argument (here: $comparator) whether it is an object or not. In case it's not, the following happens:

  1. A recoverable error is triggered. Should the script exit here, there's nothing more to be done, this is just as it was before.
  2. In case the script continues, all the oplines are skipped until we find the FCALL_BY_NAME opcode. This is comparable to jumping forward just as, e.g., the ZEND_JMP instruction would.
  3. The return value is set to ZVAL_NULL().
  4. The control is handed back to the executor, which then continues with the ASSIGN opcode
  5. The engine is again in full control; if an exception was raised by the handler, that leads to the known behavior.

Other Impact

On Backward Compatiblity

This RFC is backwards compatible with previous PHP releases.


There is no impact on any SAPI.

On Existing Extensions

No impact.

On Performance

No effect, before, the script terminated.

Proposed PHP Version(s)

This RFC targets PHP 5.7 or PHP 6.0, whichever comes first.

Proposed Voting Choices

This RFC modifies the PHP language behaviour and therefore requires a two-third majority of votes.

Patches and Tests

There is a pull request available over at GitHub which includes tests. Feedback welcome!

Future Work

Ideas for future work include:

  • Also allowing to catch and handle other fatal errors



An option needs 50%+1 votes to win

Catchable Call to a member function bar() on a non-object (100% approved)
User Vote
ajf Yes
brandon Yes
brianlmoon Yes
bwoebi Yes
crodas Yes
datibbaw Yes
davey Yes
dragoonis Yes
fa Yes
frozenfire Yes
gooh Yes
guilhermeblanco Yes
gwynne Yes
indeyets Yes
jedibc Yes
jpauli Yes
jwage Yes
kassner Yes
kriscraig Yes
levim Yes
malukenho Yes
mrook Yes
nikic Yes
oaass Yes
philstu Yes
rdlowrey Yes
rdohms Yes
reeze Yes
seld Yes
treffynnon Yes
tyrael Yes
zhangzhenyu Yes