PHP 中的断言常用于调试，检查一个表达式或语句是否为 FALSE。本文带你重新认识 PHP assert() 函数的神(Qi)通(Yin)广(Ji)大(Qiao)。

本文基于 PHP Version 7.1.28

什么是断言

编写程序时，常会做出一定的假设，那断言就是用来捕获假设的异常，我们也可以认为断言是异常的一种特殊形式。

断言一般用于程序执行结构的判断，不可让断言处理业务流程。用的最多的场景就是单元测试，一般的单元测试框架都采用了断言。

assert(1 == 2);  // 运行结果: // Warning: assert(): assert(1 == 2) failed in /Users/shocker/Desktop/demo.php on line 25

PHP 中的断言

在 PHP 中，采用 assert() 函数对表达式进行断言。

// PHP 5 assert ( mixed $assertion [, string $description ] ) : bool  // PHP 7 assert ( mixed $assertion [, Throwable $exception ] ) : bool

传统的断言方式 (PHP 5 & 7)

参数 assertion 既支持表达式，也支持表达式字符串（某些特定的场景会用到，比如判断某个字符串表达式是否合法）

如果 assertion 是字符串，它将会被 assert() 当做 PHP 代码来执行。assertion 是字符串的优势是当禁用断言时它的开销会更小，并且在断言失败时消息会包含 assertion 表达式。

断言这个功能应该只被用来调试。你应该用于完整性检查时测试条件是否始终应该为 TRUE，来指示某些程序错误，或者检查具体功能的存在（类似扩展函数或特定的系统限制和功能）。

断言不应该用于普通运行时操作，类似输入参数的检查。作为一个经验法则，在断言禁用时你的代码也应该能够正确地运行。

使用示例:

function my_assert_handler($file, $line, $code, $desc) {     echo "Assertion Failed:     File '{$file}'     Line '{$line}'     Code '{$code}'     Desc '{$desc}' "; }  // 设置回调函数 assert_options(ASSERT_CALLBACK, 'my_assert_handler');  // 让一则断言失败 assert('1 == 2', '1 不可能等于 2');

运行结果:

Assertion Failed:     File '/Users/shocker/Desktop/demo.php'     Line '29'     Code '1 == 2'     Desc '1 不可能等于 2'

支持异常的断言 (仅 PHP 7)

在 PHP 7 中，assert() 是一个语言结构，允许在不同环境中生效不同的措施，具体可见 zend.assertions 配置。

另外，还支持通过 AssertionError 捕获错误。

使用示例:

assert_options(ASSERT_EXCEPTION, 1); // 在断言失败时产生异常  try {     // 用 AssertionError 异常替代普通字符串     assert(true == false, new AssertionError('True is not false!')); } catch (Throwable $e) {     echo $e->getMessage(); }

运行结果:

True is not 

                    

                        
关键字：