Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:78810
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain ajf.me designates 192.64.116.200 as permitted sender)
Content-Type: text/plain; charset=utf-8
Mime-Version: 1.0 (Mac OS X Mail 8.0 \(1990.1\))
In-Reply-To: <CAHpw9AcDaThJ_rx3U+xpH6LYpWfGdVP-cz6XwZTKQZWXt4WJVA@mail.gmail.com>
Date: Thu, 6 Nov 2014 11:49:54 +0000
Cc: Stas Malyshev <smalyshev@sugarcrm.com>,
 PHP internals <internals@lists.php.net>
Content-Transfer-Encoding: quoted-printable
Message-ID: <13E1F1B8-D2DB-4BAF-95FD-E9AB7A7D1AA5@ajf.me>
References: <CAHpw9Ac0oapNSV=y4Gj3WCdZ1ckik+WOJt-yMdMjGt3u7iJpJg@mail.gmail.com> <545B3900.6070208@sugarcrm.com> <CAHpw9AeNHLKFPmAF8AmZUeauz4_x+p7ayyN-pi2PBnZ6wV=CYg@mail.gmail.com> <6FB6D82E-CF77-462D-8420-A1E37915EA13@ajf.me> <CAHpw9AcDaThJ_rx3U+xpH6LYpWfGdVP-cz6XwZTKQZWXt4WJVA@mail.gmail.com>
To: Daniel Ribeiro <drgomesp@gmail.com>
Subject: Re: [PHP-DEV] Allow arbitrary expressions when using instanceof operator
From: ajf@ajf.me (Andrea Faulds)


> On 6 Nov 2014, at 11:43, Daniel Ribeiro <drgomesp@gmail.com> wrote:
>=20
> On Thu, Nov 6, 2014 at 3:36 PM, Andrea Faulds <ajf@ajf.me> wrote:
>=20
>> Perhaps, dare I say it, we should merge the constant and class =
namespaces
>> in PHP7? Those are perhaps the least likely to conflict. It=E2=80=99d =
mean we could
>> handle instanceof expressions, and we wouldn=E2=80=99t need to use =
::class.
>=20
>=20
> Hi Andrea!
>=20
> I'm not sure I understand what you mean by "don't need to use =
::class=E2=80=9D.

By merging the symbol tables, you could reference classes like constants =
(perhaps it=E2=80=99d return some sort of ReflectionClass-like thing?):

    $x =3D SomeClass;
    $foo =3D new $x;

Currently, because SomeClass above would resolve to a constant, you have =
to use the weird pseudo-constant ::class:

    $x =3D SomeClass::class;

It also would mean instanceof could accept arbitrary expressions, as =
there=E2=80=99d be no syntactic ambiguity:

    class Foo {}
    const Bar =3D =E2=80=98Foo';
    $x =3D (new Foo) instanceof Bar; // works (Bar resolves to =
=E2=80=98Foo=E2=80=99, valid class name)
    $x =3D (new Foo) instanceof Foo; // works (Foo is a class)
    const Foo;                     // Not allowed, conflicts with class

--
Andrea Faulds
http://ajf.me/