web-dev-qa-db-ja.com

consteval関数が未定義の動作を許可するのはなぜですか？

C++の定数式には非常にきちんとした特性があります。それらの評価に未定義の動作を含めることはできません（ 7.7.4.7 ）：

抽象マシン（[intro.execution]）の規則に従ってeの評価が次のいずれかを評価しない限り、式eはコア定数式です。

  • ...

  • このドキュメントの[intro]から[cpp]で指定されている未定義の動作を持つ操作[注：たとえば、符号付き整数オーバーフロー（[expr.prop]）、特定のポインター演算（[expr.add]）、ゼロによる除算、または特定のシフト演算—後記];

13!の値をconstexpr intに保存しようとすると、実際に Niceコンパイルエラーが発生します ：

constexpr int f(int n) 
{
    int r = n--;
    for (; n > 1; --n) r *= n;
    return r;
}

int main() 
{
    constexpr int x = f(13);
    return x;
}

出力：

9:19: error: constexpr variable 'x' must be initialized by a constant expression
    constexpr int x = f(13);
                  ^   ~~~~~
4:26: note: value 3113510400 is outside the range of representable values of type 'int'
    for (; n > 1; --n) r *= n;
                         ^
9:23: note: in call to 'f(3)'
    constexpr int x = f(13);
                      ^
1 error generated.

（ところで、エラーがf（13）の呼び出しであるのに、「call to 'f（3）'」と表示されるのはなぜですか？）

次に、constexprをxから削除しますが、fをconstevalにします。 the docs によると：

consteval-関数が即時関数であることを指定します。つまり、関数を呼び出すたびにコンパイル時定数を生成する必要があります。

私はそのようなプログラムが再びコンパイルエラーを引き起こすことを期待しています。しかし、代わりに プログラムはUBでコンパイルおよび実行されます です。

何故ですか？

UPD：コメント投稿者から、これはコンパイラのバグであることが示唆されました。私はそれを報告しました： https://bugs.llvm.org/show_bug.cgi?id=43714

c++undefined-behaviorc++20consteval
16
Mikhail

これはコンパイラのバグです。または、より正確に言うと、これは「実装が不十分」な機能です（ bugzillaのコメント を参照）。

うん-constevalはまだ実装されていないようです： https://clang.llvm.org/cxx_status.html

（キーワードはおそらく追加されましたが、実際の実装サポートではありません）

2
Mikhail