錯誤處理是Rust確定出錯的可能性並確認在程式碼進行編譯之前採取某些操作的機制。
此機制使程式更加健壯,因為能夠在部署生產程式碼之前發現並處理錯誤。
Rust程式設計語言不包含異常。
Rust中有兩種型別的錯誤:
Result <T,E>
表示。 可恢復錯誤的範例是「找不到檔案」。T&E
是通用引數。T->
這是一種值,在成功的情況下返回一個’OK’變數。E->
這是一種錯誤型別,在具有Err
變體的故障情況下返回。!
巨集停止執行程式。例如:「除以零」是不可恢復錯誤的範例。可恢復錯誤是可以某種方式恢復的錯誤,而不可恢復錯誤是無法以任何方式恢復的錯誤。
下面來看一下預期行為的情景:
"100".parse();
在上述情況下,"100"
是一個字串,因此不確定上述情況是否有效,這是預期的行為。 因此,它是一個可恢復的錯誤。
意外的行為
assert! :當想要宣告它是真時使用。 如果它不正確和錯誤,則程式停止執行。
下面來看一個簡單的例子:
fn main()
{
let x : bool = false;
assert!(x==true);
}
執行上面範例程式碼,得到以下結果:
在上面的例子中,x
的值為false
,assert!
斷言中的條件為假。 因此,在執行時assert!
呼叫panic!
。
unreachable! :它用於無法存取的程式碼。 此巨集很有用,因為編譯器無法確定無法存取的程式碼。 在執行時由 unreachable! 執行。
下面來看一個簡單的例子:
enum Value
{
Val,
}
fn get_number(_:Value)->i32
{
5
}
fn find_number(val:Value)-> &'static str
{
match get_number(val)
{
7 => "seven",
8=> "eight",
_=> unreachable!()
}
}
fn main()
{
println!("{}", find_number(Value::Val));
}
執行上面範例程式碼,得到以下結果 -
在上面的範例中,get_number()
函式返回的值為5
,它與每個模式匹配,但不與任何模式匹配。 因此,unreachable!
巨集呼叫panic!
巨集 。