Rust中的錯(cuò)誤處理機(jī)制

[TOC]

Rust中的錯(cuò)誤處理機(jī)制

在大多數(shù)現(xiàn)代語(yǔ)言中从诲,都擁有一套完善的錯(cuò)誤處理機(jī)制(error handing)。在一些典型的面向?qū)ο笳Z(yǔ)言,例如 Java 和 Python 中,錯(cuò)誤使用 try…catch 語(yǔ)法進(jìn)行處理,但這種機(jī)制卻存在顯著的問(wèn)題窒悔。

我們此處借用 Golang 的說(shuō)法,Golang 認(rèn)為程序中會(huì)出現(xiàn)兩種錯(cuò)誤:錯(cuò)誤和異常敌买。異常是開(kāi)發(fā)者無(wú)法預(yù)料且超出自己能力范圍的錯(cuò)誤简珠,例如訪問(wèn)數(shù)組越界,一旦出現(xiàn)異常虹钮,這說(shuō)明程序代碼本身的邏輯就是有問(wèn)題的北救。還有一種是錯(cuò)誤荐操,典型的比如建立 TCP 連接失敗,很顯然開(kāi)發(fā)者應(yīng)該能預(yù)料到這種問(wèn)題并且有能力去解決珍策,例如在代碼中加入重試功能托启。錯(cuò)誤是正常的程序邏輯的一部分。

像 Java 和 Python 的問(wèn)題就是沒(méi)有區(qū)分這兩種錯(cuò)誤攘宙,它們統(tǒng)一使用 Exception(異常) 來(lái)表示它們屯耸,這使得程序的控制流顯得特別混亂。

Rust 的錯(cuò)誤處理機(jī)制與 Golang 特別相似蹭劈,它將錯(cuò)誤分為可恢復(fù)錯(cuò)誤和不可恢復(fù)錯(cuò)誤疗绣。如果遇到不可恢復(fù)錯(cuò)誤程序?qū)⒈紳⑼顺觯?而可恢復(fù)錯(cuò)誤則就像一個(gè)正常的函數(shù)返回值一樣。不要誤認(rèn)為程序奔潰是壞事铺韧,事實(shí)上提早崩潰(early crash)是一種被廣泛使用的設(shè)計(jì)方法論多矮。

Rust 有兩種語(yǔ)法來(lái)實(shí)現(xiàn)可恢復(fù)錯(cuò)誤和不可恢復(fù)錯(cuò)誤,它們分別是 Result<T, E>panic!哈打。前者是一個(gè)泛型枚舉塔逃,后者則是一個(gè)宏。


不可恢復(fù)的錯(cuò)誤

使用 panic! 宏是創(chuàng)建不可恢復(fù)的錯(cuò)誤最簡(jiǎn)便的用法:

fn main() {
    panic!("error!");
    println!("here");
}

同時(shí)還有一些常見(jiàn)的宏可導(dǎo)致不可恢復(fù)的錯(cuò)誤

斷言:

assert!(1 == 2);
assert_eq!(1, 2); // 等效于 assert!(1 == 2)

未實(shí)現(xiàn)的代碼:

fn add(a: u32, b: u32) -> u32 {
    unimplemented!()
}

fn main() {
    println!("{}", add(1, 2));
}

不應(yīng)當(dāng)被訪問(wèn)的代碼

程序代碼中存在一些分支料仗,程序的開(kāi)發(fā)這認(rèn)為這些分支永遠(yuǎn)不應(yīng)該被觸發(fā)湾盗,如果觸發(fā)了這些分支,則很可能是上游代碼出現(xiàn)了問(wèn)題:

fn divide_by_three(x: u32) -> u32 { // one of the poorest implementations of x/3
    for i in 0.. {
        if 3*i < i { panic!("u32 overflow"); }
        if x < 3*i { return i-1; }
    }
    unreachable!();
}

可恢復(fù)的錯(cuò)誤

Result<T, E> 是一個(gè)帶泛型的枚舉:

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

Result<T, E> 通常用于函數(shù)的返回值立轧,用以表明該次函數(shù)調(diào)用是成功或失敗格粪。它描述了函數(shù)調(diào)用過(guò)程可能出現(xiàn)的錯(cuò)誤。Result<T, E> 可能有兩種結(jié)果之一:

  • OK(T):成功氛改,并且獲取到 T
  • Err(E):錯(cuò)誤帐萎,并且獲取到錯(cuò)誤描述 E

例子,使用標(biāo)準(zhǔn)庫(kù)打開(kāi)一個(gè)文件:

fn main() {
    match std::fs::read("/tmp/foo") {
        Ok(data) => println!("{:?}", data),
        Err(err) => println!("{:?}", err),
    }
}

自定義錯(cuò)誤與問(wèn)號(hào)表達(dá)式

問(wèn)號(hào)表達(dá)式

許多時(shí)候胜卤,尤其是在我們編寫(xiě)庫(kù)的時(shí)候疆导,不僅僅希望獲取錯(cuò)誤,更希望錯(cuò)誤可以在上下文中的進(jìn)行傳遞瑰艘。有一種簡(jiǎn)便的方式可以傳遞錯(cuò)誤:使用問(wèn)號(hào)表達(dá)式是鬼。當(dāng)函數(shù)的錯(cuò)誤類型與當(dāng)前錯(cuò)誤的類型相同時(shí)肤舞,使用 ? 可以直接將錯(cuò)誤傳遞到函數(shù)外并終止函數(shù)執(zhí)行紫新。

fn foo() -> Result<T, E> {
    let x = bar()?; // bar 的錯(cuò)誤類型需要與 foo 的錯(cuò)誤類型相同
    ...
}

? 的作用是將 Result 枚舉的正常的值直接取出,如果有錯(cuò)誤就將錯(cuò)誤返回出去李剖。

創(chuàng)建自定義的錯(cuò)誤

#[derive(Debug, PartialEq, Clone, Copy, Eq)]
pub enum Error {
    IO(std::io::ErrorKind),
}

impl From<std::io::Error> for Error {
    fn from(error: std::io::Error) -> Self {
        Error::IO(error.kind())
    }
}

fn do_read_file() -> Result<(), Error>{
    let data =  std::fs::read("/tmp/foo")?;
    let data_str = std::str::from_utf8(&data).unwrap();
    println!("{}", data_str);
    Ok(())
}

fn main() {
    do_read_file().unwrap();
}
?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請(qǐng)聯(lián)系作者
  • 序言:七十年代末芒率,一起剝皮案震驚了整個(gè)濱河市,隨后出現(xiàn)的幾起案子篙顺,更是在濱河造成了極大的恐慌偶芍,老刑警劉巖充择,帶你破解...
    沈念sama閱讀 217,826評(píng)論 6 506
  • 序言:濱河連續(xù)發(fā)生了三起死亡事件,死亡現(xiàn)場(chǎng)離奇詭異匪蟀,居然都是意外死亡椎麦,警方通過(guò)查閱死者的電腦和手機(jī),發(fā)現(xiàn)死者居然都...
    沈念sama閱讀 92,968評(píng)論 3 395
  • 文/潘曉璐 我一進(jìn)店門材彪,熙熙樓的掌柜王于貴愁眉苦臉地迎上來(lái)观挎,“玉大人,你說(shuō)我怎么就攤上這事段化∴医荩” “怎么了?”我有些...
    開(kāi)封第一講書(shū)人閱讀 164,234評(píng)論 0 354
  • 文/不壞的土叔 我叫張陵显熏,是天一觀的道長(zhǎng)雄嚣。 經(jīng)常有香客問(wèn)我,道長(zhǎng)喘蟆,這世上最難降的妖魔是什么缓升? 我笑而不...
    開(kāi)封第一講書(shū)人閱讀 58,562評(píng)論 1 293
  • 正文 為了忘掉前任,我火速辦了婚禮履肃,結(jié)果婚禮上仔沿,老公的妹妹穿的比我還像新娘。我一直安慰自己尺棋,他們只是感情好封锉,可當(dāng)我...
    茶點(diǎn)故事閱讀 67,611評(píng)論 6 392
  • 文/花漫 我一把揭開(kāi)白布。 她就那樣靜靜地躺著膘螟,像睡著了一般成福。 火紅的嫁衣襯著肌膚如雪。 梳的紋絲不亂的頭發(fā)上荆残,一...
    開(kāi)封第一講書(shū)人閱讀 51,482評(píng)論 1 302
  • 那天奴艾,我揣著相機(jī)與錄音,去河邊找鬼内斯。 笑死蕴潦,一個(gè)胖子當(dāng)著我的面吹牛,可吹牛的內(nèi)容都是我干的俘闯。 我是一名探鬼主播潭苞,決...
    沈念sama閱讀 40,271評(píng)論 3 418
  • 文/蒼蘭香墨 我猛地睜開(kāi)眼,長(zhǎng)吁一口氣:“原來(lái)是場(chǎng)噩夢(mèng)啊……” “哼真朗!你這毒婦竟也來(lái)了此疹?” 一聲冷哼從身側(cè)響起,我...
    開(kāi)封第一講書(shū)人閱讀 39,166評(píng)論 0 276
  • 序言:老撾萬(wàn)榮一對(duì)情侶失蹤,失蹤者是張志新(化名)和其女友劉穎蝗碎,沒(méi)想到半個(gè)月后湖笨,有當(dāng)?shù)厝嗽跇?shù)林里發(fā)現(xiàn)了一具尸體,經(jīng)...
    沈念sama閱讀 45,608評(píng)論 1 314
  • 正文 獨(dú)居荒郊野嶺守林人離奇死亡蹦骑,尸身上長(zhǎng)有42處帶血的膿包…… 初始之章·張勛 以下內(nèi)容為張勛視角 年9月15日...
    茶點(diǎn)故事閱讀 37,814評(píng)論 3 336
  • 正文 我和宋清朗相戀三年慈省,在試婚紗的時(shí)候發(fā)現(xiàn)自己被綠了。 大學(xué)時(shí)的朋友給我發(fā)了我未婚夫和他白月光在一起吃飯的照片眠菇。...
    茶點(diǎn)故事閱讀 39,926評(píng)論 1 348
  • 序言:一個(gè)原本活蹦亂跳的男人離奇死亡辫呻,死狀恐怖,靈堂內(nèi)的尸體忽然破棺而出琼锋,到底是詐尸還是另有隱情放闺,我是刑警寧澤,帶...
    沈念sama閱讀 35,644評(píng)論 5 346
  • 正文 年R本政府宣布缕坎,位于F島的核電站怖侦,受9級(jí)特大地震影響,放射性物質(zhì)發(fā)生泄漏谜叹。R本人自食惡果不足惜匾寝,卻給世界環(huán)境...
    茶點(diǎn)故事閱讀 41,249評(píng)論 3 329
  • 文/蒙蒙 一、第九天 我趴在偏房一處隱蔽的房頂上張望荷腊。 院中可真熱鬧艳悔,春花似錦、人聲如沸女仰。這莊子的主人今日做“春日...
    開(kāi)封第一講書(shū)人閱讀 31,866評(píng)論 0 22
  • 文/蒼蘭香墨 我抬頭看了看天上的太陽(yáng)疾忍。三九已至乔外,卻和暖如春,著一層夾襖步出監(jiān)牢的瞬間一罩,已是汗流浹背杨幼。 一陣腳步聲響...
    開(kāi)封第一講書(shū)人閱讀 32,991評(píng)論 1 269
  • 我被黑心中介騙來(lái)泰國(guó)打工, 沒(méi)想到剛下飛機(jī)就差點(diǎn)兒被人妖公主榨干…… 1. 我叫王不留聂渊,地道東北人差购。 一個(gè)月前我還...
    沈念sama閱讀 48,063評(píng)論 3 370
  • 正文 我出身青樓,卻偏偏與公主長(zhǎng)得像汉嗽,于是被迫代替她去往敵國(guó)和親欲逃。 傳聞我的和親對(duì)象是個(gè)殘疾皇子,可洞房花燭夜當(dāng)晚...
    茶點(diǎn)故事閱讀 44,871評(píng)論 2 354

推薦閱讀更多精彩內(nèi)容