Giao diện PHP 7, gợi ý kiểu trả về và tự

CẬP NHẬT : PHP 7.4 hiện hỗ trợ hiệp phương sai và phương sai giải quyết vấn đề chính được nêu ra trong câu hỏi này.

Tôi đã gặp phải vấn đề gì đó với việc sử dụng hàm trả về kiểu gợi ý trong PHP 7. Tôi hiểu rằng gợi ý : selfcó nghĩa là bạn dự định cho một lớp triển khai tự trả về. Do đó, tôi đã sử dụng : selftrong các giao diện của mình để chỉ ra điều đó, nhưng khi tôi cố gắng triển khai thực tế giao diện, tôi đã gặp lỗi tương thích.

Sau đây là một minh chứng đơn giản về vấn đề tôi gặp phải:

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

Sản lượng mong đợi là:

Fred Wilma Barney Betty

Những gì tôi thực sự nhận được là:

PHP Lỗi nghiêm trọng: Khai báo Foo :: bar (int $ baz): Foo phải tương thích với iFoo :: bar (int $ baz): iFoo trong test.php trên dòng 7

Vấn đề là Foo là một triển khai của iFoo, theo như tôi có thể nói việc triển khai phải hoàn toàn tương thích với giao diện nhất định. Tôi có lẽ có thể khắc phục sự cố này bằng cách thay đổi giao diện hoặc lớp triển khai (hoặc cả hai) để trả về gợi ý giao diện theo tên thay vì sử dụng self, nhưng hiểu biết của tôi là về mặt ngữ selfnghĩa "trả về phiên bản của lớp mà bạn vừa gọi phương thức trên ". Do đó, việc thay đổi nó thành giao diện có nghĩa là về lý thuyết, tôi có thể trả về bất kỳ trường hợp nào của thứ gì đó triển khai giao diện khi ý định của tôi dành cho thể hiện được gọi là thứ sẽ được trả về.

Đây là một sự giám sát trong PHP hay đây là một quyết định thiết kế có chủ ý? Nếu là bản cũ thì liệu có cơ hội thấy nó được sửa trong PHP 7.1 không? Nếu không thì đâu là cách trả về chính xác gợi ý rằng giao diện của bạn mong muốn bạn trả về thể hiện mà bạn vừa gọi phương thức trên để xâu chuỗi?

selfkhông tham chiếu đến cá thể, nó tham chiếu đến lớp hiện tại. Không có cách nào để một giao diện chỉ định rằng phải trả lại cùng một phiên bản - sử dụng selftheo cách bạn đang cố gắng sẽ chỉ thực thi rằng phiên bản trả về phải thuộc cùng một lớp.

Điều đó nói rằng, các khai báo kiểu trả về trong PHP phải là bất biến trong khi những gì bạn đang cố gắng là đồng biến.

Việc sử dụng của bạn selftương đương với:

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

class Foo implements iFoo
{

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

mà không được phép.

Các Return khai báo kiểu RFC có này để nói :

Việc thực thi kiểu trả về đã khai báo trong quá trình kế thừa là bất biến; điều này có nghĩa là khi một kiểu con ghi đè một phương thức cha thì kiểu trả về của con phải khớp chính xác với phương thức cha và không thể bị bỏ qua. Nếu cha mẹ không khai báo kiểu trả về thì con được phép khai báo một kiểu.

...

RFC này ban đầu đề xuất các kiểu trả về hiệp biến nhưng đã được thay đổi thành bất biến vì một số vấn đề. Có thể thêm các kiểu trả về hiệp phương sai vào một thời điểm nào đó trong tương lai.

Trong lúc này, điều tốt nhất bạn có thể làm là:

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

class Foo implements iFoo
{

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

Nó cũng có thể là một giải pháp mà bạn không xác định rõ ràng kiểu trả về trong Giao diện, chỉ trong PHPDoc và sau đó bạn có thể xác định kiểu trả về nhất định trong các triển khai:

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

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

Trong trường hợp, khi Bạn muốn buộc từ giao diện, phương thức đó sẽ trả về đối tượng, nhưng kiểu đối tượng sẽ không phải là kiểu giao diện mà là chính lớp, khi đó Bạn có thể viết theo cách này:

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

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

Nó hoạt động kể từ PHP 7.4.

PHP 8 sẽ thêm "kiểu trả về tĩnh" để giải quyết vấn đề của bạn.

Kiểm tra RFC này: https://wiki.php.net/rfc/static_return_type

Đây có vẻ như là hành vi mong đợi đối với tôi.

Chỉ cần thay đổi Foo::barphương thức của bạn để trả về iFoothay vì selfvà được thực hiện với nó.

Giải trình:

selfnhư được sử dụng trong giao diện có nghĩa là "một loại đối tượng iFoo."
selfnhư được sử dụng trong việc triển khai có nghĩa là "một đối tượng của kiểu Foo".

Do đó, các kiểu trả về trong giao diện và cách thực hiện rõ ràng là không giống nhau.

Một trong những nhận xét đề cập đến Java và liệu bạn có gặp vấn đề này hay không. Câu trả lời là có, bạn sẽ gặp vấn đề tương tự nếu Java cho phép bạn viết mã như vậy - điều mà nó không. Vì Java yêu cầu bạn sử dụng tên của kiểu thay vì selfphím tắt của PHP , bạn sẽ không bao giờ thực sự thấy điều này. (Xem tại đây để thảo luận về một vấn đề tương tự trong Java.)