Bug #69116 [Opn]: Strict mode error triggered not consistently

From: Date: Wed, 25 Feb 2015 08:45:18 +0000
Subject: Bug #69116 [Opn]: Strict mode error triggered not consistently
References: 1  Groups: php.bugs 
Request: Send a blank email to php-bugs+get-190941@lists.php.net to get a copy of this message
Edit report at https://bugs.php.net/bug.php?id=69116&edit=1

 ID:                 69116
 User updated by:    m at klkvsk dot ru
 Reported by:        m at klkvsk dot ru
 Summary:            Strict mode error triggered not consistently
 Status:             Open
 Type:               Bug
 Package:            Class/Object related
 Operating System:   Linux
 PHP Version:        5.5.22
 Block user comment: N
 Private report:     N

 New Comment:

Correction: typo in second example, line 

    var_dump($b instanceof I1);

outputs "bool(true)".


Previous Comments:
------------------------------------------------------------------------
[2015-02-24 16:48:15] m at klkvsk dot ru

Description:
------------
PHP does not trigger strict error "Declaration .. should be compatible with .." when
overriding method has incompatible arguments with base method. But when either parent or child class
implements any interface, the error gets triggered. 
Example:
    error_reporting(-1);

    class A1 {
    	public function fn() {}
    }
    class B1 extends A1 {
    	public function fn($arg) {} // error is not triggered
    }

    interface I {}
    class A2 {
        public function fn() {}
    }
    class B2 extends A2 implements I {
        public function fn($arg) {} // error is triggered
    }


Another related bug that is probably a product of this bug, is when you have set error handler with
function that throws an exception on E_STRICT, and then you put classes definition in try-catch, the
child class would be defined without its interfaces. 
Example: 
    set_error_handler(
        function ($code, $string) { throw new Exception($string, $code); }, 
        E_STRICT
    );
    try {
        interface I1 {}
        interface I2 {}
        class A implements I1 { 
            public function fn() { echo 'foo'; } 
        }
        class B extends A implements I2 {
            public function fn($arg) { echo $arg; }
        }
    } catch (Exception $e) {
        // ignore
    }
    $b = new B();
    var_dump($b instanceof I1);         // outputs "bool(false)"
    var_dump($b instanceof I2);         // outputs "bool(false)"
    var_dump(class_implements('B'));    // outputs "array(1) { 'I1' =>
string(2) "I1" }"
    $b->fn('bar');                      // outputs "bar"

You can see that child class is defined and works, but it's interfaces are lost. Only parent
classes interfaces are kept. The real-world usage of code like this might be implementation of an
autoloader, where you would put class definitions in separate files and include them here inside
try-catch. 

Test script:
---------------
<?php
error_reporting(-1);

class A1 {
	public function fn() {}
}
class B1 extends A1 {
	public function fn($arg) {}
}

interface I {}
class A2 {
	public function fn() {}
}
class B2 extends A2 implements I {
	public function fn($arg) {}
}


Expected result:
----------------
PHP Strict standards:  Declaration of B1::fn() should be compatible with A1::fn() in /tmp/test.php
on line 7
PHP Stack trace:
PHP   1. {main}() /tmp/test.php:0
PHP Strict standards:  Declaration of B2::fn() should be compatible with A2::fn() in /tmp/test.php
on line 15
PHP Stack trace:
PHP   1. {main}() /tmp/test.php:0


Actual result:
--------------
PHP Strict standards:  Declaration of B2::fn() should be compatible with A2::fn() in /tmp/test.php
on line 15
PHP Stack trace:
PHP   1. {main}() /tmp/test.php:0


------------------------------------------------------------------------



--
Edit this bug report at https://bugs.php.net/bug.php?id=69116&edit=1


Thread (3 messages)

« previous php.bugs (#190941) next »