右辺値が基準変数

Question

をconstexprのために割り当てることができない理由私は、次のコード

constexpr int into(int a,int b) 
{ 
    int c=a*b; 
    return c; 
} 

int main() 
{ 
constexpr int &n=into(5,5); 

} 

を有し、私はキーワードconstexprがC++ 11に導入された（MSDNに）

を読んできましたC++で改善14。それは一定の表現を意味します。 constのように、変数に適用して、コードが値を変更しようとするとコンパイラエラーが発生するようにすることができます。

私はそれを読んだ後、私はconstexprがconstの代わりに使用することができると考えますが、上記のコードのために私はconstexprが置き換えられた場合

`int main()': 
invalid initialization of non-const reference of type 'int&' from an rvalue of type 'int'` 

を述べるコンパイラエラーを取得しますconst、それは正常に動作します。私はこの行動を理解していません。誰かが光を当てることができますか？

Answer 1

constexprとマークされた式は、into(5,5)の結果をintリテラルとして処理するコンパイル時に解決されます。わかっているように、参照はC++のリテラルのintにバインドすることはできません。

：

はあなたが constexpr int x=into(5,5);を作ることによって、この作品を作ることができる

は、グローバルスコープで、メインはその後、参照はxにバインドすることを可能にすると呼ばれるmain前に解決するためにxを強制xからconstexpr const int参照を作成中に表示されます

constexpr int into(int a,int b) { 
    int c=a*b; 
    return c; 
} 

// guaranteed to be resolved before main is called 
constexpr int x = into(5,5); 

int main() { 
constexpr const int& n = x; 
static_assert(n == 25, "whoops!"); 
} 

質問に具体的に答えるには、これは右辺値または移動セマンティクスとは完全に直交していますが、ニュアンスはconstexprです。グローバルスコープが胸焼けあなたを与える場合

、あなたがxにもstaticを作り、私にはより自然に思える結合の参照、前に初期化を入れることができます：constとは異なり

constexpr int into(int a,int b) { 
    int c=a*b; 
    return c; 
} 

int main() { 
// guaranteed to be resolved before main is called 
static constexpr int x = into(5,5); 
constexpr const int& n = x; 
static_assert(n == 25, "whoops!"); 
} 

Answer 2

、intに適用され、 constexprキーワードは、参照タイプint&の変数にconstを直接適用しますが、影響はありません。

typedef int &int_ref; 

int main() { 
    int x = 1; 
    int &a = x;   // OK 
    int_ref b = x;  // OK, int_ref is 'int &' 
    const int &c = 1; // OK, reference to const int 
    const int_ref d = 1; // error: type of d is 'int &' 
         // qualifier on reference are being ignored 
} 

constexpr int &nとconstexpr int_ref nconst int &nとconst int_ref nが異なる修飾子を持っていながら、 同じです。