3v4l.org

run code in 300+ PHP versions simultaneously

@ 2022-04-05T15:29:52Z

<?php

/** @template T */
class InvariantCollection
{
    /** @var list<T> */
    public $values;

    /** @param list<T> $values */
    public function __construct($values)
    {
        $this->values = $values;
    }
}

class Foo {}
class Bar extends Foo {}

class FooBar
{
    /** @var InvariantCollection<Bar> */
    private $bars;
    
    public function __construct()
    {
        $this->bars = new InvariantCollection([new Bar()]);
    }
    
    /** @return InvariantCollection<Foo> */
    public function getFoos(): InvariantCollection
    {
        $bars = $this->bars;
        return $bars;
    }
    
    public function check(): void
    {
        foreach ($this->bars->values as $bar) {
            if (!$bar instanceof Bar) {
                throw new \Exception("Illegally modified!");
            }
        }
    }
}

$foobar = new FooBar();
$foos = $foobar->getFoos();
$foos->values[] = new Foo();
$foobar->check();

Output for git.master, git.master_jit, rfc.property-hooks: Fatal error: Uncaught Exception: Illegally modified! in /in/Z9keJ:40 Stack trace: #0 /in/Z9keJ(49): FooBar->check() #1 {main} thrown in /in/Z9keJ on line 40
Process exited with code 255.

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

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 preview

57.57 ms | 405 KiB | 5 Q