从验证到不变性保护机制

xuding 的个人博客 / 0 / 2 / 创建于 3年前 / 更新于 3年前

本文转载自【何以解耦】：codedecoupled.com/invariant.html

在应用程序中，无效状态是造成 Bug 出现的主要原因之一。特别是在像 PHP 这样的动态语言中，应用程序中尤其容易出现无效状态的对象。

举个例子，我们有创建了一个 EmailService 类，它可以发送邮件 EmailService::send()：

class EmailService {
    public function send(string $email)
    {
        // 发送邮件逻辑
    }
}

以上代码有一个很大的隐患，它没有处理 $email 的无效的情况：$email 可能为 null,空或者无效的邮箱格式。

验证

处理类似问题的常见方案是采用验证，我们创建一个 EmailValidator 类：

class EmailValidator {
    public function isValid(string $email)
    {
        // 验证逻辑
    }
}

在使用 $email 之间，我们对其进行验证，比如在 EmailService 中，我们首先验证 $email，只有在它有效的情况下才发送邮件：

class EmailService {
    public function send(string $email)
    {
        if (!$this->emailValidator->isValid($email)){
            return;
        }

        // 发送邮件逻辑
    }
}

以上代码仍然有一个隐患：在代码层面，我们无法保证其他协同开发者会使用 EmailValidator 来验证 $email。不用提其他开发者，可能作者本人在过段时间后也可能疏忽大意。

不变性保护机制

与其在程序运行中对变量进行验证，为什么不在变量创建时保证其状态的有效性？这种模式便是不变性保护机制。

验证是第三方行为，而保护不变性是变量自身的机制。

使用不变性保护机制重构以上代码：

class Email
{
    private string $stringVal;

    public function __construct(string $stringVal)
    {
        if (!$this->isValid($stringVal)) {
            throw new \DomainException('Invalid email address');
        }
        $this->stringVal = $stringVal;
    }

    public function toString()
    {
        return $this->stringVal;
    }

}

class EmailService {
    public function send(Email $email)
    {
        // 发送邮件逻辑
    }
}