PHP 7 arayüzleri, dönüş türü ipuçları ve self

GÜNCELLEME : PHP 7.4 artık bu soruda ortaya çıkan ana sorunu ele alan kovaryansı ve kontraveriansı destekliyor .

PHP 7'de dönüş türü ipucu kullanmakla ilgili bir sorunla karşılaştım. Anladığım kadarıyla ipucu : self, bir uygulama sınıfının kendisini döndürmesini istediğiniz anlamına geliyor. Bu nedenle : selfarayüzlerimde bunu belirtmek için kullandım, ancak arayüzü gerçekten uygulamaya çalıştığımda uyumluluk hataları aldım.

Aşağıda karşılaştığım sorunun basit bir gösterimi var:

interface iFoo
{
    public function bar (string $baz) : self;
}

class Foo implements iFoo
{

    public function bar (string $baz) : self
    {
        echo $baz . PHP_EOL;
        return $this;
    }
}

(new Foo ()) -> bar ("Fred") 
    -> bar ("Wilma") 
    -> bar ("Barney") 
    -> bar ("Betty");

Beklenen çıktı şuydu:

Fred Wilma Barney Betty

Aslında aldığım şey:

PHP Önemli hata: Foo :: bar bildirimi (int $ baz): Foo, iFoo :: bar (int $ baz) ile uyumlu olmalıdır: 7. satırdaki test.php içindeki iFoo

Mesele şu ki Foo, iFoo'nun bir uygulaması, bu yüzden uygulamanın verilen arayüzle mükemmel bir şekilde uyumlu olması gerektiğini söyleyebildiğim kadarıyla. Bu sorunu, kullanmak yerine arayüzü ada göre ipucu döndürmek için arabirimi veya uygulama sınıfını (veya her ikisini) değiştirerek çözebilirdim self, ancak benim anladığım kadarıyla anlamsal olarak şu selfanlama geliyor: ". Bu nedenle, arayüze değiştirmek teoride, amacım çağrılan örnek için olduğunda, arayüzü uygulayan bir şeyin herhangi bir örneğini döndürebileceğim anlamına gelir.

Bu PHP'de bir gözetim mi yoksa kasıtlı bir tasarım kararı mı? Eski ise, PHP 7.1'de düzeltildiğini görme şansı var mı? Değilse, arabiriminizin zincirleme için yöntemi çağırdığınız örneği döndürmenizi beklediğini ima eden doğru dönüş yolu nedir?

selförneğe atıfta bulunmaz, geçerli sınıfı ifade eder. Bir arabirimin aynı örneğin döndürülmesi gerektiğini belirtmesinin bir yolu yoktur - selfdenediğiniz şekilde kullanmak yalnızca döndürülen örneğin aynı sınıftan olmasını zorunlu kılar.

Bununla birlikte, PHP'deki dönüş türü bildirimleri, yaptığınız şey kovaryant iken değişmez olmalıdır.

Kullanımınız selfşuna eşdeğerdir:

interface iFoo
{
    public function bar (string $baz) : iFoo;
}

class Foo implements iFoo
{

    public function bar (string $baz) : Foo  {...}
}

buna izin verilmez.

Dönüş Türü Beyannameler RFC sahip bu demek :

Devralma sırasında bildirilen dönüş türünün uygulanması değişmez; bu, bir alt tür bir üst yöntemi geçersiz kıldığında, alt türün dönüş türünün üst öğe ile tam olarak eşleşmesi gerektiği ve atlanamayabileceği anlamına gelir. Ebeveyn bir dönüş türü bildirmezse, çocuğun bir dönüş türü bildirmesine izin verilir.

...

Bu RFC başlangıçta kovaryant dönüş türleri önermiştir, ancak birkaç sorun nedeniyle değişmez olarak değiştirilmiştir. Gelecekte bir noktada kovaryant dönüş türleri eklemek mümkündür.

Şimdilik en azından yapabileceğiniz en iyi şey:

interface iFoo
{
    public function bar (string $baz) : iFoo;
}

class Foo implements iFoo
{

    public function bar (string $baz) : iFoo  {...}
}

Ayrıca arayüzde dönüş türünü açıkça tanımlamadığınız, yalnızca PHPDoc'da tanımlamadığınız ve daha sonra uygulamalarda belirli dönüş türünü tanımlayabileceğiniz bir çözüm olabilir:

interface iFoo
{
    public function bar (string $baz);
}

class Foo implements iFoo
{
    public function bar (string $baz) : Foo  {...}
}

Arabirimden zorlamak istediğinizde, bu yöntem nesneyi döndürecektir, ancak nesne türü arabirim türü olmayacak, sınıfın kendisi olacaktır, o zaman bunu şu şekilde yazabilirsiniz:

interface iFoo {
    public function bar (string $baz) : object;
}

class Foo implements iFoo {
    public function bar (string $baz) : self  {...}
}

PHP 7.4'ten beri çalışıyor.

PHP 8, probleminizi çözecek "statik dönüş türü" ekleyecektir.

Bu RFC'ye göz atın: https://wiki.php.net/rfc/static_return_type

Bu bana beklenen davranışa benziyor.

Sadece Foo::bargeri dönmek iFooyerine yönteminizi değiştirin selfve onunla bitirin.

Açıklama:

selfarayüzde kullanıldığı şekliyle "tipte bir nesne" anlamına gelir iFoo.
selfuygulamada kullanıldığı şekliyle "türden bir nesne" anlamına gelir Foo.

Bu nedenle, arayüzdeki ve gerçeklemedeki dönüş türleri açıkça aynı değildir.

Yorumlardan biri Java'dan ve bu sorunu yaşayıp yaşamayacağınızdan bahseder. Cevap evet, Java böyle kod yazmanıza izin verseydi aynı sorunu yaşarsınız - ki öyle değil. Java, PHP'nin selfkısayolu yerine türün adını kullanmanızı gerektirdiğinden , bunu gerçekte asla görmeyeceksiniz. ( Java'da benzer bir sorunla ilgili tartışma için buraya bakın .)