PHP 7 อินเทอร์เฟซการบอกใบ้ประเภทส่งคืนและตัวเอง

อัปเดต : ขณะนี้ PHP 7.4 รองรับความแปรปรวนร่วมและความแตกต่างซึ่งแก้ไขปัญหาสำคัญที่เกิดขึ้นในคำถามนี้

ฉันพบปัญหาบางอย่างกับการใช้คำใบ้ประเภทการส่งคืนใน PHP 7 ความเข้าใจของฉันคือการบอกใบ้: selfหมายความว่าคุณตั้งใจให้คลาสการใช้งานกลับมาเอง ดังนั้นฉันจึงใช้: selfอินเทอร์เฟซเพื่อระบุสิ่งนั้น แต่เมื่อฉันพยายามใช้อินเทอร์เฟซจริงฉันพบข้อผิดพลาดเกี่ยวกับความเข้ากันได้

ต่อไปนี้เป็นการสาธิตง่ายๆเกี่ยวกับปัญหาที่ฉันพบ:

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");

ผลลัพธ์ที่คาดหวังคือ:

เฟรดวิลมาบาร์นีย์เบ็ตตี้

สิ่งที่ฉันได้รับคือ:

PHP Fatal error: Declaration of Foo :: bar (int $ baz): Foo ต้องเข้ากันได้กับ iFoo :: bar (int $ baz): iFoo ใน test.php ในบรรทัดที่ 7

สิ่งนี้คือ Foo คือการใช้งาน iFoo ดังนั้นเท่าที่ฉันสามารถบอกได้ว่าการใช้งานควรเข้ากันได้ดีกับอินเทอร์เฟซที่กำหนด ฉันสามารถแก้ไขปัญหานี้ได้โดยการเปลี่ยนอินเทอร์เฟซหรือคลาสการใช้งาน (หรือทั้งสองอย่าง) เพื่อส่งคืนคำใบ้อินเทอร์เฟซตามชื่อแทนที่จะใช้selfแต่ความเข้าใจของฉันคือความหมายหมายselfถึง "ส่งคืนอินสแตนซ์ของคลาสที่คุณเพิ่งเรียกเมธอดบน ". ดังนั้นการเปลี่ยนเป็นอินเทอร์เฟซจะหมายถึงในทางทฤษฎีว่าฉันสามารถส่งคืนอินสแตนซ์ของบางสิ่งที่ใช้อินเทอร์เฟซได้เมื่อเจตนาของฉันคืออินสแตนซ์ที่เรียกใช้คือสิ่งที่จะถูกส่งกลับ

นี่เป็นการกำกับดูแล PHP หรือเป็นการตัดสินใจออกแบบโดยเจตนา? หากเป็นแบบเดิมจะมีโอกาสเห็นการแก้ไขใน PHP 7.1 หรือไม่? ถ้าไม่เช่นนั้นวิธีการส่งคืนที่ถูกต้องคืออะไรที่บอกเป็นนัยว่าอินเทอร์เฟซของคุณคาดว่าคุณจะส่งคืนอินสแตนซ์ที่คุณเพิ่งเรียกว่าเมธอดในการผูกมัด

selfไม่ได้อ้างถึงอินสแตนซ์ แต่หมายถึงคลาสปัจจุบัน ไม่มีวิธีใดที่อินเทอร์เฟซจะระบุว่าต้องส่งคืนอินสแตนซ์เดียวกัน- การใช้selfในลักษณะที่คุณกำลังพยายามจะบังคับให้อินสแตนซ์ที่ส่งคืนเป็นคลาสเดียวกันเท่านั้น

ที่กล่าวว่าการประกาศประเภทการส่งคืนใน PHP จะต้องไม่แปรผันในขณะที่สิ่งที่คุณพยายามทำนั้นเป็นความแปรปรวน

การใช้งานของคุณselfเทียบเท่ากับ:

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

class Foo implements iFoo
{

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

ซึ่งไม่ได้รับอนุญาต

ประเภทกลับประกาศ RFCมีนี้จะพูดถึง :

การบังคับใช้ประเภทการส่งคืนที่ประกาศระหว่างการสืบทอดจะไม่เปลี่ยนแปลง ซึ่งหมายความว่าเมื่อชนิดย่อยแทนที่เมธอดพาเรนต์ประเภทการส่งคืนของเด็กจะต้องตรงกับพาเรนต์ทุกประการและไม่สามารถละเว้นได้ หากผู้ปกครองไม่ได้ประกาศประเภทการส่งคืนเด็กจะได้รับอนุญาตให้ประกาศประเภทหนึ่ง

...

เดิม RFC นี้เสนอประเภทการส่งคืนโควาเรียน แต่เปลี่ยนเป็นค่าคงที่เนื่องจากปัญหาบางประการ เป็นไปได้ที่จะเพิ่มประเภทการส่งคืนโควาเรียในบางจุดในอนาคต

ในขณะที่อย่างน้อยที่สุดที่คุณสามารถทำได้คือ:

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

class Foo implements iFoo
{

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

นอกจากนี้ยังสามารถเป็นวิธีแก้ปัญหาที่คุณไม่ได้กำหนดประเภทการส่งคืนอย่างชัดเจนในอินเทอร์เฟซเฉพาะใน PHPDoc จากนั้นคุณสามารถกำหนดประเภทผลตอบแทนที่แน่นอนในการใช้งาน:

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

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

ในกรณีที่คุณต้องการบังคับจากอินเทอร์เฟซเมธอดนั้นจะส่งคืนอ็อบเจ็กต์ แต่ประเภทของอ็อบเจ็กต์จะไม่ใช่ประเภทของอินเทอร์เฟซ แต่เป็นคลาสนั้นเองคุณสามารถเขียนได้ด้วยวิธีนี้:

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

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

ใช้งานได้ตั้งแต่ PHP 7.4

PHP 8 จะเพิ่ม "static return type" ซึ่งจะช่วยแก้ปัญหาของคุณได้

ตรวจสอบ RFC นี้: https://wiki.php.net/rfc/static_return_type

นี่ดูเหมือนพฤติกรรมที่คาดหวังสำหรับฉัน

เพียงแค่เปลี่ยนFoo::barวิธีการของคุณเพื่อส่งคืนiFooแทนselfและดำเนินการกับมัน

คำอธิบาย:

selfตามที่ใช้ในอินเทอร์เฟซหมายถึง "วัตถุประเภทiFoo"
selfตามที่ใช้ในการนำไปใช้หมายถึง "วัตถุประเภทFooหนึ่ง"

ดังนั้นประเภทผลตอบแทนในอินเทอร์เฟซและการนำไปใช้งานจึงไม่เหมือนกันอย่างชัดเจน

ความคิดเห็นหนึ่งกล่าวถึง Java และคุณจะมีปัญหานี้หรือไม่ คำตอบคือใช่คุณจะมีปัญหาเดียวกันหาก Java อนุญาตให้คุณเขียนโค้ดแบบนั้นซึ่งไม่ได้ เนื่องจาก Java ต้องการให้คุณใช้ชื่อประเภทแทนselfทางลัดของ PHP คุณจะไม่เห็นสิ่งนี้จริง (ดูที่นี่สำหรับการอภิปรายเกี่ยวกับปัญหาที่คล้ายกันใน Java)