Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:126757
Precedence: bulk
MIME-Version: 1.0
Date: Fri, 14 Mar 2025 19:05:12 +0200
To: Viktor Khramov <dev.999.victor@gmail.com>
Cc: php internals <internals@lists.php.net>
Subject: Re: [PHP-DEV] [RFC] [Discussion] Optional interfaces
In-Reply-To: <CAA0W4qJFQ6mV2dYDN7iAyQHtq0YSpf34J2u9=o1iq26t84bMyw@mail.gmail.com>
References: <087a01db596a$e7525660$b5f70320$@glaive.pro>
 <CAPTD5yE0aDgLuoB6fCQawrz9syWfGqFfq6_8taPCEUB5252oeQ@mail.gmail.com>
 <CAA0W4qJFQ6mV2dYDN7iAyQHtq0YSpf34J2u9=o1iq26t84bMyw@mail.gmail.com>
User-Agent: Roundcube Webmail/1.4.8
Message-ID: <d6544059cf07a3e51136feee00385b33@glaive.pro>
Organization: SIA "Glaive.pro"
Content-Type: multipart/alternative;
 boundary="=_9dd6076eb56262bf1a224d5cc293e18e"
From: juris@glaive.pro (Juris Evertovskis)

--=_9dd6076eb56262bf1a224d5cc293e18e
Content-Transfer-Encoding: 7bit
Content-Type: text/plain; charset=US-ASCII;
 format=flowed

On 2025-03-14 16:24, Viktor Khramov wrote:

> Hey Juris.
> 
> I have a question about this feature.
> 
> At the example blow
> 
>> interface A
>> {
>> public function x(Foo $foo);
>> }
>> 
>> interface B
>> {
>> public function x(Bar $foo);
>> }
>> 
>> class Test implements ?A, ?B
>> {
>> }
> 
> what would happen if both interfaces existed?

Hi Viktor,

If `A` exists then `?A` is equivalent to `A`.

In your example Test will implement both A and B.

If Test::x() will be incompatible with either A::x() or B::x(), you will 
end up with an error.

BR,
Juris
--=_9dd6076eb56262bf1a224d5cc293e18e
Content-Transfer-Encoding: quoted-printable
Content-Type: text/html; charset=UTF-8

<html><head><meta http-equiv=3D"Content-Type" content=3D"text/html; charset=
=3DUTF-8" /></head><body style=3D'font-size: 10pt; font-family: Verdana,Gen=
eva,sans-serif'>
<p id=3D"reply-intro">On 2025-03-14 16:24, Viktor Khramov wrote:</p>
<blockquote type=3D"cite" style=3D"padding: 0 0.4em; border-left: #1010ff 2=
px solid; margin: 0">
<div id=3D"replybody1">
<div dir=3D"ltr">Hey Juris.<br /><br />I have a question about this feature=
=2E<br /><br />At the example blow<br /><br />
<blockquote class=3D"v1gmail_quote" style=3D"margin: 0px 0px 0px 0.8ex; bor=
der-left: 1px solid #cccccc; padding-left: 1ex;">interface A<br />{<br />&n=
bsp; &nbsp;public function x(Foo $foo);<br />}<br /><br />interface B<br />=
{<br />&nbsp; &nbsp;public function x(Bar $foo);<br />}<br /><br /><span>cl=
ass Test implements ?A, ?B</span><br /><span>{</span><br /><span>}</span></=
blockquote>
<span><br />what would happen if both interfaces existed?<br /><br /></span=
></div>
<u></u><u></u></div>
</blockquote>
<p>Hi Viktor,</p>
<p>If `A` exists then `?A` is equivalent to `A`.</p>
<p>In your example Test will implement both A and B.</p>
<p>If Test::x() will be incompatible with either A::x() or B::x(), you will=
 end up with an error.</p>
<p>BR,<br />Juris</p>

</body></html>

--=_9dd6076eb56262bf1a224d5cc293e18e--