Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:93577
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain thefsb.org designates 173.203.187.67 as permitted sender)
User-Agent: Microsoft-MacOutlook/14.6.4.160422
Date: Thu, 26 May 2016 13:00:49 -0400
To: php-internals <internals@lists.php.net>,
	Fleshgrinder <php@fleshgrinder.com>
Message-ID: <D36CA333.6E84B%fsb@thefsb.org>
Thread-Topic: [PHP-DEV] [RFC][Vote] Typed Properties
References: <20160525215208.034FC1A801B3@dd1730.kasserver.com>
 <e194be7d-2d72-945c-b8de-245e91f6f239@thefsb.org>
 <CAO3MkaD==1jQvS_cRbDrBQ7nkoBvoAaavmgxeMiP0mSKXL7eRQ@mail.gmail.com>
 <D36C9366.6E7CA%fsb@thefsb.org>
 <5fd54aa0-4fdf-c1e7-eae8-765aa89c8498@fleshgrinder.com>
 <D36C9DD7.6E827%fsb@thefsb.org>
 <871d57cd-cf8d-626c-8bfc-4c23482fb38d@fleshgrinder.com>
In-Reply-To: <871d57cd-cf8d-626c-8bfc-4c23482fb38d@fleshgrinder.com>
Mime-version: 1.0
Content-type: text/plain;
	charset="UTF-8"
Content-transfer-encoding: 7bit
Subject: Re: [PHP-DEV] [RFC][Vote] Typed Properties
From: fsb@thefsb.org (Tom Worster)

On 5/26/16, 12:48 PM, "Fleshgrinder" <php@fleshgrinder.com> wrote:

>> 
>> Under another 5th option, the problem you state does not arise. Disallow
>> "public int $x;". Under this option you may declare $x with type int and
>> an initial value or you may declare $x without type but you may not
>> declare $x with type (nullable or not) and undefined initial value.
>> 
>> Tom
>> 
>
>This would be a valid approach too, yes. I personally would be against
>it because I do not want to initialize all my properties.
>
>  class A {
>
>    private int $x;
>
>    public function getX() {
>      if (empty($this->x)) {
>        $this->x = 42;
>      }
>      return $this->x;
>    }
>
>  }
>
>This would not yield an E_NOTICE because both isset() and empty() never
>do. This allows the attentive programmers to keep up there coding
>practices without the necessity to assign meaningless values everywhere.
>
>  class A {
>
>    /** -1 is invalid */
>    public int $x = -1;
>
>    /** 'INVALID' is invalid but empty string is allowed */
>    public string $s = 'INVALID';
>
>    /** Null byte is invalid but anything else is valid */
>    public string $welcome_to_the_c_world = '\0';
>
>  }

If you want that kind of thing, you can do it the old PHP way like this

class A {
    private ?int $x = null;
    ...


Tom