Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:105151
Message-ID: <560F6C05-C7F0-4D62-8086-D9A6E2DC2C48@gmail.com>
Content-Type: multipart/alternative;
	boundary="Apple-Mail=_0BFDD784-ACD1-4593-99CC-4F53C9BE8BA7"
Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.8\))
Date: Mon, 8 Apr 2019 18:17:19 +0200
In-Reply-To: <CAEsg9X2ne8w8TKHA-LNb-d3=GTt1tJAEvqiURKbynb4OAmKnew@mail.gmail.com>
Cc: Dan Ackroyd <Danack@basereality.com>,
 Guilliam Xavier <guilliam.xavier@gmail.com>,
 PHP internals <internals@lists.php.net>
To: David Rodrigues <david.proweb@gmail.com>
References: <CAC5V6gh79y-i1cQ-XhDBiZTq5BNLDbpcHxNX22mXtYKYrCC94g@mail.gmail.com>
 <CA+kxMuSugdWVPC7Kg-aZb_+24tG-FQ76zbe=psoDC6VfFwcZhA@mail.gmail.com>
 <CAEsg9X2ne8w8TKHA-LNb-d3=GTt1tJAEvqiURKbynb4OAmKnew@mail.gmail.com>
Subject: Re: [PHP-DEV] [RFC] Nullable Casting
From: claude.pache@gmail.com (Claude Pache)

--Apple-Mail=_0BFDD784-ACD1-4593-99CC-4F53C9BE8BA7
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain;
	charset=utf-8



> Le 8 avr. 2019 =C3=A0 07:05, David Rodrigues <david.proweb@gmail.com> =
a =C3=A9crit :
>=20
> And about "settype($variable, "?int")" it was requested on original =
mailing
> by Claude Pache.

PHP has several ways to perform casting:
1. (int) $foo
2. settype($foo, 'int');
3. intval($foo)

They are occasions where the programmer will prefer one method to the =
other. For example:
1. foo((int) $bar)
2. settype($someNonTrivial[$expr]['ession'], 'int');
3. array_map('intval', $foo)

The `intval($foo)` family of functions might be replaced by `function =
($foo) { return (int) $foo; }` (or maybe soon by `fn($foo) =3D> (int) =
$foo`), so that it might not be a necessity to double them with =
`intvalIfNotNull($foo)`, etc. functions (also, finding a good name is =
not evident). But as for `settype()`, it cannot be replaced by casting =
syntax in case the target type is not written literally in source code; =
so that we should continue to fully support it. (And see =
https://externals.io/message/103779#103805 =
<https://externals.io/message/103779#103805> for real world usages.)

=E2=80=94Claude


--Apple-Mail=_0BFDD784-ACD1-4593-99CC-4F53C9BE8BA7--