常量表達式是指值不會改變且在編譯過程中就能夠得到計算結果的表達式,能在編譯時求值的表達式。
例1:
#include <iostream>
using namespace std;
int main()
{
const int a1 = 10; // a1是常量表達式。
const int a2 = a1 + 20; // a2是常量表達式
int a3 = 5; // a3不是常量表達式
const int a4 = a3; // a4不是常量表達式,因為a3程式的執行到達其所在的聲明處時才初始化,是以變量a4的值程式運作時才知道。但編譯沒問題!
return 0;
}
以上代碼可正常編譯。
說明了const聲明的不一定就是常量表達式!
C++11新标準規定,允許将變量聲明為constexpr 類型以便由編譯器來驗證變量的值是否是常量表達式。
constexpr
指定符聲明可以在編譯時求得函數或變量的值,聲明為constexpr的變量一定是一個常量,而且必須用常量表達式來進行初始化。
例2:
#include <iostream>
using namespace std;
int main()
{
const int a1 = 10; // a1是常量表達式。
const int a2 = a1 + 20; // a2是常量表達式
int a3 = 5; // a3不是常量表達式
constexpr int a4 = a3; // a4不是常量表達式,因為a3程式的執行到達其所在的聲明處時才初始化,是以變量a4的值程式運作時才知道。編譯報錯!
return 0;
}
constexpr int a4 = a3; 編譯将報錯!
例3:
#include <iostream>
using namespace std;
int main()
{
const int a1 = 10; // a1是常量表達式。
const int a2 = a1 + 20; // a2是常量表達式
int a3 = 5; // a3不是常量表達式
const int a4 = a3; // a4不是常量表達式,因為a3程式的執行到達其所在的聲明處時才初始化,是以變量a4的值程式運作時才知道。編譯報錯!
char arr1[a2]; // 沒問題
char arr2['y']; // 沒問題,'y'的ASCII碼為121,相當于 char arr2[121];
char arr3[a4]; // 編譯報錯,因為a4不是常量表達式
return 0;
}