以下是如何使用斷言回呼函式的範例
<?php
assert_options( ASSERT_CALLBACK, 'assert_callback');
function assert_callback( $script, $line, $message ) {
echo '您的腳本 <b>', $script,'</b> 中有設計錯誤:行數 <b>', $line,'</b>:<br />';
echo '<b>', ereg_replace( '^.*//\*', '', $message ), '</b><br /><br />';
echo '請打開原始碼檔案並檢查,因為這不是正常的行為!';
exit;
}
$x = 3;
assert('is_integer( $x ) && ($x >= 0) && ($x <= 10); //* $x 必須是 0 到 10 之間的整數值');
echo "0 <= $x <= 10";
?>
斷言對於「契約式設計」方法論很有用…