你所不知的 PHP 斷言(assert)

Pines_Cheng 發布于2019-07-01 12:51 / 739人閱讀

摘要：中的斷言常用于調試，檢查一個表達式或語句是否為。用的最多的場景就是單元測試，一般的單元測試框架都采用了斷言。運行結果中的斷言在中，采用函數對表達式進行斷言。單元測試測試不通過測試不通過是不是跟我們用寫單元測試很像

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 false!

對斷言行為進行控制

PHP 支持 assert_options() 函數對斷言進行配置，也可用 ini 進行設置

以下配置中，常量標志用于 assert_options() 函數進行配置，ini 設置用于 ini_set() 函數設置，效果一樣

標志	INI 設置	默認值	描述
ASSERT_ACTIVE	assert.active	"1"	啟用 assert() 斷言
ASSERT_WARNING	assert.warning	"1"	為每個失敗的斷言產生一個 PHP 警告（warning）
ASSERT_BAIL	assert.bail	"0"	在斷言失敗時中止執行
ASSERT_QUIET_EVAL	assert.quiet_eval	"0"	在斷言表達式求值時禁用 error_reporting
ASSERT_CALLBACK	assert.callback	NULL	斷言失敗時調用該回調函數
ASSERT_EXCEPTION	assert.exception	"0"	在斷言失敗時產生 AssertionError 異常（自 PHP 7.0.0 起有效）

zend.assertions 是個特殊的配置（PHP >= 7.0.0 支持），控制不同運行環境下斷言的行為，僅可用 ini_set() 進行設置。并且，設置了1就不能再設置為-1，反之亦然，其他不受限。


1: 編譯代碼，并執行(開發模式)

0: 編輯代碼，但運行時跳過

-1: 不編譯代碼(生產模式)

版本的不兼容

PHP >= 5.4.8，description 可作為第四個參數提供給 ASSERT_CALLBACK 模式里的回調函數

在 PHP 5 中，參數 assertion 必須是可執行的字符串，或者運行結果為布爾值的表達式

在 PHP 7 中，參數 assertion 可以是任意表達式，并用其運算結果作為斷言的依據

在 PHP 7 中，參數 exception 可以是個 Throwable 對象，用于捕獲表達式運行錯誤或斷言結果為失敗。(當然 assert.exception 需開啟)

PHP >= 7.0.0，支持 zend.assertions、assert.exception 相關配置及其特性

PHP >= 7.2 版本開始，參數 assertion 不再支持字符串

詳見 PHP 7.2.x 中廢棄的功能

Deprecated: assert(): Calling assert() with a string argument is deprecated

應用場景 調試輸出

先看示例:

assert("1 == 2", "1 不可能等于 2");

運行結果:

Warning: assert(): 1 不可能等于 2: "1 == 2" failed in /Users/shocker/Desktop/demo.php on line 10

類似于:

$expression = 1 == 2;
if (!($expression)) {
    echo "1 不可能等于 2
";
    var_dump($expression);
    echo __FILE__ . "
";
}

但是，我們無法得知 $expression 的具體表達式，也無法得知具體的執行行數。

單元測試

function arraySum(array $nums) {
    $sum = 0;
    foreach ($nums as $n) {
        $sum += $n;
    }

    return $sum;
}

assert(arraySum([1, 2, 3]) == 6, "arraySum() 測試不通過:");
assert(is_numeric(arraySum([1, 2, 3])), "arraySum() 測試不通過:");

是不是跟我們用 PHPUnit 寫單元測試很像

云服務器 GPU云服務器 python接口測試assert斷言說說你所了解的人工智能不知你所

文章版權歸作者所有，未經允許請勿轉載,若此文章存在違規行為，您可以聯系管理員刪除。

轉載請注明本文地址：http://m.specialneedsforspecialkids.com/yun/31627.html

【modernPHP專題(11)】斷言ASSERT

摘要：可以在任何時候啟用和禁用斷言驗證，因此可以在測試時啟用斷言，而在部署時禁用斷言。會檢查指定的并在結果為時采取適當的行動視而定。中的斷言向后兼用并增強之前的的方法。它使得在生產環境中啟用斷言為零成本，并且提供當斷言失敗時拋出特定異常的能力。簡述編寫代碼時，我們總是會做出一些假設，斷言就是用于在代碼中捕捉這些假設，可以將斷言看作是異常處理的一種高級形式。程序員斷言在程序中的某個特定點該...

WalkerXu 2019-07-01 12:46 評論0 收藏0
16.java異常處理

摘要：不受檢查異常為編譯器不要求強制處理的異常，檢查異常則是編譯器要求必須處置的異常。潛在的異常處理器是異常發生時依次存留在調用棧中的方法的集合。當運行時系統遍歷調用棧而未找到合適的異常處理器，則運行時系統終止。異常處理涉及到五個關鍵字，分別是。概念程序運行時，發生的不被期望的事件，它阻止了程序按照程序員的預期正常執行，這就是異常。異常是程序中的一些錯誤，但并不是所有的錯誤都是異常，并...

asce1885 2019-08-19 11:38 評論0 收藏0
【Node Hero】9. Node.js 單元測試

摘要：基本上，測試金字塔描述你應該編寫單元測試集成測試和端到端測試。集成測試要比端到端測試多，單元測試甚至要更多一些。應用程序單元測試編寫單元測試，是為了看看給定的模塊單元是否工作。本文轉載自：眾成翻譯譯者：網絡埋伏紀事鏈接：http://www.zcfy.cc/article/1754原文：https://blog.risingstack.com/node-hero-node-js-un...

104828720 2019-08-20 19:07 評論0 收藏0
phpunit PHP單元測試的利器

摘要：是的單元測試框架。單元測試在軟件開發中越來越受到重視，測試先行編程極限編程和測試驅動開發在實踐中被廣泛。利用單元測試，也可以實現契約式設計?，F在第二個測試也能通過啦你也可以使用契約式設計的風格，只需使用類提供的靜態斷言方法編寫契約條件。 PHPUnit是PHP的單元測試框架。單元測試在軟件開發中越來越受到重視，測試先行編程、極限編程和測試驅動開發在實踐中被廣泛。利用單元測試，也可以實現...

wyk1184 2019-06-27 10:29 評論0 收藏0
Python中不盡如人意的斷言Assertion

摘要：為何不盡如人意中的斷言用起來非常簡單，你可以在后面跟上任意判斷條件，如果斷言失敗則會拋出異常。中的斷言可讀性很好，而且智能提示也很方便你通過輕松完成各種斷言語句。而且它的斷言信息簡潔明了，不多不少。 Python Assert 為何不盡如人意 Python中的斷言用起來非常簡單，你可以在assert后面跟上任意判斷條件，如果斷言失敗則會拋出異常。 >>> assert 1 + 1 ==...

The question 2019-07-25 10:54 評論0 收藏0