php 函数实现覆盖不可为空的参数

Question

我今天使用 PHP（至少 7.1 和 7.2）遇到了这个问题，代码如下：

namespace PlaceHolderX\Tests\PHPUnit\Unit;

use PHPUnit\Framework\TestCase;

final class BreakingClassesTest extends TestCase
{

    public function testBreak(): void
    {
        $tester = new SomeClassA();
        $tester->test();
        $this->assertNull($tester->get());
    }

}

interface InterfaceA {

    public function test(string $testString): void;

}

class SomeClassA implements InterfaceA
{
    /** @var null|string */
    private $testString;

    public function test(string $testString = null): void
    {
        $this->testString = $testString;
    }

    public function get(): ?string
    {
        return $this->testString;
    }
}

所以我有一个接口 (InterfaceA)，它有一个需要字符串的方法。此参数不可为空，因为如果我想将其指定为：

public function test(?string $testString): void;

但是在实现类 (SomeClassA) 中，我可以使用默认值 null 覆盖参数定义，这会导致我的接口不打算出现的行为。

所以我的主要问题是：为什么会这样？当然，我们需要在代码审查中检查这一点，但很容易错过。

我尝试搜索导致此行为的原因，但无法找到解释。也许我的搜索条件已关闭。

Answer 1

在 PHP7.2 中实现了参数类型扩展。这是某种逆方差。遗憾的是，PHP 目前不支持参数的反方差，但草案中也有 rfc 来支持这一点。

主要思想是：如果你有一个子类，你可以在子类中使用“更宽”的参数类型。对于返回类型，相反是有效的（协方差）。

这是一个好还是坏的做法，取决于您的需求。据我所知，其他语言的行为方式相同。

为了进一步阅读，有两个 rfc：

• 参数类型扩展：https://wiki.php.net/rfc/parameter-no-type-variance

• 协变返回和逆变参数（草案）https://wiki.php.net/rfc/covariant-returns-and-contravariant-parameters

Answer 2

超类应该可以被它的子类替换。所以子类必须能够做超类所做的一切，但它还可以做得更多。

在您的示例中，超类/接口不知道如何处理 null。但是子类可以，这很好，因为超类的用户只会传递非空值，因为他们认为超类合同有效。

Answer 3

只要类型匹配，PHP 就允许您在实现中设置或修改默认值。需要注意的是，所有提示类型都允许 null 作为默认值。

如果有人对此找到具体解释，那么我可以更新这个答案，但在 7.1 之前，声明可选参数的唯一方法是分配默认值 null。 ?string 语法不存在，因此此行为可能源于此，并且仍然存在以实现向后兼容性。

如果您尝试设置一个默认值，比如一个整数，您将看到一条错误消息，显示：

Fatal error: Default value for parameters with a string type can only be string or NULL

截至目前，确保实现的默认值与可空或不可空的接口声明相匹配似乎是开发人员的责任。