Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:97998
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: error (pb1.pair.com: domain mabe.berlin from 80.237.132.167 cause and error)
To: "internals@lists.php.net" <internals@lists.php.net>
Message-ID: <503add40-506e-f8e9-8a4f-59cecc429018@mabe.berlin>
Date: Fri, 27 Jan 2017 22:53:56 +0100
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101
 Thunderbird/45.7.0
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Allow "static" type
From: dev@mabe.berlin (Marc Bennewitz)

Hi all,

I would like to know your opinion about using "static" as type-hint 
similar to "self" and how simple / complex it would be to implement.


Example - using static:
https://3v4l.org/XqDma

class Base {
     public static function test(static $obj) : static {
         echo get_class($obj) . "\n";
         return new static($obj);
     }
}

class Ext extends Base {}

$base = new Base;
$ext  = new Ext;

Base::test($base);
Base::test($ext);

Ext::test($ext);
Ext::test($base);



Example - using self:
https://3v4l.org/Tp7k6

- Boilerplate code to check if the given argument is an instance of static
- No way for IDEs to test Ext::test returning an instance of Ext

class Base {
     public static function test(self $obj) : self {
         echo get_class($obj) . "\n";

         if (!$obj instanceof static) {
             throw new InvalidArgumentException(sprintf(
                 "Object (%s) must be an instance of %s",
                 get_class($obj),
                 static::class
             ));
         }

         return new static($obj);
     }
}

class Ext extends Base {}

$base = new Base;
$ext  = new Ext;

Base::test($base);
Base::test($ext);

Ext::test($ext);
Ext::test($base);



Thanks
Marc