Online PHP editor | rfc for dC8Lu

@ 2015-07-02T01:53:00Z

<?php
declare(strict_types=1);
namespace Dshafik;

class Struct {
    // Because gettype() and ReflectionType->__toString() are inconsistent
    /**
     * @var array Type mappings 
     */
    private $__typeMap = [
        'int' => 'integer',
        'bool' => 'boolean',
        'float' => 'double',
    ];

    /**
     * @var array Reflection data
     */
    private $__reflection = [];

    /**
     * @var array The struct values
     */
    protected $__values = [];
    
    public function __construct()
    {
        $this->introspect();
        $this->hoist(func_get_args());
    }
    
    public function __get($what)
    {
        return $this->__values[$what];
    }
    
    public function __set($what, $value)
    {
        if (($type = gettype($value)) === $this->__reflection[$what]) {
            return $this->__values[$what] = $value;
        } else {
            throw new \TypeError("Key '$what' must be of type {$this->__reflection[$what]}, $type given.");
        }
    }
    
    final protected function introspect()
    {
        if ($this->__reflection) {
            return;
        }
        
        $class = new \ReflectionObject($this);
        $constructor = $class->getConstructor();
        foreach ($constructor->getParameters() as $arg) {
            $type = (string) $arg->getType();
            $this->__reflection[$arg->name] = $this->__typeMap[$type] ?? $type;
        }
    }
    
    final protected function hoist($args)
    {
        $this->introspect();
        
        $i = 0;
        foreach ($this->__reflection as $key => $type) {
            $this->__set($key, $args[$i]);
            $i++;
        }
    }
}

// With strict types, will throw a TypeError, or coerce otherwise on mismatch
$struct = new class(1, "Hello") extends Struct {
    public function __construct(int $foo, string $bar) {
        $this->hoist(func_get_args());
    }
};

var_dump($struct);

// Works
$struct->foo = 2;
var_dump($struct);

// Will throw a TypeError
$struct->foo = 'World';

Output for git.master, git.master_jit, rfc.property-hooks: object(Dshafik\Struct@anonymous)#1 (3) { ["__typeMap":"Dshafik\Struct":private]=> array(3) { ["int"]=> string(7) "integer" ["bool"]=> string(7) "boolean" ["float"]=> string(6) "double" } ["__reflection":"Dshafik\Struct":private]=> array(2) { ["foo"]=> string(7) "integer" ["bar"]=> string(6) "string" } ["__values":protected]=> array(2) { ["foo"]=> int(1) ["bar"]=> string(5) "Hello" } } object(Dshafik\Struct@anonymous)#1 (3) { ["__typeMap":"Dshafik\Struct":private]=> array(3) { ["int"]=> string(7) "integer" ["bool"]=> string(7) "boolean" ["float"]=> string(6) "double" } ["__reflection":"Dshafik\Struct":private]=> array(2) { ["foo"]=> string(7) "integer" ["bar"]=> string(6) "string" } ["__values":protected]=> array(2) { ["foo"]=> int(2) ["bar"]=> string(5) "Hello" } } Fatal error: Uncaught TypeError: Key 'foo' must be of type integer, string given. in /in/dC8Lu:42 Stack trace: #0 /in/dC8Lu(86): Dshafik\Struct->__set('foo', 'World') #1 {main} thrown in /in/dC8Lu on line 42
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