C++中constexpr函數使用

簡介

constexpr函數指的是在編譯的時候就能得到其返回值的函數，也就是說編譯器將constexpr函數直接轉換成其返回值，因此，constexpr函數都是被隱式地定義為內聯函數。

使用constexpr關鍵字來修飾constexpr函數。

使用方法

有如下代碼：

constexpr int myFunc()
{
? return 1;
}
constexpr int i = myFunc() * 4;

此時，編譯器會將myFunc()函數用其返回值1來代替，在編譯時就可知i的值是4。

注意事項

constexpr函數的返回值類型必須是字面值類型

int g_i = 1;
constexpr int myFunc()
{
? return g_i;
}

此時的返回值g_i不是字面值類型，因此報錯信息為“error C3256: “g_i”: 變量使用不生成一個常量表達式”。

constexpr函數的形參可以是非常量，但是實參必須是常量

constexpr int myFunc(int i)
{
? return i;
}
constexpr int i = myFunc(1) * 4;

此時，myFunc()函數的實參是常量，在編譯時可以直接被替換為1，程序不報錯。

int j = 2;
constexpr int i = myFunc(j) * 4;

此時，myFunc()函數的實參是非常量，程序報錯信息為“error C2131: 表達式的計算結果不是常數”，將j定義為const int則不報錯。

函數體中必須有且只有一條return語句

如下代碼

constexpr int myFunc(int i)
{
? int j;
? return i;
}

程序的報錯信息為“error C3250: “j”: 不允許在“constexpr”函數體中進行聲明”。

C++ constexpr函數的處理

constexpr函數是指用于常量表達式的函數

需要遵守如下約定：

1) 函數的返回類型以及所有形參的類型都得是字面值類型，

2) 函數體中必須有且僅有一條return語句

3) constexpr函數不一定返回常量表達式

constexpr int new_sz(); {return 33;}
constexpr int foo_ = new_sz(); //正確，foo_是常量表達式