Rust debug_assert用法及代碼示例

用法

macro_rules! debug_assert {
    ($($arg : tt) *) => { ... };
}

在運行時斷言布爾表達式是true。

如果在運行時無法將提供的表達式計算為 true，這將調用 panic! 宏。

與 assert! 一樣，此宏也有第二個版本，可以提供自定義緊急消息。

用途

與 assert! 不同，默認情況下 debug_assert! 語句僅在非優化構建中啟用。除非將 -C debug-assertions 傳遞給編譯器，否則優化的構建將不會執行 debug_assert! 語句。這使得debug_assert! 對於那些成本太高而無法在發布版本中出現但在開發過程中可能會有所幫助的檢查很有用。擴展debug_assert! 的結果總是類型檢查。

未經檢查的斷言允許處於不一致狀態的程序繼續運行，這可能會產生意想不到的後果，但不會引入不安全性，隻要這僅發生在安全代碼中即可。然而，斷言的性能成本通常是不可測量的。因此，僅在徹底分析後才鼓勵將 assert! 替換為 debug_assert!，更重要的是，僅在安全代碼中！

例子

// the panic message for these assertions is the stringified value of the
// expression given.
debug_assert!(true);

fn some_expensive_computation() -> bool { true } // a very simple function
debug_assert!(some_expensive_computation());

// assert with a custom message
let x = true;
debug_assert!(x, "x wasn't true!");

let a = 3; let b = 27;
debug_assert!(a + b == 30, "a = {}, b = {}", a, b);