學(xué)習(xí)Rust最好的方法，就是和其他主流語(yǔ)言，比如Java、Python進(jìn)行對(duì)比學(xué)習(xí)。不然怎么能get到它的特別呢？

1. 主流模式：try-catch-finally

基本上，當(dāng)你學(xué)會(huì)了某種語(yǔ)言的try/catch，對(duì)這套機(jī)制的理解就能夠遷移到其他語(yǔ)言上了。除了C++沒有finally關(guān)鍵字外，像C#、Python、Java都有基本一致的異常處理邏輯：

• 用try塊包住可能會(huì)出現(xiàn)的異常；
• 用catch將之捕獲；
• finally塊統(tǒng)一處理資源的清理；

// Java ? try{ ? }catch(FileNotFoundException f){ ? }catch(IOException i){ ? }finally{ ? }

對(duì)于自定義的函數(shù)，我們可以throw異常。

// Javaimport java.io.*; public class ClassName {public void deposit(double amount) throws RemoteException{// Method implementationthrow new RemoteException();}//Remainder of class definition }

在這種異常處理系統(tǒng)中，對(duì)異常的定義是比較寬泛的：意料之外，情理之中。正是“異常”在語(yǔ)義上的模糊性，才產(chǎn)生了很多最佳實(shí)踐來(lái)指導(dǎo)異常的使用。從“正常到異常的程度”上，大致上可以歸為4類：

0 正常：不要用異常來(lái)進(jìn)行流程控制，異常只用來(lái)處理“意外”。

這條教導(dǎo)告訴我們，如果分不清“異常”，那么至少在“正常”的、沒有意外的流程里，絕對(duì)不要用“異常機(jī)制來(lái)代替”。否則，代碼可讀性、可維護(hù)性將是災(zāi)難。

1 人造語(yǔ)義異常：如果主流程中存在一個(gè)連續(xù)的“闖關(guān)”pipeline（一組按順序的調(diào)用，成功執(zhí)行才能執(zhí)行下一個(gè)，否則都算失敗），那么可以使用try塊來(lái)集中放置主流程代碼，catch塊來(lái)集中處理失敗情況，避免if-else箭頭形代碼。

try {getSomeThing_1();getSomeThing_2();getSomeThing_3(); catch(Exception e) {// deal with it }

這個(gè)技巧，和0 正常容易產(chǎn)生沖突，因?yàn)樗坪跤辛鞒炭刂频南右伞５欠彩露加欣狻＿@里的“意外”可以理解成一種語(yǔ)義上的“軟意外”——即不能出錯(cuò)，區(qū)別于非法字符、找不到文件、連接不上等”硬意外“。

2 情理中的意外，可恢復(fù)。

前面提到的非法字符、找不到文件、連接不上，基本是公認(rèn)的“意外”情況，基本都使用拋出異常的方式，但是這種情況，通常都會(huì)進(jìn)行捕獲，并進(jìn)行恢復(fù)。

3 無(wú)法意料的致命意外，不可恢復(fù)。

通常這種情況是，程序自身已經(jīng)沒有修復(fù)的空間，程序會(huì)中止：

• Bug：邏輯錯(cuò)誤導(dǎo)致的溢出、除0；
• 致命錯(cuò)誤：比如Java的JVM產(chǎn)生的Error；

2. Rust的Panic！

Rust里沒有異常。

但如果非要和異常機(jī)制進(jìn)行映射，Rust可以說(shuō)做的相當(dāng)決絕、非黑即白。

0 正常，以返回值的形式。

相當(dāng)于壓縮了上一節(jié)中的0、1、2項(xiàng)。沒有什么情理中的意外，網(wǎng)絡(luò)連不上、文件找不到、非法輸入，統(tǒng)統(tǒng)都用返回值的方式。

1 致命錯(cuò)誤，不可恢復(fù)，非崩不可。

一旦存在不可恢復(fù)的錯(cuò)誤，Rust使用Panic！宏來(lái)終止程序（線程）。一旦Panic！宏出手，基本沒得救（panic::catch_unwind是個(gè)例外，稍后說(shuō)）。執(zhí)行時(shí)默認(rèn)會(huì)進(jìn)行stack unwind（棧反解），一層層上去，直到線程的頂端。

有些情況Panic！是你的程序所依賴的庫(kù)產(chǎn)生的，比如數(shù)組越界訪問(wèn)時(shí)的實(shí)現(xiàn)。

另一種情況，是你自己的程序邏輯判斷產(chǎn)生了不可恢復(fù)的錯(cuò)誤，可以手動(dòng)觸發(fā)Panic！宏來(lái)終止程序。Panic！的使用與throw很類似。

我寫了一個(gè)小例子：打開一個(gè)文本文件，在寫入之前，把它刪掉，不僅沒有收到Panic！，返回值錯(cuò)誤也沒有，居然寫成功了。看來(lái)，這在Rust都不算事兒。著實(shí)讓我驚訝了一小會(huì)兒。

use std::io::prelude::*; use std::thread; use std::time; use std::fs::OpenOptions; ? fn main() -> std::io::Result<()> {let mut f = OpenOptions::new().write(true).open("hello.txt")?;print!("{:?} n", f); ?// on the moment, manually remove the file hello.txtlet ten_millis = time::Duration::from_millis(10000);thread::sleep(ten_millis); ?print!("{:?} n", f);let r = f.write_all(b"Hello, world!")?;print!("Result is {:?} n", r); ?drop(f); ?Ok(()) }

輸出如下：

看File結(jié)構(gòu)，同一個(gè)句柄handle，但是path前后卻發(fā)生了變化，文件都進(jìn)回收站了，照樣寫你！

3. Rust的返回值Result

前面提到了，對(duì)于可恢復(fù)的錯(cuò)誤，Rust一律使用返回值來(lái)進(jìn)行檢查，而且提倡采用內(nèi)置枚舉Result，還在實(shí)踐層面給了一定的約束：對(duì)于返回值為Result類型的函數(shù)，調(diào)用方如果沒有進(jìn)行接收，編譯期會(huì)產(chǎn)生警告。很多庫(kù)函數(shù)都通過(guò)Result來(lái)告知調(diào)用方執(zhí)行結(jié)果，讓調(diào)用方來(lái)決定是否嚴(yán)重到了使用Panic！的程度。

Result枚舉的泛型定義如下：

enum Result<T, E>{Ok(T),Err(E), }

在Rust標(biāo)準(zhǔn)庫(kù)中，可以找到許多以Result命名的類型，它們通常是Result泛型的特定版本，比如File::open的返回值就是把T替換成了std::fs::File，把E替換成了std::io::Error。

枚舉可以攜帶某個(gè)類型的數(shù)據(jù)，是Rust非常與眾不同的特性。

在上面的例子中，可能會(huì)有個(gè)疑問(wèn)：并沒有看到對(duì)Result的檢查？

仔細(xì)看下，機(jī)關(guān)就在于最后的那個(gè)"?"

let mut f = OpenOptions::new().write(true).open("hello.txt")?;

或許是Rust對(duì)于“需要大量的返回值檢查”的介意，于是有了“?”快捷運(yùn)算符。

它可以避免模板代碼。上面1行頂下面4行：

let f = OpenOptions::new().write(true).open("hello.txt"); let mut f = match f{Ok(file) => file,Err(e) => return Err(e), };

4. panic::catch_unwind

最后，再來(lái)說(shuō)個(gè)例外，panic::catch_unwind。

先看下它的用法：

use std::panic; ? let result = panic::catch_unwind(|| {println!("hello!"); }); assert!(result.is_ok()); ? let result = panic::catch_unwind(|| {panic!("oh no!"); }); assert!(result.is_err());

沒錯(cuò)，它的行為幾乎就是try/catch了：panic！宏被捕獲了，程序并也沒有掛，返回了Err。盡管如此，Rust的目的并不是讓它成為try/catch機(jī)制的實(shí)現(xiàn)，而是當(dāng)Rust和其他編程語(yǔ)言互動(dòng)時(shí)，避免其他語(yǔ)言代碼塊throw出異常。所以呢，錯(cuò)誤處理的正道還是用Result。

從catch_unwind的名字上，需要留意下unwind這個(gè)限定詞，它意味著只有默認(rèn)進(jìn)行棧反解的panic可以被捕獲到，如果是設(shè)為直接終止程序的panic，就逮不住了。

細(xì)節(jié)可進(jìn)一步參考Rust Documentation。

總結(jié)

以上是生活随笔為你收集整理的c# 溢出抛异常_Rust竟然没有异常处理？的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問(wèn)題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。