constexpr函數(shù)(constexpr function)是指能用于常量表達(dá)式的函數(shù)。定義constexpr函數(shù)的方法與其他函數(shù)類(lèi)似，不過(guò)要遵循幾項(xiàng)約定：函數(shù)的返回類(lèi)型及所有形參的類(lèi)型都得是字面值類(lèi)型，而且函數(shù)體中必須有且只有一條return語(yǔ)句：

constexpr int new_sz() {return 42;} constexpr int foo=new_sz();//正確，foo是一個(gè)常量表達(dá)式

我們把new_sz定義成無(wú)參數(shù)的constexpr函數(shù)。因?yàn)榫幾g器能在程序編譯時(shí)驗(yàn)證new_sz函數(shù)返回的是常量表達(dá)式，所以可以用new_sz函數(shù)初始化constexpr類(lèi)型的變量foo。

　　執(zhí)行該初始化任務(wù)時(shí)，編譯器把對(duì)constexpr函數(shù)的調(diào)用替換成其結(jié)果值。為了能在編譯過(guò)程中隨時(shí)離開(kāi)，constexpr函數(shù)被隱式地指定為內(nèi)聯(lián)函數(shù)。

　　constexpr函數(shù)體內(nèi)也可以包含其他語(yǔ)句，只要這些語(yǔ)句在運(yùn)行時(shí)不執(zhí)行任何操作就行。例如，constexpr函數(shù)中可以有空語(yǔ)句，類(lèi)型別名以及using聲明。

　　我們?cè)试Sconstexpr函數(shù)的返回值并非一個(gè)常量:

//如果arg是常量表達(dá)式，則scale(arg)也是常量表達(dá)式 constexpr size_t scale(size_t cnt) {return new_sz()*cnt;}

當(dāng)scale的實(shí)參是常量表達(dá)式時(shí)，它的返回值也是常量表達(dá)式；反之則不然：

int arr[scale(2)]; //正確：scale(2)是常量表達(dá)式 int i=2; //i不是常量表達(dá)式 int a2[scale(i)]; //錯(cuò)誤：scale(i)不是常量表達(dá)式

如上例所示，當(dāng)給scale函數(shù)傳入一個(gè)形如字面值2的常量表達(dá)式時(shí)，它的返回類(lèi)型也是常量表達(dá)式。此時(shí)，編譯器用相應(yīng)的結(jié)果值替換對(duì)scale函數(shù)的調(diào)用。

　　如果我們用一個(gè)非常量表達(dá)式調(diào)用scale函數(shù)，比如int類(lèi)型的i，則返回值是一個(gè)非常量表達(dá)式。當(dāng)把scale函數(shù)用在需要常量表達(dá)式的上下文中時(shí)，由編譯器負(fù)責(zé)檢查函數(shù)的結(jié)果是否符合要求。如果結(jié)合恰好不是常量表達(dá)式，編譯器將發(fā)出錯(cuò)誤信息。

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

?

總結(jié)

以上是生活随笔為你收集整理的[C++]constexpr函数的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問(wèn)題。

如果覺(jué)得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。