断言 PHP 8.1 - PHP

断言是一种用于验证代码中假设条件的技术。在 PHP 中，断言可用于对函数和方法的输入和输出进行验证，以帮助开发人员在代码运行期间快速发现问题。在 PHP 8.1 中，断言功能有了一些新的改进和增强。

断言的语法和用法

PHP 中的断言通过 assert() 函数来实现。它接受一个布尔表达式作为参数，并在表达式为 false 时触发断言。

$foo = 1;
assert($foo === 2);

在上面的示例中，断言将会触发，因为 $foo 的值实际上不等于 2。在实际使用中，开发人员可以在函数和方法中添加断言来验证输入和输出值。例如：

function divide($a, $b) {
    assert(is_numeric($a));
    assert(is_numeric($b));
    assert($b !== 0);

    return $a / $b;
}

在上面的例子中，如果函数的输入不是数字，或者除数为零，断言将会触发。

PHP 8.1 中的断言改进

在 PHP 8.1 中，断言功能得到了一些新的改进和增强。以下是其中一些重要的变化。

断言的可禁用性

在以前的版本中，无论如何，断言都会在代码执行期间进行验证。这可能会导致一些性能问题，或者在某些情况下让代码变得不可用。在 PHP 8.1 中，开发人员可以通过 zend.assertions 配置选项来控制断言的行为。

zend.assertions = 1

默认情况下，选项的值为 1，表示对所有断言进行验证。当设置值为 0 时，将禁用所有断言。开发人员还可以通过将值设置为 2 来启用调试断言，以便在调试期间提供更多信息。

局部限制

PHP 8.1 中引入了一些新的函数和语法，允许开发人员对断言进行局部限制。例如：

function divide($a, $b) {
    assert(is_numeric($a)) : '$a must be numeric';
    assert(is_numeric($b)) : '$b must be numeric';
    assert($b !== 0) : 'Division by zero';

    return $a / $b;
}

在上面的例子中，断言将会向开发人员提供更具体的错误信息，以帮助他们更好地理解问题。

申明断言返回值

在 PHP 8.1 中，开发人员现在可以使用 assert() 函数的返回值来对代码进行更多的验证。例如：

$result = assert($foo === 2);
assert($result === false);

在上面的例子中，第一次调用 assert() 将返回 false，因为 $foo 的值实际上不等于 2。第二次调用 assert() 将会验证这一点，并发现第一次调用中发生了断言。

总结

断言是一种非常有用的技术，可以帮助开发人员在代码运行期间快速发现问题。在 PHP 8.1 中，断言功能得到了一些新的改进和增强，使其更加灵活和易于使用。开发人员应该始终将断言视为他们代码中重要的一部分，并根据需要进行必要的修改。