php严格错误，包括

Question

如果类位于一个文件中，则看起来不会发生严格的错误，如下所示：

abstract class Food{}

class Meat extends Food{}                    

abstract class Animal{          
    function feed(Food $food){ }
}

class Cat extends Animal{           
    function feed(Meat $meat){
        parent::feed($meat);
    }   
}    

但是，如果您将类定义放在单独的文件中并像这样包含它们：

abstract class Food{}

class Meat extends Food{}                    

require 'Animal.php';
require 'Cat.php';

抛出严格标准错误消息：

严格的标准：Cat:：feed（）的声明应与c:\path\to\Cat中的动物：：feed（Food$Food）兼容。php在线。。。

如果所有内容都在一个文件中，即使这样也可以：

class Dog extends Animal{           
  function feed($qty = 1){ 
    for($i = 0; $i < $qty; $i++){
        $Meat = new Meat();
        parent::feed($Meat);
    }       
  } 
}

这是预期的行为吗？

因为< code >肉是< code >食物，所以一开始就不应该有抱怨，对吗？因此，解决方案是简单明了的:将所有内容放在一个文件中，严格的标准得到满足；)

感谢任何提示

Answer 1

当涉及到类和命名空间时，这是PHP的许多奇怪行为之一。

标准解决方案是创建一个接口（我们将其命名为FoodInterface'）并在基类中实现它。然后使用FoodInterface 作为方法 feed（）'的参数类型：

interface FoodInterface {}

abstract class Food implements FoodInterface {}

class Meat extends Food {}

abstract class Animal {
    function feed(FoodInterface $food) {}
}

class Cat extends Animal {           
    function feed(FoodInterface $meat) {
        parent::feed($meat);
    }
}

FoodInterface接口可以为空，也可以在其中声明需要在Animal:：feed（）中调用的函数。

这样，您就可以用任何实现< code>FoodInterface的对象< code>feed()您的< code >猫(或任何其他< code >动物)，不管它们是否扩展了< code>Food类。只要它们实现了接口，就可以喂给任何< code >动物。

class Toy implements FoodInterface {}

$cat = new Cat();
$cat->feed(new Toy());    // He can't eat it but at least he will have some fun :-)

因为基类是抽象的，所以它可以充当前面提到的接口。忘掉接口，只需使用与Animal:：feed（）相同的参数类型声明Cat:：feet（）。

然后，在< code>Cat::feed()的实现中，您可以使用< code>instanceof来检查接收到的参数类型是否是您想要的类型(< code>Meat):

abstract class Food {}

class Meat extends Food {}

abstract class Animal {
    function feed(Food $food) {}
}

class Cat extends Animal {           
    function feed(Food $meat) {
        if (! $meat instanceof Meat) {
            throw new InvalidArgumentException("Cats don't eat any Food. Meat is required");
        }

        // Here you are sure the type of $meat is Meat
        // and you can safely invoke any method of class Meat
        parent::feed($meat);
    }
}

第一种方法是正确的方法。第二种方法有其自身的优势，我建议仅在第一种方法因某种原因不可能时使用它。

Answer 2

这是预期的行为吗？

不幸的是，是的。类声明的复杂性使得当它们都出现在同一个脚本中时，严格的规则并不总是适用；每个文件一个类不会出现这个问题。

因为肉是一种食物，首先不应该有抱怨，对吗？

错误的原因有两个：

>

肉是比食物更小的类型，因此只允许后代类中的较小类型违反了LSP；您不能用猫代替动物。

在PHP中，参数类型在重载方法时是不变的，即接受的类型必须与父类型完全匹配。虽然可以认为逆变类型是有意义的，但由于技术原因，这是不可能做到的。

因此，解决方案是简单明了的:将所有内容放在一个文件中，严格的标准得到满足；)

不，你绝对不应该依赖这种行为。