|
靜態(tài)斷言static_assert
在之前的C++標(biāo)準(zhǔn)C++03中，我們可以使用兩種斷言：
- 使用預(yù)處理中的條件編譯和#error指令，可以在預(yù)處理階段檢查一些編譯條件
- 可以使用宏assert來進(jìn)行運(yùn)行時(shí)檢查，以確保程序邏輯的正確性
但使用#error方法是非常煩瑣的，并且不能夠?qū)δ０鍏?shù)進(jìn)行檢查，因?yàn)槟０鍖?shí)例化是在編譯時(shí)進(jìn)行，而#error方法是在預(yù)處理階段進(jìn)行的。而 assert宏是在運(yùn)行時(shí)進(jìn)行檢查。不難發(fā)現(xiàn)，我們?nèi)鄙倭艘粯訓(xùn)|西，那就是可用于在編譯時(shí)檢查的工具。于是，靜態(tài)斷言應(yīng)運(yùn)而生。
在新的C++標(biāo)準(zhǔn)C++0x中，加入了對(duì)靜態(tài)斷言的支持，引入了新的關(guān)鍵字static_assert來表示靜態(tài)斷言。使用靜態(tài)斷言，我們可以在程序的編譯時(shí)期檢測(cè)一些條件是否成立，這個(gè)特性在調(diào)試模板函數(shù)的模板參數(shù)時(shí)特別有用。在編譯的時(shí)候，模板函數(shù)實(shí)例化，這時(shí)我們就可以使用靜態(tài)斷言去測(cè)試模板函數(shù)的參數(shù)是否按照我們的設(shè)計(jì)擁有合適的值。例如下面這段代碼：
template <int N> struct Kitten {
static_assert(N < 2, "Kitten<N> requires N < 2.");
};
int main() {
Kitten<1> peppermint;
Kitten<3> jazz;
return 0;
}
當(dāng)我們?cè)谥骱瘮?shù)中使用“1”去實(shí)例化Kitten這個(gè)結(jié)構(gòu)體時(shí)，在編譯的時(shí)候，靜態(tài)斷言static_assert會(huì)測(cè)試參數(shù)N的值，當(dāng)N的值小于2時(shí)就會(huì)產(chǎn)生一個(gè)斷言錯(cuò)誤，并將相應(yīng)的調(diào)試幫助信息輸出到“Error List”窗口中，這樣程序員就可以對(duì)問題快速定位，解決問題就更加方便了。
圖2 static_assert斷言及其輸出
另外，靜態(tài)斷言還帶來很多其他的優(yōu)勢(shì)。例如靜態(tài)斷言在編譯時(shí)進(jìn)行處理，不會(huì)產(chǎn)生任何運(yùn)行時(shí)刻空間和時(shí)間上的開銷，這就使得它比assert宏具有更好的效率。另外比較重要的一個(gè)特性是如果斷言失敗，它會(huì)產(chǎn)生有意義且充分的診斷信息，幫助程序員快速解決問題。
auto關(guān)鍵字
在C++0x中，auto關(guān)鍵字的意義發(fā)生了改變。從Visual C++ 2010開始，auto關(guān)鍵字將用于指引編譯器根據(jù)變量的初始值來決定變量的數(shù)據(jù)類型。換句話說，我們可以把a(bǔ)uto當(dāng)成一種新的數(shù)據(jù)類型，它可以“從初始化器(initialize)中推導(dǎo)出所代表的變量的真正類型”。這種對(duì)auto關(guān)鍵字的使用方式可以大大消除當(dāng)前替代方式所導(dǎo)致的冗長和易出錯(cuò)的代碼。我們看一個(gè)實(shí)際的例子：
#include <iostream>
#include <map>
#include <ostream>
#include <regex>
#include <string>
using namespace std;
using namespace std::tr1;
int main() {
map<string, string> m;
const regex r("(\\w+) (\\w+)");
for (string s; getline(cin, s); ) {
smatch results;
if (regex_match(s, results, r)) {
m[results[1]] = results[2];
}
}
for (auto i = m.begin(); i != m.end(); ++i) {
cout << i->second << " are " << i->first << endl;
}
return 0;
}
在這段代碼中，我們使用auto關(guān)鍵字來代替了真正的數(shù)據(jù)類型map<string, string>::iterator，這使得整個(gè)代碼自然而簡潔。
另外，跟其他數(shù)據(jù)類型一樣，我們也可以對(duì)auto關(guān)鍵字進(jìn)行修飾，例如添加const，指針(*)，左值引用(&)，右值引用(&&)等等，編譯器會(huì)根據(jù)auto類型所代表的真正的數(shù)據(jù)來決定這些修飾的具體含義。
為了兼容一些舊有的C++代碼，我們可以使用/Zc:auto這個(gè)編譯器選項(xiàng)，來告訴編譯器是采用auto關(guān)鍵字的原有定義還是在新標(biāo)準(zhǔn)C++0x中的定義。
出處：藍(lán)色理想
責(zé)任編輯：bluehearts
上一頁 VS 2010 C++的未來:0x 的新特性 [2] 下一頁 VS 2010 C++的未來:0x 的新特性 [4]
◎進(jìn)入論壇計(jì)算機(jī)技術(shù)版塊參加討論
|
第 1 頁 
第 3 頁 VS 2010 C++的未來:0x 的新特性 [3]
