yu::tuples::is_nothrow_applicable

この項目は仕様が確定していますが，現在はまだ実装されていません．

namespace yu::tuples {
    template <typename F, typename T>
    struct is_nothrow_applicable;

    template <typename F, typename T>
    inline constexpr bool is_nothrow_applicable_v = is_nothrow_applicable<F, T>::value;
}

概要

関数呼び出し可能な型Fに対して、 Tupleである型Tの要素を展開して関数呼び出しが可能で，その際に例外を送出しないことを調べる。 std::is_nothrow_invocableのapply版である．

効果

Tupleを展開して型Fのオブジェクトを関数呼び出しする式が有効であれば，std::true_typeから派生する． そうでなければ，std::false_typeから派生する．