Thay đổi chữ ký phương thức để triển khai các lớp trong PHP

Có công việc nào phù hợp với việc thiếu Generics của PHP cho phép kiểm tra mã tĩnh để phát hiện tính nhất quán của loại không?

Tôi có một lớp trừu tượng, tôi muốn lớp con và cũng thực thi rằng một trong các phương thức thay đổi từ lấy tham số của một loại, sang lấy tham số là lớp con của tham số đó.

abstract class AbstractProcessor {
    abstract function processItem(Item $item);
}

class WoodProcessor extends AbstractProcessor {
    function processItem(WoodItem $item){}
}

Điều này không được phép trong PHP vì nó thay đổi chữ ký phương thức không được phép. Với các kiểu chung Java, bạn có thể làm một cái gì đó như:

abstract class AbstractProcessor<T> {
    abstract function processItem(T $item);
}

class WoodProcessor extends AbstractProcessor<WoodItem> {
    function processItem(WoodItem $item);
}

Nhưng rõ ràng PHP không hỗ trợ những thứ đó.

Google cho vấn đề này, mọi người đề nghị sử dụng instanceofđể kiểm tra lỗi trong thời gian chạy, vd

class WoodProcessor extends AbstractProcessor {
    function processItem(Item $item){
        if (!($item instanceof WoodItem)) {
            throw new \InvalidArgumentException(
                "item of class ".get_class($item)." is not a WoodItem");
        } 
    }
}

Nhưng điều đó chỉ hoạt động trong thời gian chạy, nó không cho phép bạn kiểm tra lỗi mã của mình bằng phân tích tĩnh - vậy có cách xử lý nào hợp lý trong PHP không?

Một ví dụ đầy đủ hơn về vấn đề là:

class StoneItem extends Item{}
class WoodItem extends Item{}

class WoodProcessedItem extends ProcessedItem {
    function __construct(WoodItem $woodItem){}
}

class StoneProcessedItem extends ProcessedItem{
    function __construct(StoneItem $stoneItem){}
}

abstract class AbstractProcessor {
    abstract function processItem(Item $item);

    function processAndBoxItem(Box $box, Item $item) {
       $processedItem = $this->processItem($item);
       $box->insertItem($item);
    }

    //Lots of other functions that can call processItem
}

class WoodProcessor extends AbstractProcessor {
    function processItem(Item $item) {
        return new ProcessedWoodItem($item); //This has an inspection error
    }
}

class StoneProcessor extends AbstractProcessor {
    function processItem(Item $item) {
        return new ProcessedStoneItem($item);//This has an inspection error
    }
}

Bởi vì tôi chỉ Itemchuyển đến new ProcessedWoodItem($item)và nó mong đợi WoodItem là tham số, việc kiểm tra mã cho thấy có lỗi.

Thay vào đó, bạn có thể sử dụng các phương thức không có đối số, ghi lại các tham số bằng các khối doc:

<?php

class Foo
{
    /**
     * @param string $world
     */
    public function hello()
    {
        list($world) = func_get_args();

        echo "Hello, {$world}\n";
    }
}

class Bar extends Foo
{
    /**
     * @param string $greeting
     * @param string $world
     */
    public function hello()
    {
        list($greeting, $world) = func_get_args();

        echo "{$greeting}, {$world}\n";
    }
}

$foo = new Foo();
$foo->hello('World');

$bar = new Bar();
$bar->hello('Bonjour', 'World');

Tôi sẽ không nói rằng tôi nghĩ rằng đây là một ý tưởng tốt.

Vấn đề của bạn là, bạn có một bối cảnh với số lượng thành viên thay đổi - thay vì cố gắng ép buộc những người đó làm đối số, một ý tưởng tốt hơn và có tính tương lai hơn là giới thiệu một loại ngữ cảnh để mang tất cả các đối số có thể, để đối số danh sách không bao giờ cần thay đổi.

Thích như vậy:

<?php

class HelloContext
{
    /** @var string */
    public $greeting;

    /** @var string */
    public $world;

    public static function create($world)
    {
        $context = new self;

        $context->world = $world;

        return $context;
    }

    public static function createWithGreeting($greeting, $world)
    {
        $context = new self;

        $context->greeting = $greeting;
        $context->world = $world;

        return $context;
    }
}

class Foo
{
    public function hello(HelloContext $context)
    {
        echo "Hello, {$context->world}\n";
    }
}

class Bar extends Foo
{
    public function hello(HelloContext $context)
    {
        echo "{$context->greeting}, {$context->world}\n";
    }
}

$foo = new Foo();
$foo->hello(HelloContext::create('World'));

$bar = new Bar();
$bar->hello(HelloContext::createWithGreeting('Bonjour', 'World'));

Tất nhiên, các phương thức nhà máy tĩnh là tùy chọn - nhưng có thể hữu ích, nếu chỉ một số kết hợp cụ thể của các thành viên tạo ra một bối cảnh có ý nghĩa. Nếu vậy, bạn cũng có thể muốn tuyên bố __construct()là được bảo vệ / riêng tư.