PHP 7.4允許從 __toString() 丟擲異常

2020-07-16 10:06:12
PHP 7.4允許從__toString() 丟擲異常(Allow Exceptions from __toString())

介紹

目前禁止從__toString()丟擲異常,並將導致致命錯誤。這就使得呼叫任意程式碼變得很危險,並使其成為一個有問題的通用API。此RFC旨在取消此限制。

當前行為的基本原理是,在整個引擎和標準庫的許多地方都執行了字串轉換,並不是所有地方都準備「正確地」處理異常,即儘可能早地處理異常。

從技術角度來看,這種限制最終是無效的,因為字串轉換期間的異常仍然可以由將可恢復錯誤轉換為異常的錯誤處理程式觸發:

set_error_handler(function() {
    throw new Exception();
});
 
try {
    (string) new stdClass;
} catch (Exception $e) {
    echo "(string) threw an exception...n";
}

事實上,Symfony利用這個漏洞來繞過當前的限制。不幸的是,這依賴於$errcontext引數,它在PHP 8中消失了.

儘管如此,在我們對該程式碼庫中的字串轉換進行了全面稽核之前,過去關於該主題的討論一直沒有放鬆這種限制。這已在附加的實現請求中完成。

建議

允許從__toString()丟擲異常,它的行為與往常一樣。不再觸發致命錯誤。

另外,將「不能轉換為字串」和「__toString()必須返回一個字串值」可恢復的致命錯誤轉換為正確的錯誤異常,這與PHP 7中建立的錯誤策略一致。

擴充套件準則

想要優雅地處理來自字串轉換的異常的擴充套件作者,應該考慮以下準則:

● 如果zval_get_string()、convert_to_string()和friends生成一個異常,它們仍然會生成一個字串。這個字串被保證是暫存的。這意味著沒有必要釋放它,但可以這樣做。在上下文中,您可以選擇更方便的選項。

● 如果從物件到字串的轉換失敗,則字串轉換的結果將為空字串,如果將陣列轉換為字串,並且錯誤處理程式將結果通知提升為異常,則為「Array」。(這種行為和以前一樣。)

● 通常情況下,使用通常的if (EG(exception))檢查來檢查是否丟擲了異常就足夠了:

zend_string *str = zval_get_string(val);
if (EG(exception)) {
    // Possibly free other resources here.
    return;
}

除此之外,還提供了一些幫助api,將轉換建模為容易出錯的操作:

// Like zval_get_string() but returns NULL on conversion failure.
zend_string *str = zval_try_get_string(val);
if (!str) {
    // Possibly free other resources here.
    return;
}
// Main code.
zend_string_release(str);
 
 
// Like zval_get_tmp_string() but returns NULL on conversion failure.
zend_string *tmp, *str = zval_try_get_tmp_string(val, &tmp);
if (!str) {
    // Possibly free other resources here.
    return;
}
// Main code.
zend_tmp_string_release(tmp);
 
 
// Like convert_to_string() but returns a boolean indicating conversion success/failure.
if (!try_convert_to_string(val)) {
    // Possibly free other resources here.
    return;
}
// Main code.

如果轉換失敗,try_convert_to_string()將不會修改原始值。因此,使用它比使用convert_to_string()和異常檢查更安全。

雖然檢查每一個字串轉換肯定會使您處於安全的一方,但忽略這些檢查通常只會導致一些不必要的計算和可能的冗餘警告。您應該注意的主要事情是修改持久結構(如資料庫)的操作。

不向後相容的變更

從可恢復的致命錯誤到錯誤異常的轉換在技術上是BC中斷的。

翻譯:https://wiki.php.net/rfc/tostring_exceptions

以上就是PHP 7.4允許從 __toString() 丟擲異常的詳細內容,更多請關注TW511.COM其它相關文章!