Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:108723
To: Bishop Bettini <bishop@php.net>
CC: "internals@lists.php.net" <internals@lists.php.net>
Thread-Topic: [PHP-DEV] Re: Straw poll: Places to allow function calls in
 constant expressions
Thread-Index: AQHV5TVGaQlwvBZF+k68DGwMXa9nx6gi0ZiqgAARpgCABSS0Fg==
Date: Sun, 23 Feb 2020 02:01:49 +0000
Message-ID:
 <DM5PR07MB3067AD9AEA2BCB151677F90DF9EF0@DM5PR07MB3067.namprd07.prod.outlook.com>
References:
 <CY4PR07MB306346D5C035C0BE8AB30195F9160@CY4PR07MB3063.namprd07.prod.outlook.com>
 <DM5PR07MB306731B6D06285C5E936B5FFF9100@DM5PR07MB3067.namprd07.prod.outlook.com>,<CAEYWF=4XFoE8UTkOiZjpJqd+6+9YjShNjFuUKpAPJT4qnqwu+A@mail.gmail.com>
In-Reply-To:
 <CAEYWF=4XFoE8UTkOiZjpJqd+6+9YjShNjFuUKpAPJT4qnqwu+A@mail.gmail.com>
Accept-Language: en-CA, en-US
Content-Language: en-CA
x-ms-exchange-messagesentrepresentingtype: 1
x-tmn: [Q7U4QUMxhSarxLjfe13kkVlS2YlTv5Tv1xwZ8V5Da8BcQk4stkkz2wbUbRPom9Bx]
x-ms-publictraffictype: Email
x-incomingheadercount: 46
x-eopattributedmessage: 0
x-ms-office365-filtering-correlation-id: aca1f479-dd01-44a7-4ff7-08d7b8045847
x-ms-traffictypediagnostic: BN8NAM11HT216:
x-microsoft-antispam: BCL:0;
x-microsoft-antispam-message-info:
 fYSjRn3THwjyV1nGy79Qe6S2raX7ncsuiru6bJO8Ho1idLYHaPvKlMXr/GSh6GEW+yL1rRwgX2Phy/GQe0ZK6ibyBDyg0ZxiDPvWTNfeyLqHCBrd8pz2KvYnAIJhJuoee3WmA/O71Rs7hP0ilToDeobKJKbb6bzqYPDPHXxqk2W0M4M/JhK1W6bOSPcl1Sr3Bp1kUlzkQZXqSCQjHmrzrkLlBBpTFXcEcWc3rtNL/Bk=
x-ms-exchange-antispam-messagedata:
 KAvvjdd2ylTWx+t+M7S+8c1BU1cnwvQuxtdSZADfBu3lPCJYfgSiZvzdzb+RyykCFANJSiNO3X/v0uTD/PpRnxsyvfbYCxStWZ954TP7+3ojrdyuP7cisF92oi9n6wAqdxJcWY43OyORpmcGBq/K0tuXxnMrSsNJP6EgfS0PJwKAzvE4Dbuv21oG4u76j8H2kIum7YqbvFahjd+ihOVS/Q==
x-ms-exchange-transport-forked: True
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-OriginatorOrg: hotmail.com
X-MS-Exchange-CrossTenant-RMS-PersistedConsumerOrg: 00000000-0000-0000-0000-000000000000
X-MS-Exchange-CrossTenant-Network-Message-Id: aca1f479-dd01-44a7-4ff7-08d7b8045847
X-MS-Exchange-CrossTenant-rms-persistedconsumerorg: 00000000-0000-0000-0000-000000000000
X-MS-Exchange-CrossTenant-originalarrivaltime: 23 Feb 2020 02:01:49.6293
 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Internet
X-MS-Exchange-CrossTenant-id: 84df9e7f-e9f6-40af-b435-aaaaaaaaaaaa
X-MS-Exchange-Transport-CrossTenantHeadersStamped: BN8NAM11HT216
Subject: Re: [PHP-DEV] Re: Straw poll: Places to allow function calls in
 constant expressions
From: tysonandre775@hotmail.com (tyson andre)

> The original motivation was, IIRC, to initialize class constants with an =
expression.=0A=
> Following KISS, I feel we should constrain our efforts to that scope, and=
 that's how I voted:=0A=
> "Yes" on class constants and static members, "No" on everything else.=0A=
=0A=
I'd also personally found the `static $x =3D null; if ($x =3D=3D=3D null) {=
 $x =3D some_fn(); }` pattern inconvenient and wanted that to be just `stat=
ic $x =3D some_fn();` to make the initial value `some_fn()` if possible. It=
 also seemed more readable (e.g. doesn't matter if some_fn() can be constan=
t).=0A=
=0A=
My personal use case for parameter defaults and global constants isn't as s=
trong (especially with define()),=0A=
but it's still something I'd want.=0A=
=0A=
- I'd be able to use `private const FOO_DEFAULT =3D array_keys(...); functi=
on foo($x =3D FOO_DEFAULT) {}` if constants did pass, so that's less off a =
concern, and ensures&makes clear that the expression is only evaluated once=
, so it might be a better place to start with.=0A=
=0A=
> As for implementation, we must manage the complexity.=0A=
> I'm a hard "No" on restricting use to an arbitrary, variable list of bles=
sed functions.=0A=
> It's a dev UX nightmare to include a bevy of array_* functions but no str=
* functions.=0A=
=0A=
If the RFC succeeded with a whitelist, I'd planned to create RFCs to add to=
 the whitelist.=0A=
Locale dependency of string functions was the reason for leaving it out ini=
tially, since that may also be a hard "no" for others.=0A=
=0A=
> Consequently, the only way to safely initialize class constants and stati=
c members is at run-time, and I can only think of one way to do it.=0A=
> Apologies if this has already been suggested: taking a cue from C#, a sta=
tic class constructor ([1]) =0A=
> would allow us to have expression-initialized constants and static member=
s.=0A=
> <?php=0A=
> class Config {=0A=
>     public const URL =3D null; // compile time initialization=0A=
>     protected static $mtime =3D null; // compile time initialization=0A=
>     private static function __constructStatic() {=0A=
>         $env =3D json_decode(file_get_contents('config.json'));=0A=
>         self::URL =3D $env->url;=0A=
>         self::$mtime =3D filemtime('config.json');=0A=
>    }=0A=
>    public function reload() {=0A=
>        if (self::$mtime < filemtime('config.json'))=0A=
>            self::__constructStatic();=0A=
>        }=0A=
>    }=0A=
> }=0A=
> =0A=
> echo Config::URL; // assert: runtime has already called _constructStatic=
=0A=
> $config =3D new Config; // assert: __constructStatic called only once by =
runtime=0A=
> $config->reload(); // instance may call its own static constructor=0A=
?>=0A=
=0A=
This seems to allow the same functionality my RFC would allow, in a slightl=
y different way.=0A=
I didn't go with that syntax because it'd move the values of the constants/=
properties away from the declaration.=0A=
Also, if `json_decode()` threw, then there would never be a way for a PHP i=
mplementation to initialize `self::$mtime` in that example, even though the=
y're unrelated in how they're initialized there.=0A=
Allowing calling `__constructStatic` multiple times (thus assigning to the =
**const** `self::URL` multiple times) would be a significant change to php =
internals, and out of the scope of this RFC=0A=
=0A=
https://wiki.php.net/rfc/calls_in_constant_expressions_poll ("Put the RFC(P=
oll) URL into all your replies.")=0A=
=0A=
- Tyson=