c++ - constexpr 関数の規則

Question

次の例では:

//Case 1
constexpr int doSomethingMore(int x)
{
    return x + 1;
}

//Case 2
constexpr int doSomething(int x)
{
    return ++x;
}


int main()
{}

出力：

prog.cpp: 関数 'constexpr int doSomething(int)':
prog.cpp:12:1: エラー: 式 '++ x' は定数式ではありません

ケース 1 は許可されているのに、ケース 2 は許可されていないのはなぜですか?

Answer 1

あなたの主張は、constexpr両方x+1の精神/技術によって++x同じであるという確かに有効です。x関数のローカル変数はどこにありますか。したがって、どのような場合でもエラーは発生しません。

この問題は C++14 で修正されました。これはフォークされたコードで、C++14 で正常にコンパイルされます。

Answer 2

定数式は、条項 5 の最後の数ページで定義されています。

大まかに説明すると、これらはコンパイル時 (変換時) に評価できる副作用のない式です。それらを取り巻くルールは、この原則を念頭に置いて作成されています。