yu::tuples::is_nothrow_applicable_r

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

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

    template <typename F, typename T>
    inline constexpr bool is_nothrow_applicable_r_v = is_nothrow_applicable_r<F, T>::value;
}

概要

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

効果

Tupleを展開して型Fのオブジェクトを関数呼び出しする式が有効で，その戻り値型がRに変換可能であり，さらにその際に例外を送出しないのならば，std::true_typeから派生する． そうでなければ，std::false_typeから派生する．