這是在PHP中實現「按合同設計」模式的正確方法嗎？

Question

我發現了「按合同設計」模式以及如何在PHP中實現。我找不到如何在PHP中執行此操作的真實世界示例。 第一個問題是我在正確的方式嗎？ 第二個是爲什麼assert回調沒有兌現？

可重複使用的斷言靜態類Asserts：

class Asserts 
{ 
    public static function absentOrNotNumeric($value) 
    { 
     return !isset($value) ? true : is_numeric($value); 
    } 
} 

用法：

assert_options(ASSERT_ACTIVE, true); 
assert_options(ASSERT_BAIL,  true); 
assert_options(ASSERT_WARNING, true); 
assert_options(ASSERT_CALLBACK, array('UseAsserts', 'onAssertFailure')); 

class UseAsserts 
{ 
    private $value; 

    public function __construct($value) 
    { 
     // Single quotes are needed otherwise you'll get a 
     // Parse error: syntax error, unexpected T_STRING 
     assert('Asserts::absentOrNotNumeric($value)'); 
     $this->value = $value; 
    } 

    public static function onAssertFailure($file, $line, $message) 
    { 
     throw new Exception($message); 
    } 
} 

// This will trigger a warning and stops execution, but Exception is not thrown 
$fail = new UseAsserts('Should fail.'); 

只（右）警告被觸發：

警告：斷言（）函數.assert]：聲明 「Asserts :: absetOrNotNumeric（$ value）」失敗。

Answer 1

你的異常被拋出，它改變到：

public static function onAssertFailure($file, $line, $message) 
{ 
    echo "<hr>Assertion Failed: 
    File '$file'<br /> 
    Line '$line'<br /> 
    Code '$code'<br /><hr />"; 
} 

結果在文本顯示中，一些測試發現如果你改變了r此選項

assert_options(ASSERT_BAIL,  false); 

該異常將被拋出，所以它似乎在拋出異常之前執行保留。

希望能幫到

Answer 2

您的代碼：http://codepad.org/y10BlV8m

我的代碼：http://codepad.org/slSX3HKd

嘗試使用雙引號：assert("Asserts::absentOrNotNumeric($value)");