對于PHP程序員來說，如何提高代碼的可靠性是一個非常重要的問題。使用assert()函數是一種較為常見的方法，而assertrue擴展庫可以讓我們更加便捷地使用assert()函數。

assert()函數可以用來檢查代碼中的邏輯是否正確。例如，在處理訂單的代碼中，我們希望檢查訂單號是否為空，可以這樣寫：

$order_id = get_order_id();
assert(!empty($order_id), "訂單號不能為空");

當訂單號為空時，代碼會中止執行并輸出一個錯誤信息。這樣可以讓我們及時發現代碼中的問題。

然而，在基于assert()函數的檢查中，一個很大的問題是，當代碼中出現問題時，致使代碼中止執行，我們就無法看到變量的值，也無法通過日志等方式記錄下來錯誤信息。而assertrue庫則提供了更加靈活方便的檢查方式。

使用assertrue的方式非常簡單。我們只需要在終端中輸入以下命令：

pecl install ast

然后在PHP代碼中使用assertrue_check()函數，如下所示：

// 檢查訂單號是否為空
assertrue_check(!empty($order_id), "訂單號不能為空");

和assert()函數一樣，當條件不成立時，代碼會中止執行，并輸出錯誤信息。但是，不同的是，assertrue_check()函數會把錯誤信息放到一個數組中，而不是輸出到標準輸出流中：

// 檢查訂單號是否為空
$errors = [];
assertrue_check(!empty($order_id), "訂單號不能為空", $errors);
// 如果有錯誤
if (!empty($errors)) {
// 記錄錯誤信息
revord_error(implode("|", $errors));
}

這樣就可以同時進行多個檢查了。例如，在處理訂單的代碼中，我們還需要檢查訂單金額是否為正數、商品總價是否等于各商品單價之和等等，可以這樣寫：

$errors = [];
assertrue_check(!empty($order_id), "訂單號不能為空", $errors);
assertrue_check($order_price >0, "訂單金額不合法", $errors);
assertrue_check(abs($goods_price - array_sum($goods_unit_price))< EPSILON, "商品價格有誤", $errors);
if (!empty($errors)) {
report_error(implode("|", $errors));
}

在這個例子中，我們還使用了一個EPSILON常量來幫助我們判斷兩個浮點數是否相等。由于浮點數在計算機中的表示是有限的，因此兩個在業務上相等的浮點數，在計算機中可能存在細微的差異。

使用assertrue可以幫助我們提高代碼的可靠性和可維護性。不過，應當注意，就像其他一切工具一樣，assertrue并不是萬能的。對于一些復雜的邏輯，可能需要使用其他更加高級的工具來進行檢查。