1. 什么是異常蕊蝗?什么時(shí)候會(huì)拋出異常?什么時(shí)候需要代碼異常安全的保證赖舟?為什么需要異常安全蓬戚?異常的產(chǎn)生、捕捉宾抓、處理子漩、傳遞?
給出沒有異常安全保證的代碼的實(shí)例與分析
C++ 標(biāo)準(zhǔn)的異常
C++ 提供了一系列標(biāo)準(zhǔn)的異常石洗,定義在 <exception> 中幢泼,我們可以在程序中使用這些標(biāo)準(zhǔn)的異常。它們是以父子類層次結(jié)構(gòu)組織起來的讲衫,如下所示:
std::exception 該異常是所有標(biāo)準(zhǔn) C++ 異常的父類缕棵。
std::bad_alloc 該異常可以通過 new 拋出涉兽。
std::bad_cast 該異痴新浚可以通過 dynamic_cast 拋出。
std::bad_exception 這在處理 C++ 程序中無法預(yù)期的異常時(shí)非常有用枷畏。
std::bad_typeid 該異潮鹄澹可以通過 typeid 拋出。
std::logic_error 理論上可以通過讀取代碼來檢測到的異常拥诡。
std::domain_error 當(dāng)使用了一個(gè)無效的數(shù)學(xué)域時(shí)触趴,會(huì)拋出該異常。
std::invalid_argument 當(dāng)使用了無效的參數(shù)時(shí)渴肉,會(huì)拋出該異常冗懦。
std::length_error 當(dāng)創(chuàng)建了太長的 std::string 時(shí),會(huì)拋出該異常仇祭。
std::out_of_range 該異撑可以通過方法拋出,例如 std::vector 和 std::bitset<>::operator。
std::runtime_error 理論上不可以通過讀取代碼來檢測到的異常嚣艇。
std::overflow_error 當(dāng)發(fā)生數(shù)學(xué)上溢時(shí)承冰,會(huì)拋出該異常。
std::range_error 當(dāng)嘗試存儲(chǔ)超出范圍的值時(shí)食零,會(huì)拋出該異常困乒。
std::underflow_error 當(dāng)發(fā)生數(shù)學(xué)下溢時(shí),會(huì)拋出該異常贰谣。
2. 什么是異常安全娜搂?異常安全的等級(jí)有哪些?
一段代碼是異常安全的吱抚,如果這段代碼運(yùn)行時(shí)的失敗不會(huì)產(chǎn)生有害后果百宇,如內(nèi)存泄露、存儲(chǔ)數(shù)據(jù)混淆秘豹、或無效的輸出携御。
異常中立性
是指當(dāng)你的代碼(包括你調(diào)用的代碼)引發(fā)異常時(shí),這個(gè)異常能保持原樣傳遞到外層調(diào)用代碼
異常安全性
- 拋出異常后既绕,資源不泄露
- 拋出異常后啄刹,不會(huì)使原有數(shù)據(jù)惡化(例如正常指針變野指針)
異常安全等級(jí)
不拋異常保證(no throw guarantee) > 強(qiáng)烈保證(the strong guarantee) > 基本保證(the basic guarantee)> 無泄漏保證(no-leak guarantee) > 異常不安全(no exception safety)
3. 如何保證代碼實(shí)現(xiàn)(設(shè)計(jì))符合某個(gè)異常安全等級(jí)?
不拋出保證 只使用內(nèi)置類型凄贩,使用noexcept關(guān)鍵字
強(qiáng)烈保證 copy-and-swap
基本保證 RAII 智能指針
4. 異常安全的低層實(shí)現(xiàn)原理與開銷計(jì)算誓军?
棧回退(未完待續(xù))