3v4l.org

run code in 300+ PHP versions simultaneously

@ 2024-03-19T16:36:48Z

<?php

class A { function method1(): string { return 'hello'; } }
class B { function method2(): string { return 'world'; } } 

final class SomeKindOfException extends OutOfBoundsException {
    public static function forMismatchingRequirements(mixed $value, string $type): self {
        return new self(sprintf('Expected value of type "%s", got "%s"', $type, get_debug_type($value)));
    }
}

/**
 * @template T of object
 * @param class-string<T> $type
 * @throws SomeKindOfException
 * @return T
 */
function typed(mixed $value, string $type): mixed
{
    if (! $value instanceof $type) { throw SomeKindOfException::forMismatchingRequirements($value, $type); }

    return $value;
}

function expression1(): mixed { return new A(); } 
function expression2(): mixed { return new B(); } 
function expression3(): mixed { return new stdClass(); } 

var_dump(typed(expression1(), A::class)->method1());
var_dump(typed(expression2(), B::class)->method2());
var_dump(typed(expression3(), B::class)->method2());

Output for git.master_jit, git.master, rfc.property-hooks: string(5) "hello" string(5) "world" Fatal error: Uncaught SomeKindOfException: Expected value of type "B", got "stdClass" in /in/iQPok:8 Stack trace: #0 /in/iQPok(20): SomeKindOfException::forMismatchingRequirements(Object(stdClass), 'B') #1 /in/iQPok(31): typed(Object(stdClass), 'B') #2 {main} thrown in /in/iQPok on line 8
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

30.2 ms | 401 KiB | 8 Q