Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:110128
MIME-Version: 1.0
References: <CAF+90c8j3bhiBB4kzFrDBsqwf0e+VpngsaqqoE8BX0RfhSNPzA@mail.gmail.com>
In-Reply-To: <CAF+90c8j3bhiBB4kzFrDBsqwf0e+VpngsaqqoE8BX0RfhSNPzA@mail.gmail.com>
Date: Mon, 11 May 2020 12:03:50 +0200
Message-ID: <CAF+90c95E88j7_bHVrT0mwQjCQVFj_mU9mXHcF3+o_661Y+FhQ@mail.gmail.com>
To: PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="000000000000a6b5ff05a55c7790"
Subject: Re: Add get_resource_id() function
From: nikita.ppv@gmail.com (Nikita Popov)

--000000000000a6b5ff05a55c7790
Content-Type: text/plain; charset="UTF-8"

On Tue, Apr 21, 2020 at 12:44 PM Nikita Popov <nikita.ppv@gmail.com> wrote:

> Hi internals,
>
> This originally came up in the "Stricter type-checks for
> arithmetic/bitwise operators" thread. I would like to add a
> get_resource_id() function, which does the same as an (int) $resource cast,
> just in a more explicit way, that does not require the reader to be
> familiar with PHP language minutiae. There is no plan to deprecate or
> remove the (int) $resource form.
>
> This is similar to the recently added get_mangled_object_vars() function,
> which is (about) the same as an (array) $object cast, but makes the
> intention of working with mangled properties clearer clearer.
>
> The get_resource_id() name is based on the already existing
> get_resource_type() function.
>
> The implementation is trivial and available at
> https://github.com/php/php-src/pull/5427.
>

As there haven't been objections here and reception on the PR positive, I
went ahead and merged this.

Nikita

--000000000000a6b5ff05a55c7790--