Dlaczego constexpr musi być statyczny?

Question

Próba utworzenia elementu struct z atrybutem constexpr bez statycznego skutkuje błędem kompilatora (patrz poniżej). Dlaczego? dla pojedynczej stałej wartości mam tę wartość w pamięci, aż program zostanie zakończony zamiast tylko zakresu struct? powinienem wrócić do korzystania z makra?

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

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

Answer 1

Nie znam oficjalnej racjonalności. Ale na pewno może to doprowadzić do zamieszania. Z jednej strony nie widzę, co to znaczy, że niestatyczny element danych ma być constexpr. Czy jesteś w stanie wykonać następujące czynności?

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

A to oznacza, że ​​inicjator musi być stała zawsze, to znaczy, że nie wolno napisać wyżej (bo n nie jest stała/potencjalnie mogłyby nie stała), ale wolno powiedzieć

foo f = { 10 }; 

Reguła, że ​​constexpr int n jest po prostu źle sformułowana, a nie jest domyślnie static wydaje mi się dobra, ponieważ jej semantyka nie byłaby jasna IMO.