noexcept operator (since C++11)

noexcept 演算子は、式が例外を投げないと宣言されている場合に true を返すコンパイル時チェックを実行します。

これは関数テンプレート内の noexcept 指定子 内で使用でき、関数が一部の型に対しては例外をスローするが、他の型に対してはスローしないことを宣言するために使用されます。

構文

型 bool の prvalue を返す。結果は、 expression の potential exceptions の集合が空である場合 (C++17まで) expression が non-throwing と指定されている場合 (C++17以降) は true であり、それ以外の場合は false である。

expression は 未評価オペランド です。

注記

noexcept ( expr ) が true であっても、 expr の評価は未定義動作に遭遇した結果として、依然として例外を送出する可能性があります。

キーワード

noexcept

例

#include <iostream>
#include <utility>
#include <vector>
void may_throw();
void no_throw() noexcept;
auto lmay_throw = []{};
auto lno_throw = []() noexcept {};
class T
{
public:
    ~T(){} // デストラクタがムーブコンストラクタを妨げる
           // コピーコンストラクタはnoexcept
};
class U
{
public:
    ~U(){} // デストラクタがムーブコンストラクタを妨げる
           // コピーコンストラクタはnoexcept(false)
    std::vector<int> v;
};
class V
{
public:
    std::vector<int> v;
};
int main()
{
    T t;
    U u;
    V v;
    std::cout << std::boolalpha <<
        "may_throw() is noexcept(" << noexcept(may_throw()) << ")\n"
        "no_throw() is noexcept(" << noexcept(no_throw()) << ")\n"
        "lmay_throw() is noexcept(" << noexcept(lmay_throw()) << ")\n"
        "lno_throw() is noexcept(" << noexcept(lno_throw()) << ")\n"
        "~T() is noexcept(" << noexcept(std::declval<T>().~T()) << ")\n"
        // 注意: 以下のテストでは、noexcept内の式が一時オブジェクトを構築・破棄するため、
        // ~T()がnoexceptであることも必要
        "T(rvalue T) is noexcept(" << noexcept(T(std::declval<T>())) << ")\n"
        "T(lvalue T) is noexcept(" << noexcept(T(t)) << ")\n"
        "U(rvalue U) is noexcept(" << noexcept(U(std::declval<U>())) << ")\n"
        "U(lvalue U) is noexcept(" << noexcept(U(u)) << ")\n"
        "V(rvalue V) is noexcept(" << noexcept(V(std::declval<V>())) << ")\n"
        "V(lvalue V) is noexcept(" << noexcept(V(v)) << ")\n";
}

may_throw() is noexcept(false)
no_throw() is noexcept(true)
lmay_throw() is noexcept(false)
lno_throw() is noexcept(true)
~T() is noexcept(true)
T(rvalue T) is noexcept(true)
T(lvalue T) is noexcept(true)
U(rvalue U) is noexcept(false)
U(lvalue U) is noexcept(false)
V(rvalue V) is noexcept(true)
V(lvalue V) is noexcept(false)

不具合報告

以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。

関連項目