3v4l.org

run code in 300+ PHP versions simultaneously

@ 2022-05-25T12:50:32Z

<?php

declare(strict_types=1);

class A
{
}

class B extends A
{
}

class C extends B
{
}


class TestA
{
   public function x(C $c):A
   {
       return new C();
   }
}

class TestB extends TestA
{
   public function x(B $b):B
   {
       return new C();
   }
}

class TestC extends TestB
{
   public function x(A $a): C
   {
       return new C();
   }
}

$c = new C();

$testA = new TestA();
$testC = new TestC();


$resultA = $testA->x($c);
$resultC = $testC->x($c);

var_dump([
    'TestA::x(C): expect C' => get_class($resultA),
    'TestC::x(C): expect C' => get_class($resultC),
]);

$a = new A();
try {
    $resultA = $testA->x($a);
    echo "impossible";
} catch (TypeError $e){
    echo "TestA::x(A): expected TypeError\n";
}

echo 'TestC::x(A): expect C => '. get_class($testC->x($a));

Output for git.master, git.master_jit, rfc.property-hooks: array(2) { ["TestA::x(C): expect C"]=> string(1) "C" ["TestC::x(C): expect C"]=> string(1) "C" } TestA::x(A): expected TypeError TestC::x(A): expect C => C

This tab shows result from various feature-branches currently under review by the php developers. Contact me to have additional branches featured.

Active branches

Archived branches

Once feature-branches are merged or declined, they are no longer available. Their functionality (when merged) can be viewed from the main output page

2022-12-01 RFC: Property hooks - included in PHP 8.4
2020-03-21 RFC: Is_Literal - declined
2020-12-04 Enumerations - included in PHP 8.1
2018-06-15 Typed Properties v2 - implemented in PHP 7.4
2016-08-12 Object typehint - included in PHP 7.2
2016-08-14 Arrow functions - withdrawn
2016-05-29 array_change_keys() - withdrawn
2016-04-19 Lexical scope support for anonymous classes - suspended
2016-04-17 Functional Interfaces - declined
2016-03-16 Typed Properties - superseded in favor of Typed Properties 2.0
2015-08-27 Callable Prototypes - declined
2015-05-01 Short Closures - declined / withdrawn in favor of Arrow Functions
2015-02-18 Scalar type hints v5 - included in PHP 7
2015-02-14 Union Types - declined
2013-09-22 Anonymous classes - included in PHP 7

preferences:dark modelive previewkey bindings

129.25 ms | 405 KiB | 5 Q