Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:116832
MIME-Version: 1.0
References: <1641335738.195767637@f174.i.mail.ru> <CA+p1Faa_BAv-DdR7D4Jee2XwNNmVQmmkDf_T_Z_4nAYxWtQPqA@mail.gmail.com>
 <CAPKYkKy4AtAheYTyS9zn4Bz14x1Eq15amjCcPEBFtvML0cUxGQ@mail.gmail.com>
 <5a4aebf8-e592-4517-8930-d18b112ef1fd@www.fastmail.com> <5a99809d-afda-546c-5a11-a4f0f821aa37@korulczyk.pl>
 <A91D0AC0-D646-4C62-9FF3-EDE8279E43B7@gmail.com>
In-Reply-To: <A91D0AC0-D646-4C62-9FF3-EDE8279E43B7@gmail.com>
Date: Thu, 6 Jan 2022 11:25:04 -0500
Message-ID: <CAPKYkKyanQfct9SdLGyed76JHYfjr_Pmqn6LczBLWkML2nu_wA@mail.gmail.com>
To: Rowan Tommins <rowan.collins@gmail.com>
Cc: internals@lists.php.net
Content-Type: multipart/alternative; boundary="000000000000cf057f05d4ec5078"
Subject: Re: [PHP-DEV] RFC: Trait expects interface
From: chasepeeler@gmail.com (Chase Peeler)

--000000000000cf057f05d4ec5078
Content-Type: text/plain; charset="UTF-8"

On Thu, Jan 6, 2022 at 11:20 AM Rowan Tommins <rowan.collins@gmail.com>
wrote:

> On 6 January 2022 15:21:28 GMT, Robert Korulczyk <robert@korulczyk.pl>
> wrote:
> > It should also make it easier for SCA tools to understand
> >the code since they no longer need to know the whole project to
> understand that method from trait is implementation of method from
> interface (which is
> >really tricky right now since it depends on context - trait can at the
> same implement and not implement the interface, because it depends on class
> >where it is used).
>
> Your other points make sense, but I don't think this one does - there are
> no implicit interfaces in PHP*, so all any tool cares about is:
>
> 1) Does the class declaration say that it implements an interface?
> 2) Does it actually contain the methods needed to do so, through any
> combination of direct implementation, inheritance, and trait usage?
>
> Knowing that a particular trait *could be* used to implement a particular
> interface without further code doesn't really tell the tool anything - it
> still has to resolve the list of methods on the class itself, and test
> those against the "implements" clause. This is particularly true if the
> class uses the "as" and "insteadOf" clauses when including the trait, which
> nullify any promises the trait could make.
>
>
> I think the advantage would come within the trait. If I say the trait
expects an interface with two methods, then the tool can act as if the
interfaces methods exist in the trait even if they aren't explicitly
defined. As others have pointed out, though, you can get the same behavior
from declaring the methods not implemented in the trait as abstract.



> * other than "Stringable", whose purpose and implementation continue to
> baffle me
>
> Regards,
>
> --
> Rowan Tommins
> [IMSoP]
>
> --
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: https://www.php.net/unsub.php
>
>

-- 
Chase Peeler
chasepeeler@gmail.com

--000000000000cf057f05d4ec5078--