C++中constexpr函數(shù)使用

簡介

constexpr函數(shù)指的是在編譯的時(shí)候就能得到其返回值的函數(shù)，也就是說編譯器將constexpr函數(shù)直接轉(zhuǎn)換成其返回值，因此，constexpr函數(shù)都是被隱式地定義為內(nèi)聯(lián)函數(shù)。

使用constexpr關(guān)鍵字來修飾constexpr函數(shù)。

使用方法

有如下代碼：

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

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

注意事項(xiàng)

constexpr函數(shù)的返回值類型必須是字面值類型

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

此時(shí)的返回值g_i不是字面值類型，因此報(bào)錯(cuò)信息為“error C3256: “g_i”: 變量使用不生成一個(gè)常量表達(dá)式”。

constexpr函數(shù)的形參可以是非常量，但是實(shí)參必須是常量

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

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

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

此時(shí)，myFunc()函數(shù)的實(shí)參是非常量，程序報(bào)錯(cuò)信息為“error C2131: 表達(dá)式的計(jì)算結(jié)果不是常數(shù)”，將j定義為const int則不報(bào)錯(cuò)。

函數(shù)體中必須有且只有一條return語句

如下代碼

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

程序的報(bào)錯(cuò)信息為“error C3250: “j”: 不允許在“constexpr”函數(shù)體中進(jìn)行聲明”。

C++ constexpr函數(shù)的處理

constexpr函數(shù)是指用于常量表達(dá)式的函數(shù)

需要遵守如下約定：

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

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

3) constexpr函數(shù)不一定返回常量表達(dá)式

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