warum rvalue nicht zuweisen Referenzvariable constexpr

Question

Ich habe folgende Code

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

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

} 

und ich habe (in MSDN)

Das Schlüsselwort constexpr eingeführt wurde in C++ 11 und verbessert in C++ 14. Es bedeutet konstanten Ausdruck. Wie const kann es auf Variablen angewendet werden, so dass ein Compilerfehler ausgelöst wird, wenn ein Code versucht, den Wert zu ändern.

Nachdem ich es las, dachte ich, dass constexpr kann anstelle von const verwendet werden, aber für den obigen Code erhalte ich einen Compiler-Fehler unter Angabe

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

Wenn constexpr mit Fassung const, es funktioniert gut. Ich verstehe dieses Verhalten nicht; Kann jemand Licht abwerfen?

Answer 1

Ausdrücke, die als constexpr markiert sind, werden zur Kompilierungszeit aufgelöst, wodurch das Ergebnis into(5,5) als int Literal behandelt wird. Wie wir wissen, können Referenzen nicht an ein int Literal in C++ gebunden werden.

Sie diese Arbeit machen könnte constexpr int x=into(5,5); indem sie erscheinen im globalen Bereich und innerhalb der Haupt eine constexpr const int Bezug auf x Schaffung x zwingen, bevor main gelöst werden aufgerufen, die dann ein Verweis auf x gebunden sein erlaubt:

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!"); 
} 

Um Ihre Frage speziell zu beantworten, ist dies vollständig orthogonal zu Rvalues ​​oder verschieben Semantik, sondern ist eine Nuance von constexpr.

Wenn globale Scoping Sie Sodbrennen gibt, könnten Sie x ein static sowie machen und vor seine Referenz setzen ihre Initialisierung Bindung, die mir natürlicher scheint:

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

Im Gegensatz zu const, die int gilt, Das Schlüsselwort constexpr wendet const direkt auf die Variable des Referenztyps int& an, die keine Auswirkung hat.

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 und constexpr int_ref n ist die gleiche, während const int &n und const int_ref n der Qualifier unterscheidet.