常量表達(dá)式是指值不會(huì)改變并且在編譯過程就能是到計(jì)算結(jié)果的表達(dá)式。
一個(gè)對(duì)象是不是常量表達(dá)式由它的數(shù)據(jù)類型和初始值共同決定
int fun(){return 32;}
int main(int argc, char* argv[]) {
const int max_files = 20;
const int limit = max_files + 1;
constexpr int cexp_m = max_files + 1;
int i=0;
cout << "input i:" << endl;
cin >> i;
const int ci = i+1;
cout << "ci:" << ci <<endl;
constexpr int cei = ci+1;
//constexpr int cei = fun();
return 0;
}
上例中,max_files, limit, cexp_m都是常量表達(dá)式,但cei會(huì)編譯出錯(cuò),原因是因?yàn)閏i并不是常量表達(dá)式,const對(duì)象不代表為constexpr
C++11允許將變量聲明為constexpr類型以便由編譯器來驗(yàn)證變量的值是否是一個(gè)常量表達(dá)式。
聲明為constexpr的變量一定是一個(gè)常量,而且必須用常量表達(dá)式初始化
用普通函數(shù)初始化會(huì)報(bào)編譯錯(cuò)誤;但可以用constexpr函數(shù)去初始化constexpr變量
constexpr函數(shù)的返回值可以不是常量,但返回值必須為常量表達(dá)式