Perché constexpr deve essere statico?

Question

Un tentativo di creare un membro di una struttura con attributo constexpr senza essere statico ha come risultato un errore del compilatore (vedere di seguito). Perché? per un singolo valore costante avrò questo valore in memoria fino a quando il programma non viene terminato al posto del solo scope di struct? dovrei tornare a usare una macro?

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

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

Answer 1

Non conosco il razionale ufficiale. Ma sicuramente potrebbe portare a confusione. Io, per esempio, non riesco a vedere cosa significhi che un membro di dati non statici sia constexpr. Sei in grado di fare quanto segue?

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

Oppure significa che l'inizializzazione deve essere costante sempre, cioè non ti è permesso di scrivere quanto sopra (perché n non è costante/potrebbero non costante), ma ha permesso di dire

foo f = { 10 }; 

La regola che constexpr int n è semplicemente mal formata piuttosto che essere implicitamente static mi sembra buona, poiché la sua semantica non sarebbe chiara IMO.