Warum muss conexpr statisch sein?

Question

Ein Versuch, ein Mitglied eines struct mit constexpr Attribute zu erzeugen, ohne statisches Ergebnis in einem Compiler-Fehler zu sein (siehe unten). Warum das? Für einen einzelnen konstanten Wert habe ich diesen Wert im Speicher, bis das Programm terminiert ist und nicht nur der Bereich von struct? Soll ich ein Makro verwenden?

struct foo 
{ 
    constexpr int n = 10; 
    // ... 
}; 

error: non-static data member cannot be constexpr; did you intend to make it static? 

Answer 1

Ich kenne die offizielle rationale nicht. Aber sicherlich könnte es zu Verwirrung führen. Ich kann zum ersten Mal nicht sehen, was es für ein nicht statisches Datenmitglied bedeutet, constexpr zu sein. Können Sie Folgendes tun?

struct foo { 
    constexpr int n = 10; 
    constexpr foo() { } 
    constexpr foo(int n):n(n) { } // overwrite value of n 
}; 

Oder bedeutet es, dass die initializer immer konstant sein muss, dh Sie sind nicht erlaubt, die oben zu schreiben (weil n nicht konstant ist/könnte möglicherweise nicht konstanten) aber erlaubt

foo f = { 10 }; 

zu sagen

Die Regel, dass constexpr int n ist einfach schlecht gebildet statt implizit static scheint mir gut, da seine Semantik IMO nicht klar wäre.