Online PHP editor | output for 9aXie

@ 2015-09-20T11:28:28Z

<?php

interface OriginalContract
{
}

interface MoreSpecificContract extends OriginalContract
{
}

class Foo
{
    public function baz(OriginalContract $item) {}
}

class Bar extends Foo
{
    public function baz(MoreSpecificContract $item) {}
}

/*
I actually want Bar to accept only instances of MoreSpecificContract
But for polymorphism, since it extends OriginalContract, it should be valid imho

The only way I can now do this is

class Bar extends Foo
{
    public function baz(OriginalContract $item)
    {
        if (($item instanceof MoreSpecificContract) === false) {
            throw new Exception("Expected something more specific");
        }
        // do some more specific stuff
    }
}
*/

Output for 8.0.0 - 8.0.30, 8.1.0 - 8.1.28, 8.2.0 - 8.2.18, 8.3.0 - 8.3.6: Fatal error: Declaration of Bar::baz(MoreSpecificContract $item) must be compatible with Foo::baz(OriginalContract $item) in /in/9aXie on line 18
Process exited with code 255.
Output for 7.4.0 - 7.4.33: Warning: Declaration of Bar::baz(MoreSpecificContract $item) should be compatible with Foo::baz(OriginalContract $item) in /in/9aXie on line 18
Output for 7.0.0 - 7.0.20, 7.1.0 - 7.1.20, 7.2.0 - 7.2.33, 7.3.16 - 7.3.33: Warning: Declaration of Bar::baz(MoreSpecificContract $item) should be compatible with Foo::baz(OriginalContract $item) in /in/9aXie on line 19
Output for 5.4.2 - 5.4.45, 5.5.24 - 5.5.35, 5.6.7 - 5.6.28: Strict Standards: Declaration of Bar::baz() should be compatible with Foo::baz(OriginalContract $item) in /in/9aXie on line 19

preferences:dark modelive preview