c++ - C ++ 11-constexpr関数内のstatic_assert？

Question

static_assert関数内でどのように適切に実行しconstexprますか？例えば：

constexpr int do_something(int x)
{
  static_assert(x > 0, "x must be > 0");
  return x + 5;
}

constexpr関数にはreturnステートメントのみが含まれている必要があるため、これは有効なC++11コードではありません。この標準に例外があるとは思いませんが、GCC4.7ではこのコードをコンパイルできません。

score 64 · Accepted Answer

constexpr関数にはreturnステートメントのみが含まれている必要があるため、これは有効なC++11コードではありません。

これは正しくありません。関数内で問題ありませんstatic_assert。うまくいかないconstexprのは、定数式で関数パラメーターを使用することです。

あなたが投げることができますx <= 0。定数式を必要とするコンテキストで関数を呼び出すと、コンパイルに失敗します

constexpr int do_something(int x) {
  return x > 0 ? (x + 5) : (throw std::logic_error("x must be > 0"));
}

score 23 · Accepted Answer

テンプレート引数はコンパイル時のみであるため、これは機能し、有効なC++11コードです。

template <int x>
constexpr int do_something() {
    static_assert(x > 0, "x must be > 0");
    return x + 5;
}

C++の定数式で行ったのと同じ問題に直面しました。現在、constexprsに関する明確なドキュメントはほとんどありません。また、gccの課題追跡システムにはいくつかの既知のバグがありますが、問題はバグではないようです。

クラス内でconstexpr関数を宣言すると、クラス内でそれらを使用できないことに注意してください。これもバグではないようです。

編集：これは標準に従って許可されています：7.1.3状態

...またはのみを含む複合ステートメント

2 に答える 2