常量表達式是指值不會改變并且在編譯過程就能夠得到計算結果的表達式。顯然，字面值屬于常量表達式，用常量表達式初始化的 const 對象也是常量表達式。如下：

?

const int max_num = 20; // max_num是常量表達式

const int limit = max_num + 1; // limit 是常量表達式

int staff_size = 2; // staff_size 不是常量表達式，因為staff_size沒有用const修飾

const int zs = get_size(); // sz 不是常量表達式，雖然sz是個常量，但它的值在運行時才能確定

?

可見：一個對象（或表達式）是不是常量表達式由它的數據類型（是否const）和初始值共同決定。

?

?

constexpr(const expression)：

const可以用來修飾常量，可是只有當其初始值是個常量表達式時，const修飾的對象才是個常量表達式。C++11 提出了 constexpr 用于定義常量表達式。一般而言，如果你認定變量是一個常量表達式，那就把它聲明成 constexpr 類型。constexpr 變量在定義時必須初始化.

?

constexpr int mf = 20; // mf是常量表達式

constexpr int limit = mf + 1; // limit 是常量表達式

constexpr int sz = get_sz(); // 只有當 get_sz() 是一個 constexpr 函數時才是一條正確的聲明語句

?

?

?

?

?

指針和 constexpr：

當 constexpr 修飾指針時，constexpr 僅對指針有效，與指針所指的對象無關：

?

const int *p = nullptr; // p 是指向常量的指針

constexpr int *q = nullptr; // q 是常指針，constexpr 僅對指針有效

?

當然，const 和 constptr 可以一起來修飾一個指針，用于表明指向常量的常指針。

?

constexpr const int *p = &i; // 指向常量的常指針，注意 &i 必須是常量表達式，i可以是全局變量或靜態變量等等。。這些變量的地址在編譯時就確定了

?

constexpr函數：

?

constexpr函數是指能用于常量表達式的函數。不同于一般函數，constexpr 函數的返回值類型及所有形參的類型都是字面值類型（算術類型，引用，指針等屬于字面值類型），而且函數體中有且只有一條 return 語句。為了能在編譯過程中隨之展開，constexpr函數被隱式地指定為內聯函數。constexpr 函數的返回值在編譯時就能被確定。

我們允許 constexpr 函數不一定返回常量表達式，但是我們認為：

// 如果 arg 為常量表達式，則 scale(arg)也是常量表達式

constexpr size_t scale(size_t cnt) { return 2 * cnt;}

?

舉例：

?

#include <iostream>

?

constexpr size_t scale(size_t cnt) {

return 2 * cnt;

}

?

int main () {

constexpr size_t sz;

constexpr size_t s = 3;

sz = scale(s);

std::cout << sz << std::endl;

return 0;

}

可見，constexpr 函數不一定返回常量表達式，但是在 scale(3) 可以在編譯時確定。

總結

以上是生活随笔為你收集整理的[C/C++] constexpr函数的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。