Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:116830
To: internals@lists.php.net
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>
Message-ID: <5a99809d-afda-546c-5a11-a4f0f821aa37@korulczyk.pl>
Date: Thu, 6 Jan 2022 16:21:28 +0100
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101
 Thunderbird/78.14.0
MIME-Version: 1.0
In-Reply-To: <5a4aebf8-e592-4517-8930-d18b112ef1fd@www.fastmail.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: en-US
Content-Transfer-Encoding: 7bit
Subject: Re: [PHP-DEV] RFC: Trait expects interface
From: robert@korulczyk.pl (Robert Korulczyk)

 > For point 1, we already have that.  It's called abstract methods in traits.  This is a solved problem that requires no further resolution.  At best 
it would be a shorthand to copying a few methods from an interface into the trait and sticking "abstract" in front of them.  I really don't see a need 
for that.

You can say exactly the same about traits in general - you don't need traits at all, since you can copy method implementation into multiple classes, 
in the same way as you're proposing to copy abstract methods declarations. But traits are implemented and they're useful - they reduce the amount of 
code duplication, which means less work and a smaller surface for errors. It is the same case for this proposal - if you don't need to copy&paste 
method declarations from an interface, that means less code duplication and possible errors. 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). And finally, you could use `{@inheritdoc}` in some meaningful way in traits - right now there is no straightforward way to inherit 
phpdoc from the interface, and often this is what you want to do.


-- 
Regards,
Robert Korulczyk