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

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

我們把new_sz定義成無參數的constexpr函數。因為編譯器能在程序編譯時驗證new_sz函數返回的是常量表達式，所以可以用new_sz函數初始化constexpr類型的變量foo。

　　執行該初始化任務時，編譯器把對constexpr函數的調用替換成其結果值。為了能在編譯過程中隨時離開，constexpr函數被隱式地指定為內聯函數。

　　constexpr函數體內也可以包含其他語句，只要這些語句在運行時不執行任何操作就行。例如，constexpr函數中可以有空語句，類型別名以及using聲明。

　　我們允許constexpr函數的返回值并非一個常量:

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

當scale的實參是常量表達式時，它的返回值也是常量表達式；反之則不然：

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

如上例所示，當給scale函數傳入一個形如字面值2的常量表達式時，它的返回類型也是常量表達式。此時，編譯器用相應的結果值替換對scale函數的調用。

　　如果我們用一個非常量表達式調用scale函數，比如int類型的i，則返回值是一個非常量表達式。當把scale函數用在需要常量表達式的上下文中時，由編譯器負責檢查函數的結果是否符合要求。如果結合恰好不是常量表達式，編譯器將發出錯誤信息。

　　注：constexpr函數不一定返回常量表達式。

?

總結

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

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