Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:98532
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 74.125.82.42 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <CAESVnVrrZpSq2WMAzGKYQDeMOmS3mfLZ+Fe30GJiTCtjpZrUHQ@mail.gmail.com>
References: <CAESVnVrrZpSq2WMAzGKYQDeMOmS3mfLZ+Fe30GJiTCtjpZrUHQ@mail.gmail.com>
Date: Tue, 14 Mar 2017 23:15:32 -0400
Message-ID: <CAL+t6cFJ6ru5eG9OOAnobVdA7M1Tzf-ik1nKuY8G-NeX8nUx3w@mail.gmail.com>
To: Sara Golemon <pollita@php.net>
Cc: PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=001a114733c079b224054abc5b93
Subject: Re: [PHP-DEV] Unexpected results from constant folding
From: theanomaly.is@gmail.com (Sherif Ramadan)

--001a114733c079b224054abc5b93
Content-Type: text/plain; charset=UTF-8

I would definitely vote C as well. PHP 7's behavior makes even less sense
than PHP 5 in this case.

On Tue, Mar 14, 2017 at 10:43 PM, Sara Golemon <pollita@php.net> wrote:

> This comes in thanks to my old friend Fred Emmott on the HHVM project:
> https://3v4l.org/vUHq3
>
> class Foo {
>     const A = 1 << 0;
>     const B = self::A | self::C;
>     const C = 1 << 1;
>
> }
>
> class Bar extends Foo {
>     const A = 1 << 2;
>     const C = 1 << 3;
> }
>
> var_dump(decbin(Bar::B));
> // HHVM result: 11
> // PHP5 result: 1100
> // PHP7 result: 1001
>
> HHVM's result is clearly correct as `self::` refers to the defining
> class and so should bind to Foo's values for A and C.
> PHP5's result is at least rationally viable, although it effectively
> redefines `self::` to the semantics of `static::` just for this case.
> PHP7's result is... well, I can imagine how it occurs, but it can't be
> called correct by any measure.
>
> Opinions on the right thing to do here?
> a) Leave it alone because it's been that way since 7.0
> b) Revert to php5 behavior
> c) Match HHVM's behavior
>
> I vote C because that's the semantic meaning of self:: and we should
> respect PHP's own language rules.
> Barring that, I'd be okay with B as it's at least explainable without
> too much mental gymnastics.
> I straight up veto A.  That's just cray-cray.
>
> -Sara
>
> --
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: http://www.php.net/unsub.php
>
>

--001a114733c079b224054abc5b93--