C++11的新特性簡單匯總介紹 (二)_C 語言

1. 範圍for語句

C++11 引入了一種更為簡單的for語句，這種for語句可以很方便的遍曆容器或其他序列的所有元素

vector<int> vec = {1,2,3,4,5,6};for(int x: vec){  cout<<x<<endl;}

2. 尾置傳回型別

要想引入尾置類型，我們還得從複雜的型別宣告說起。如果我們需要定義一個含有10個int元素的數組，一般是這樣的：

int arr[10] = {0};

如果要定義指向這個數組的指標呢：

複製代碼 代碼如下:

int (*p_arr)[10] = &arr; //注意：int *p_arr[10] 表示一個數組，有10個元素，元素類型是int*

如果要定義一個函數，這個函數接受一個char類型的參數，並返回一個指向10個int類型數組的指標呢：

複製代碼 代碼如下:

int (*func(char x))[10];

這樣的聲明是不是看的頭都大了，其實我們可以簡化一點，一般情況下我們可以使用別名進行簡化，比如：

複製代碼 代碼如下:

typedef int ARR[10] ; // 定義一個類型 ARR這是一個數群組類型，含有10個int類型的元素
using ARR = int[10] ; // 同上

再定義如上的函數：

複製代碼 代碼如下:

ARR * func(char x) ; // 函數返回的類型是 ARR* 也就是指向具有10個int元素數組的指標

當然在C++11中我們可以用之前講到過的另外一個關鍵字decltype：

複製代碼 代碼如下:

decltype(arr) * func(char x) ; // decltype(arr)運算式會獲得arr的類型

最後就輪到我們本節要說的C++11的另外一個特性，尾置傳回型別，任何函數都可以使用尾置傳回型別，這種形式對於傳回型別比較複雜的函數最有效，比如上面的函數可以使用如下方式：

複製代碼 代碼如下:

auto func(char x) -> int(*) [10];

這種形式將函數的傳回型別寫在函式宣告的最後面，並且在函數形參列表後面加上 -> 符號，然後緊接著是函數需要返回的類型，由於函數的傳回型別被放在了形參列表之後，所以在函數名前面使用一個 auto替代。

3. =default 產生預設建構函式

在C++的類中，如果我們沒有定義建構函式，編譯器會為我們合成預設的無參建構函式，如果我們定義了建構函式，則編譯器就不產生預設建構函式了，但是如果我們定義建構函式同時也希望編譯器產生預設建構函式呢? C++11中可以通過在建構函式的聲明中直接  =default的方式要求編譯器產生建構函式。

class ClassName{  public:    ClassName(int x);    ClassName()=default; // 顯示要求編譯器產生建構函式};

4. 類對象成員的類內初始化

class ClassName{    public:        int x = 10; //C++11 之前是不允許的};

5. lambda運算式與bind函數

lambda運算式是一個可以被調用的代碼單元，相當於一個內嵌函式，有參數和傳回值以及函數體。但是跟函數不同的是，lambda運算式可以定義在函數的內部，一個完整的lambda運算式具有如下形式：

[捕獲列表](參數列表) mutable -> 傳回型別 {函數體}

int x = 10;int y = 20;auto f = [x,&y](int a ,int b){++y;return a+b+x+y;};cout<<f(1,2)<<endl; //34cout<<y<<endl;   //21

lambda可以省略參數列表(如果沒有參數的話)，可以省略傳回型別，但是不能省略捕獲部分與函數體部分，即使捕獲列表為空白,也要有一個空的[]，lambda有兩種捕獲，一種是值捕獲，一種是引用捕獲。如果是值捕獲那麼lambda中獲得的是捕獲的變數的副本，如果是引用捕獲則獲得的是引用，可以在lambda內部修改引用的變數的值，如上x是值捕獲，y是引用捕獲，lambda中預設是值捕獲，如果變數前面添加&則是引用捕獲，另外lambda中還有兩種形式的引用捕獲，例如[=]表示值捕獲所有可見的變數，而[&]則表示引用捕獲所有可見變數。如果希望值捕獲所有可見變數，但是又有個別變數採用引用捕獲呢，[=,&x]表示值捕獲所有可見變數，同時引用捕獲x。而[&,x]則表示引用捕獲所有可見變數，x採用值捕獲的方式。

有關bind函數，在很多地方我們可以使用函數替換lambda運算式，畢竟如果很多地方需要用到同一個lambda運算式，而且這個lambda運算式比較長的話，將其定義成函數應該是最好的。對於沒有捕獲列表的lambda運算式我們可以直接使用函數替代，例如：

void main(){  auto f=[](int x,int y){return x+y};  f();}

我們可以用下面的方式替代：

int f(int x,int y){  return x+y;} void main(){  f();}

與上面的lambda是等價的，但是對於有捕獲列表的lambda運算式應該怎麼處理呢，例如：

void main(){  int x = 10;  int y = 20;  auto f = [x,&y](int a ,int b){return a+b+x+y;}; //一個值捕獲，一個引用捕獲  f(33,44);}

如果轉換成函數的形式：

int x = 10;int y = 20;int f(int a,int b){ return a+bx+y;} void main(){  f(33,44);}

這是一種可行的方法，但是總不能把所有的捕獲變數定義成全域變數吧。現在的關鍵問題是lambda的捕獲運算式中的內容轉換成函數不可行，C++11提供了bind函數來完成這樣的操作。

#include <functional> //bind()#include <iostream>using namespace std;using namespace std::placeholders; // _1,_2所在的命名空間int f(int x,int y,int a,int b){ return a+b+x+y;} void main(){ int x = 10; int y = 20;  auto f_wrap = bind(f,x,y,_1,_2); cout<<f_wrap(33,44)<<endl; // _1,_2是預留位置,表示調用f_wrap的時候_1是第一個參數,_2是第二個參數。最終會被替換成調用 f(10,20,33,44)}

如果參考型別的捕獲怎麼做呢，看下面的例子，用lambda是這樣的：

#include <iostream>#include <functional>using namespace std;using namespace std::placeholders;void main(){ int x = 10; ostream &o = cout; auto f =[&o](int a){o<<a<<endl;}; // 注意這裡的輸出對象是用的引用捕獲 f(x);}

使用bind是這樣的：

#include <iostream>#include <functional>using namespace std;using namespace std::placeholders;void f(ostream &o,int x){ o<<x<<endl;}int main(){ int x = 10; auto f_wrap = bind(f,ref(cout),_1); //將變數的引用傳遞到bind中是個問題，為此C++11提供了ref()函數用於獲得引用 f_wrap(x); return 0 ;}

6. 智能指標share_ptr,unique_ptr

C++11中引入了幾種智能指標，智能指標能夠自動釋放所指向的對象，其中shared_ptr允許多個指標指向同一個對象，unique_ptr則獨佔所指向的對象，我們主要說明shared_ptr的使用。通過使用make_shared<type>()函數產生智能指標對象。

複製代碼 代碼如下:

shared_ptr<int> p = make_shared<int>(40); // p指向一個值為40的int對象
shared_ptr<string> p2 = make_shared<string>(10,'c'); //指向值為'cccccccccc'的string對象

make_shared<type>()函數中傳遞的值要與對應的type的建構函式相匹配，實際上應該就是直接調用的對應type的建構函式。

我們可以使用new初始化的指標來初始化智能指標：

複製代碼 代碼如下:

share_ptr<int> p (new int(40));
p.get(); // 使用share_ptr<type>的get()函數來獲得其關聯的原始指標。

shared_ptr對象在離開其範圍(例如一個函數體)，會自動釋放其關聯的指標指向的動態記憶體，就像局部變數那樣。另外多個shared_ptr可以指向一個對象，當最後一個shared_ptr對象銷毀的時候才會銷毀其關聯的那個對象的動態記憶體。這裡使用了引用記數。

7. 右值引用與move調用,移動建構函式

為了支援移動操作，C++11中使用了一種稱為右值引用的類型。移動操作是什麼呢，一般情況下我們將一個對象賦值給另一個對象的時候會調用對象到拷貝建構函式或者拷貝賦值運算子。而移動建構函式和移動賦值運算子則用來將資料從一個對象移動到另一個對象。在很多情況下對象拷貝之後需要被銷毀，此時使用移動操作會大幅提高效能。右值引用被使用之後，其關聯的對象會被銷毀。右值引用使用兩個&&表示，例如 int && 表示右值引用，而int &則是左值。通過C++11標準庫提供的函數 std::move()可以得到某一對象的右值引用。

複製代碼 代碼如下:

TestClass::TestClass(TestClass &&t) noexcept //移動建構函式不應該拋出任何異常
:x(t.x),y(t.y),z(t.z),p(t.p)
{
  t.p=nullptr; // 實現移動操作之後需要保證被移動的對象的析構是安全的，所以來源物件的指標成員置為空白，隨後t的解構函式將會被自動調用，t被銷毀。
}

8. function

C++11中提供了名為function的標準庫類型，定義在標頭檔<functional>中，該類型用來儲存一個可調用的對象，統一了所有可以像函數一樣調用的調用形式，例如：

#include <functional>#include <iostream>using namespace std; int add(int x,int y){  return x+y;} class Add{  public:    int operator()(int x,int y)    {      return x+y;    }}; void main(){ //function模版的參數是函數調用形式,包括傳回型別,以及參數列表個數和類型  function<int(int,int)> f1 = add; //函數指標  function<int(int,int)> f2 = Add(); // 可調用類對象  function<int(int,int)> f3 = [](int x,int y){return x+y;}; //lambda運算式     cout<<f1(10,20)<<" "<<f2(30,40)<<" "<<f3(50,60)<<endl;}

9. 其他新增類型(array,forward_list,bitset,regex)

實際上C++11中除了一些文法特性新增之外，還增加了一些新的庫。例如array相當於我們傳統使用的定長數組，支援隨機訪問，不能添加刪除元素，不可以像vector一樣增長，使用array比傳統數組更加安全。

forward_list是C++11中增加的單向鏈表

regex則是C++11中新增的Regex庫

10. 總結

C++11中增加了一些庫，庫本身的使用不做過多介紹，可以參考C++標準庫/STL源碼剖析，這都是用單獨的大部頭書籍講解的，有些特性和庫是我感覺比較驚豔的，例如：

1. auto 定義：可以讓編譯器自動推算定義的變數類型，而不需要寫長長的一串類型，特別是在含有迭代器的類型上。
2. decltype ：可以根據已知的變數來定義一個跟該變數一樣的類型。
3. lambda：個人認為這是C++11中增加的最驚豔的特性之一，對應的還有bind()函數，其實這些內容是從Boost中來的。
4. 智能指標：shared_ptr 雖然在以前的C++中有類似auto_ptr的智能指標，但是auto_ptr有一些缺陷並不算很好用。
5. function類型：標準庫的function類型定義了一種可調用對象，該類型統一了所有可以當作函數一樣調用的調用形式，例如lambda，函數指標，重載了函數調用運算子()的類對象等，該特性也是參考了Boost庫。
6. regex庫：C++11中總算有了方便的regex可以使用了。