Rust assert用法及代碼示例

用法

macro_rules! assert {
    ($cond : expr $(,) ?) => { ... };
    ($cond : expr, $($arg : tt) +) => { ... };
}

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

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

用途

斷言總是在調試和發布版本中檢查，並且不能被禁用。請參閱 debug_assert! ，了解默認情況下在發布版本中未啟用的斷言。

不安全的代碼可能依賴 assert! 來強製執行運行時不變量，如果違反這些不變量可能會導致不安全。

assert! 的其他 use-cases 包括在安全代碼中測試和強製執行運行時不變量(其違規不會導致不安全)。

自定義消息

這個宏有第二種形式，可以提供自定義緊急消息，帶或不帶參數用於格式化。有關此表單的語法，請參見 std::fmt 。僅當斷言失敗時才會評估用作格式參數的表達式。

例子

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

fn some_computation() -> bool { true } // a very simple function

assert!(some_computation());

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

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