Online PHP editor | rfc for uFnp8

@ 2021-04-25T16:56:35Z

<?php

#[Attribute()]
final class Sealed {
    public array $permitted = [];

    public function __construct(string ...$permitted)
    {
        $this->permitted = $permitted;
    }
}


function validate(string $classname): void
{
    $class = new ReflectionClass($classname);
    
    $validate_against = static function($parent) use($classname) {
        if ($sealed = $parent->getAttributes(Sealed::class)) {
            if (!in_array($classname, $sealed[0]->newInstance()->permitted, true)) {
                throw new Error($classname.' cannot inherit from sealed class '.$parent->getName());
            }
        }
    };
    
    if ($parent = $class->getParentClass()) {
        $validate_against($parent);
    }
    
    foreach($class->getInterfaces() as $interface) {
        $validate_against($interface);
    }
    
    foreach($class->getTraits() as $trait) {
        $validate_against($trait);
    }
    
    echo 'ok';
}



#[Sealed(Bar::class)]
interface Foo
{
}

final class Bar implements Foo {}
final class Baz implements Foo {}

validate(Bar::class);
validate(Baz::class);

Output for git.master, git.master_jit, rfc.property-hooks: ok Fatal error: Uncaught Error: Baz cannot inherit from sealed class Foo in /in/uFnp8:21 Stack trace: #0 /in/uFnp8(31): {closure}(Object(ReflectionClass)) #1 /in/uFnp8(52): validate('Baz') #2 {main} thrown in /in/uFnp8 on line 21
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