C++11新特性- constexpr構(gòu)造函數(shù)

聚合類

聚合類（aggregate class）允許利用者直接訪問其成員，并且具有特殊的初始化形式。聚合類滿足以下條件：

所有成員都是public的

沒有定義構(gòu)造函數(shù)

沒有類內(nèi)初始值

沒有基類，也沒有虛函數(shù)

怎么理解呢？

首先，看來看去聚合類其實就是一個C結(jié)構(gòu)體；其次，聚合這個詞，應(yīng)該是相對組合的，表明了成員和類之間的松散關(guān)系。

當(dāng)一個類是聚合類時，就可以使用初始值列表像下面這樣初始化了：

struct?Point{
????int?x;
????int?y;
};
Point?pt?=?{10,?10};

字面值常量類

前面講過constexpr函數(shù)，它的參數(shù)和返回值都必須是常量表達(dá)式。而常量表達(dá)式的最基本要素就是字面值類型。字面值類型除了包括算數(shù)類型，引用和指針以外，某些類也屬于字面值類型，C++11稱之為字面值常量類。主要包括兩種情況：

首先數(shù)據(jù)成員都是字面類型的聚合類就是一種。上面的Point類就是一個例子。我們可以這樣理解，字面值的聚合繼續(xù)具有字面值的特征，這里主要是編譯階段可以求值。

還有一種情況，雖然不是聚合類，但是只要滿足下面的條件，也是字面值常量類：

數(shù)據(jù)成員必須都必須是字面值類型。

類必須至少含有一個constexpr構(gòu)造函數(shù)。

如果一個數(shù)據(jù)成員含有類內(nèi)初始值，則初始值必須是常量表達(dá)式；如果成員屬于某種類，初始值必須使用該類的constexpr構(gòu)造函數(shù)。

類必須使用析構(gòu)函數(shù)的默認(rèn)定義。

對于這幾個條件，作者這樣理解：

滿足條件1，就可以在編譯階段求值，這一點和聚合類一樣。

滿足條件2，就可以創(chuàng)建這個類的constexpr類型的對象。

滿足條件3，就可以保證即使有類內(nèi)初始化，也可以在編譯階段解決。

滿足條件4，就可以保證析構(gòu)函數(shù)沒有不能預(yù)期的操作。

constexpr構(gòu)造函數(shù)

通過前置constexpr關(guān)鍵字，就可以聲明constexpr構(gòu)造函數(shù)，同時：

除了聲明為=default或者=delete以外，constexpr構(gòu)造函數(shù)的函數(shù)體一般為空，使用初始化列表或者其他的constexpr構(gòu)造函數(shù)初始化所有數(shù)據(jù)成員。

struct?Point{
????constexpr?Point(int?_x,?int?_y)
????????:x(_x),y(_y){}
????constexpr?Point()
????????:Point(0,0){}
????int?x;
????int?y;
};

constexpr?Point?pt?=?{10,?10};

這樣聲明以后，就可以在使用constexpr表達(dá)式或者constexpr函數(shù)的地方使用字面值常量類了。

作者觀點

定義各種名稱的目的往往是因為經(jīng)常需要將具有某種特征的事物從其他事物中分離出來。