C++11為了提高代碼執(zhí)行效率做了一些改善。這種改善之一就是:生成常量表達式，允許程序利用編譯時的計算能力。假如你熟悉模板元編程，你將發(fā)現(xiàn)constexpr使這一切變得更加簡單。constexpr使我們很容易利用上編譯時編程的優(yōu)勢。

常量表達式主要是允許一些計算發(fā)生在編譯時，即發(fā)生在代碼編譯而不是運行的時候。這是很大的優(yōu)化：假如有些事情可以在編譯時做，它將只做一次，而不是每次程序運行時。需要計算一個編譯時已知的常量，比如特定值的sine或cosin？確實你亦可以使用庫函數(shù)sin或cos，但那樣你必須花費運行時的開銷。使用constexpr，你可以創(chuàng)建一個編譯時的函數(shù)，它將為你計算出你需要的數(shù)值，用戶的電腦將不需要做這些工作。

1.constexpr初探

為了使函數(shù)獲取編譯時計算的能力，你必須指定constexpr關鍵字到這個函數(shù)。

constexpr int multiply (int x, int y)
{
    return x * y;
}

// 將在編譯時計算
const int val = multiply( 10, 10 );

除了編譯時計算的性能優(yōu)化，constexpr的另外一個優(yōu)勢是，它允許函數(shù)被應用在以前調(diào)用宏的所有場合。

例如，你想要一個計算數(shù)組size的函數(shù)，size是10的倍數(shù)。如果不用constexpr，你需要創(chuàng)建一個宏或者使用模板，因為你不能用函數(shù)的返回值去聲明數(shù)組的大小。但是用constexpr，你就可以調(diào)用一個constexpr函數(shù)去聲明一個數(shù)組。

constexpr int getDefaultArraySize (int multiplier)
{
    return 10 * multiplier;
}

int my_array[ getDefaultArraySize( 3 ) ];
int a = 4;　　//非常量表達式
getDefaultArraySize(a);　　//ok

constexpr修飾的函數(shù)，簡單的來說，如果其傳入的參數(shù)可以在編譯時期計算出來，那么這個函數(shù)就會產(chǎn)生編譯時期的值。但是，傳入的參數(shù)如果不能在編譯時期計算出來，那么constexpr修飾的函數(shù)就和普通函數(shù)一樣了。不過，我們不必因此而寫兩個版本，所以如果函數(shù)體適用于constexpr函數(shù)的條件，可以盡量加上constexpr。

2.constexpr修飾函數(shù)的限制

一個constexpr有一些必須遵循的嚴格要求：

• 函數(shù)中只能有一個return語句(但允許包含typedefs、 using declaration && directives、靜態(tài)斷言等)
• 只能調(diào)用其它constexpr函數(shù)
• 只能使用全局constexpr變量

注意遞歸并不受限制,但只允許一個返回語句，那如何實現(xiàn)遞歸呢？可以使用三元運算符（?:)。例如，計算n的階乘：

constexpr int factorial (int n) {
    return n > 0 ? n * factorial( n - 1 ) : 1;
}

現(xiàn)在你可以使用factorial(2)，編譯器將在編譯時計算這個值，這種方式運行更巧妙的計算，與內(nèi)聯(lián)截然不同。你無法內(nèi)聯(lián)一個遞歸函數(shù)。

3.使用編譯時對象

constexpr修飾類的構(gòu)造函數(shù)，即保證如果提供給該構(gòu)造函數(shù)的參數(shù)都是constexpr，那么產(chǎn)生的對象中的所有成員都會是constexpr，該對象也就是constexpr對象了，可用于各種只能使用constexpr的場合。注意，constexpr構(gòu)造函數(shù)必須有一個空的函數(shù)體，即所有成員變量的初始化都放到初始化列表中。
假如你有一個Circle類:

class Circle
{
    public:
    constexpr Circle (int x, int y, int radius) : _x( x ), _y( y ), _radius( radius ) {}
    constexpr double getArea () {
        return _radius * _radius * 3.1415926;
    }
private:
    int _x;
    int _y;
    int _radius;
};

將構(gòu)造函數(shù)和getArea聲明為constexpr，這樣在編譯期間，便能構(gòu)造一個對象并能調(diào)用getArea函數(shù)獲得area：

constexpr Circle c( 0, 0, 10 );
constexpr double area = c.getArea();

4.constexpr vs const的區(qū)別

假如你將一個成員函數(shù)標記為constexpr，則順帶也將它標記為了const。如果你將一個變量標記為constexpr，則同樣它是const的。但相反并不成立，一個const的變量或函數(shù)，并不是constexpr的。

語義上:

constexpr:告訴編譯器我可以是編譯期間可知的，盡情的優(yōu)化我吧。

const:告訴程序員沒人動得了我，放心的把我傳出去；或者放心的把變量交給我，我啥也不動就瞅瞅。

語法上:

constexpr是一種比const 更嚴格的束縛, 它修飾的表達式本身在編譯期間可知, 并且編譯器會盡可能的 evaluate at compile time. 在constexpr 出現(xiàn)之前, 可以在編譯期初始化的const都是implicit constexpr. 直到c++ 11, constexpr才從const中細分出來成為一個關鍵字, 而 const從1983年 c++ 剛改名的時候就存在了... 如果你初學c++, 應當盡可能的, 合理的使用constexpr來幫助編譯器優(yōu)化代碼。

到此這篇關于C++11 constexpr使用的文章就介紹到這了,更多相關C++11 constexpr使用內(nèi)容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關文章希望大家以后多多支持腳本之家！

最新評論