Tenham em conta as seguintes definições de classes:
class SuperDate {}
class SubDate extends SuperDate {}
class Foo
{
public function setDate(SubDate $date) {}
}
class Bar extends Foo
{
public function setDate(SuperDate $date){}
}
$foo = new Foo();
$bar = new Bar();
$bar->setDate(new SubDate());
$foo->setDate(new SubDate());
Este código dá o seguinte erro:
Strict standards: Declaration of Bar::setDate() should be compatible with Foo::setDate(SubDate $date)
Obviamente, a causa é o facto da assinatura de Bar::setDate
ser diferente da de Foo:setDate
. No StackOverflow em inglês existe uma pergunta similarNo StackOverflow em inglês existe uma pergunta similar que refere uma violação do Princípio de Substituição de Liskov como causa do "strict warning", mas a situação é ligeiramente diferente porque a subclasse é mais restritiva que a classe mãe.
No entanto, no meu caso, a assinatura em Bar é mais "larga" que em Foo e, por isso, completamente intersubstituivel. Isto é, sendo Bar um subtipo de Foo, então os objetos do tipo Foo podem ser substituídos pelos objetos de tipo Bar sem ser necessário alterar as propriedades do programa.
Por isso, a minha pergunta é: Porque é que este código viola os "Strict Standards"?