“C++11就像一門新的語言。” – Bjarne Stroustrup
C++11標準推出了很多有用的新特性,本文特別關注那些相比C++98更像是一門新語言的特性,理由是:
- 這些特性改變了編寫C++程式使用的程式碼風格和習語【譯註 1】,通常也包括你設計C++函式庫的方式。例如,你會看到更多引數和返回值型別為智慧指標(smart pointer),同時也會看到函式通過值傳遞返回大型物件。你將會發現在大多數的程式碼示例中充斥著新特性的身影。例如,幾乎每5行現代C++程式碼示例都會使用到auto。
- C++11的其他特性也很棒。但是請先熟悉下面這些,正是由於這些特性的廣泛使用使得C++11程式碼如同其他現代主流語言一樣整潔、安全和高效,與此同時保持了C++傳統的效能優勢。
提示:
- 與Strunk & White【譯註 2】一樣,本文只做概要總結而不是詳盡基本原理和優缺點分析。詳細分析請參見其他文章。
- 本文會不斷更新,主要變更及內容增加請參見文末變更歷史。
譯註:
1. Programming idiom:程式設計習語,在一種或多種程式語言中重複出現的表達形式,用來表示沒有在程式語言中內建的簡單的任務或者演算法,也可以用來表示在程式語言中內建的不常用或者不典型的某個特性。程式設計習語也可以在更廣泛的範圍內使用,比如代指複雜的演算法或者設計模式。
2. Strunk & White:代指William Strunk Jr.和E. B. White出版的”The elements of style”,中文版《風格的要素》一書,該書介紹了英語寫作要遵循的基本風格。
auto
基於以下兩個原因,儘可能使用auto:首先,使用auto會避免重複宣告編譯器已經知道的型別。
1 2 3 4 5 |
// C++98 map<int,string>::iterator i = m.begin(); // C++11 auto i = begin(m); |
其次,當使用未知型別或者型別名稱不易理解時使用auto會更加便利,例如大多數的lambda函式【譯註 3】——你甚至不能簡單的拼寫出型別的名字。
1 2 3 4 5 |
// C++98 binder2nd< greater<int> > x = bind2nd( greater<int>(), 42 ); // C++11 auto x = [](int i) { return i > 42; }; |
需要注意,使用auto並不改變程式碼的含義。程式碼仍然是靜態型別【譯註 4】,每個表示式的型別都是清晰和明確的;C++11只是不需要我們重複宣告型別名。一些人剛開始可能會害怕在這裡使用auto,因為感覺好像沒有(重複)宣告我們需要的型別就意味著可能會碰巧得到一個不同的型別。如果你想要明確地進行一次強制型別轉換,沒有問題,宣告目標型別就好了。然而大多數情況下,只要使用auto就可以了;幾乎不會出現錯誤地拿到一個不同型別的情況,即便出現錯誤,C++的強靜態型別系統也會由編譯器讓你知道這個錯誤,因為你正試圖訪問一個變數沒有的成員函式或是錯誤地呼叫了該函式。
譯註:
3. lambda function (λ函式):程式語言支援λ函式/λ表示式可以使得程式碼更易於理解,同時也可以使得程式碼變得更簡潔,關於λ函式的技術解釋可以參考,維基百科labmda calculus,也可以從《從.NET中委託寫法的演變談開去(中):Lambda表示式及其優勢》部落格中得到直觀的解釋。
4. 動態型別語言(dynamic typing language)是指型別檢查發生在執行期間(run-time)的語言。靜態型別語言(static typing language)是型別檢查發生在編譯期間(compile-time)的語言。
智慧指標:無須delete
請始終使用標準智慧指標以及非佔有原始指標(non-owning raw pointer)。絕不要使用佔有原生指標(owning raw pointer)和delete操作,除非你是在實現自己的底層資料結構這種少見的情況下(即使在此時也需要在class範圍內保持完好的封裝)。如果只能夠知道你是另一個物件唯一的所有者,請使用unique_ptr來表示唯一所有權。一個“new T”表示式會馬上初始化另一個引用它的物件,通常是一個unique_ptr。
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 |
// C++11 Pimpl Idiom class widget { widget(); ~widget(); private: class impl; unique_ptr<impl> pimpl; }; // in .cpp file class impl { ::: }; widget::widget() : pimpl( new impl() ) { } widget::~widget() = default; |
使用shared_ptr來表示共享所有權。推薦使用make_shared來有效地建立共享物件。
1 2 3 4 5 6 7 |
// C++98 widget* pw = new widget(); ::: delete pw; // C++11 auto pw = make_shared<widget>(); |
使用weak_ptr來退出迴圈並且表示可選項(例如,實現一個物件快取)
1 2 3 4 5 6 7 8 9 10 11 12 |
// C++11 class gadget; class widget { private: shared_ptr<gadget> g; // if shared ownership }; class gadget { private: weak_ptr<widget> w; }; |
如果你知道另一個物件存在時間會更長久並且希望跟蹤它,使用一個非佔有 (non-owning)原始指標。
1 2 3 4 5 6 7 |
// C++11 class node { vector< unique_ptr<node> > children; node* parent; public: ::: }; |
nullptr
始終使用nullptr表示一個null指標值,絕不要使用數字0或者NULL巨集,因為它們也可以代表一個整數或者指標從而產生歧義。
1 2 3 4 5 |
// C++98 int* p = 0; // C++11 int* p = nullptr; |
Range for
基於範圍的迴圈使得按順序訪問其中的每個元素變得非常方便。
1 2 3 4 5 6 7 8 9 |
// C++98 for( vector<double>::iterator i = v.begin(); i != v.end(); ++i ) { total += *i; } // C++11 for( auto d : v ) { total += d; } |
非成員(nonmember) begin和end
始終使用非成員begin和end,因為它是可擴充套件的並且可以應用在所有的容器型別(container type),不僅僅是遵循了STL風格提供了.begin()和.end()成員函式的容器,甚至陣列都可以使用。
如果你使用了一個非STL風格的collection型別,雖然提供了迭代但沒有提供STL的.begin()和.end(),通常可以為這個型別編寫自己的非成員begin和end來進行過載。這樣你就可以使用STL容器的程式設計風格來遍歷該型別。C++11標準提供了示例陣列就是這樣一個型別,標準同時為陣列提供了begin和end。
1 2 3 4 5 6 7 8 9 10 |
vector<int> v; int a[100]; // C++98 sort( v.begin(), v.end() ); sort( &a[0], &a[0] + sizeof(a)/sizeof(a[0]) ); // C++11 sort( begin(v), end(v) ); sort( begin(a), end(a) ); |
Lambda函式和演算法
Lambda函式是決定乾坤的因素,它會使你編寫的程式碼變得更優雅、更快速。Lambda使得STL演算法的可用性提高了近100倍。新近開發的C++函式庫都是基於lambda可以用的前提(例如,PPL)並且有些函式庫甚至要求你編寫lambda來呼叫函式庫(例如,C++ AMP)
下面是一個快速示例:找到v裡面大於x並且小於y的第一個元素。在C++11中,最簡單和乾淨的程式碼就是呼叫一個標準函式。
1 2 3 4 5 6 7 8 |
// C++98: 直接編寫一個迴圈 (使用std::find_if會非常困難) vector<int>::iterator i = v.begin(); // 因為我們需要在後邊用到i for( ; i != v.end(); ++i ) { if( *i > x && *i < y ) break; } // C++11: use std::find_if auto i = find_if( begin(v), end(v), [=](int i) { return i > x && i < y; } ); |
想要使用C++編寫一個迴圈或者類似的新特性?不用著急;只要編寫一個模板函式(template function)(函式庫演算法),並且幾乎可以將lambda當做語言特性來使用,與此同時會更加靈活,因為它不是固定的語言特性而是一個真正的函式庫。
1 2 3 4 |
// C# lock( mut_x ) { ... use x ... } |
1 2 3 4 5 6 7 8 9 10 11 |
// 不使用lambda的C++11:已經非常簡潔並且更靈活(例如,可以使用超時以及其他選項) { lock_guard<mutex> hold( mut_x ); ... use x ... } // 使用了lambda的C++11可以帶一個輔助演算法:在C++中使用C#的文法 // 演算法:template<typename T, typename F> void lock( T& t, F f ) { lock_guard<T> hold(t); f(); } lock( mut_x, [&]{ ... use x ... }); |
去熟悉lambda吧。你會不斷用到它,不僅僅在C++中——lambda已經廣泛應用於很多主流的程式語言。一個開始的好去處請參考我在PDC2010的演講《無處不在的lambda》
Move / &&
Move被認為是copy的最佳優化,儘管它也使得其他事情成為可能比如資訊被轉發。
1 2 3 4 5 6 7 8 9 10 11 12 13 |
// C++98:避免copy的替代方法 vector<int>* make_big_vector(); // 選擇1: 返回指標: 沒有拷貝,但不要忘記delete ::: vector<int>* result = make_big_vector(); void make_big_vector( vector<int>& out ); // 選擇2: 通過引用傳遞: 沒有拷貝,但是呼叫者需要傳入一個有名物件 ::: vector<int> result; make_big_vector( result ); // C++11: move vector<int> make_big_vector(); // 通常對於”被呼叫者(callee)分配的空間“也適用 ::: vector<int> result = make_big_vector(); |
Move語法改變了我們設計API的方式。我們可以更多地設計通過值傳遞。為你的型別啟用move語法,使用時會比copy更有效。
更多變化
還有更多現代C++的特性。並且我計劃在未來編寫更多深入C++11新特性以及其他特性的短文,我們會知道更多並且喜歡上它。
但目前,這是必須知道的新特性。這些特性組成了現代C++風格的核心,使得C++程式碼看起來和執行時像他們設計的那樣,你將會看到這些特性會出現在幾乎每一段你看到或者編寫的現代C++程式碼中。並且它們使得現代C++更加乾淨、安全且快速,使得C++在未來的若干年仍然是我們產業的依靠。
主要變更
2011-10-30: 為Lambda增加C# lock示例. 重新組織智慧指標首先介紹unique_prt。
【如需轉載,請標註並保留原文連結、譯文連結和譯者等資訊,謝謝合作!】