1、介紹
C++11新標(biāo)準(zhǔn)引入的noexcept運(yùn)算符倔监，可以用于指定某個(gè)函數(shù)不拋出異常直砂。預(yù)先知道函數(shù)不會(huì)拋出異常有助于簡(jiǎn)化調(diào)用該函數(shù)的代碼，而且編譯器確認(rèn)函數(shù)不會(huì)拋出異常浩习，它就能執(zhí)行某些特殊的優(yōu)化操作静暂。
2、noexcept異常說明
void func(int x) noexcept; //不拋出異常
void func1(int x); //拋出異常
（1）對(duì)于一個(gè)函數(shù)來說瘦锹，noexcept說明要么出現(xiàn)在該函數(shù)的所有生命語句和定義語句中籍嘹，要么一次也不出現(xiàn)闪盔。
（2）可以再函數(shù)指針的聲明和定義中指定noexcept弯院。
（3）在typedef和類型別名中不可以出現(xiàn)noexcept。
（4）在成員函數(shù)中泪掀，noexcept需要跟在const以及引用限定符之后听绳，在final、override或虛函數(shù)=0之前异赫。
對(duì)于程序違反了異常說明椅挣，編譯器在編譯階段不會(huì)檢查報(bào)錯(cuò)头岔。
void func() noexcept
{
throw exception();
}
上面的程序違反了異常說明，但是編譯通過鼠证，在程序執(zhí)行過程中峡竣，程序會(huì)調(diào)用terminate以確保遵守不在運(yùn)行時(shí)拋出異常的承諾。
舊版本的不拋出異常聲明
void func(int x) throw();
noexcept可以接受一個(gè)可選的實(shí)參量九，該參數(shù)必須能轉(zhuǎn)換為bool類型
void func(int x) noexcept(true); //不拋出異常
void func(int x) noexcept(false); //拋出異常
3适掰、noexcept運(yùn)算符
noexcept運(yùn)算符是一個(gè)一元運(yùn)算符，它的返回值是一個(gè)bool類型的右值常量表達(dá)式荠列，用于表示給定的表達(dá)式是否會(huì)拋出異常类浪。
noexcept(f()); //如果f()不拋出異常則結(jié)果為true，否則為false
noexcept(e); //當(dāng)e調(diào)用的所有函數(shù)都做了步拋出說明且e本身不含有throw語句時(shí)肌似，表達(dá)式為true费就，否則返回false
使f()和g()的異常拋出情況相同：
void f() noexcept(noexcept(g());
4、異常說明與指針川队、虛函數(shù)和拷貝控制
（1）函數(shù)指針及該指針指向的函數(shù)必須具有一致的異常說明力细。如果一個(gè)指針做出了不拋出異常的聲明，則該指針將只能指向不拋出異常的函數(shù)固额。
（2）如果顯示或隱式說明了指針可能拋出異常艳汽，那么該指針可以指向任何函數(shù)。
（3）如果一個(gè)虛函數(shù)承諾不會(huì)拋出異常对雪，則后續(xù)派生出來的衍生類的虛函數(shù)也必須做出同樣的承諾河狐。反之則不需要。
（4）當(dāng)編譯器合成拷貝控制成員的時(shí)候瑟捣，也會(huì)生成一個(gè)異常說明馋艺。如果對(duì)所有成員和基類的所有操作都承諾了不拋出異常，則合成的成員是noexcept的迈套；如果有任意一個(gè)函數(shù)可能拋出異常捐祠，則合成的成員是noexcept(false)。
總結(jié)
noexcept關(guān)鍵字主要用于對(duì)一個(gè)函數(shù)做出不拋出異常的說明桑李，不拋出異初庵可以優(yōu)化函數(shù)代碼，但是具體改善多少贵白，就以后在研究了率拒。
