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

聚合類

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

所有成員都是public的

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

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

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

怎么理解呢？

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

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

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

字面值常量類

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

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

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

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

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

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

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

對(duì)于這幾個(gè)條件，作者這樣理解：

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

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

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

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

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

通過(guò)前置constexpr關(guān)鍵字，就可以聲明constexpr構(gòu)造函數(shù)，同時(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ù)的地方使用字面值常量類了。

作者觀點(diǎn)

定義各種名稱的目的往往是因?yàn)榻?jīng)常需要將具有某種特征的事物從其他事物中分離出來(lái)。