constexpr非メンバ関数のグローバル非定数変数にアクセスするのがなぜ合法でないのですか

Question

int d = 1; 
constexpr void add() 
{ 
    d++; 
} 

int main() 
{ 

} 

GCC 7.1は以下のエラーを報告します。エラーメッセージは非常に明確です。問題は、私がconstexprに明示的に説明していることが違法であるとは言いません。

誰かがこのルールで定義されているルールが違反していると説明できますか？

 

main.cpp: In function 'constexpr void add()': 

main.cpp:8:1: error: the value of 'd' is not usable in a constant expression 

} 

^ 

main.cpp:4:5: note: 'int d' is not const 

int d = 1; 

    ^

Answer 1

コメントは標準参照の観点からはうまくいきますが、ここではよりわかりやすく説明してください。

constexpr関数はコンパイル時に定数式に縮小可能でなければなりません。関数内の通常の非constintと対話しているため、コンパイラはどのような状況でもd++が何であるかを判断できません。以下のケースを考えてみましょう：

この場合

int d; 
constexpr void add() { 
    d++; 
} 

void foo() { 
    int n; 
    std::cin >> n; 
    d = n; 
    add(); 
} 

、foo()内部dの値はコンパイル時に不確定であるため、あなたとあなたを残してadd()を期待している定数式を決定することはできません。私はそれが助けて欲しい

Answer 2

cppreferenceより：

コア定数式は、任意のサブ式で、次のいずれか（例えばはsizeofのオペランド又は& &を組み込みの右オペランドとして未評価の式を無視していない任意の式であります左のオペランドが偽と評価されたとき）。

...

16）オブジェクトの変更、オブジェクトが非揮発性リテラルタイプとその寿命は、式の評価中に始まっていない限り。あなたの例では

、daddが評価された前の寿命が始まった - そうadd内部dのいずれかの変更が違法です。参照の例は、特にインクリメント用ですが、これはすべての変更に適用されます。

編集：限り、私は承知しているとして、あなたはそれを購入するために持っているので、標準から引用していない...