yu::tuples::is_applicable_r

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

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

    template <typename R, typename F, typename T>
    inline constexpr bool is_applicable_r_v = is_applicable_r<F, T>::value;
}

概要

関数呼び出し可能な型Fに対して、 Tupleである型Tの要素を展開して関数呼び出しが可能で，その戻り値型がRに変換可能かどうかを調べる． std::is_invocable_rのapply版である．

効果

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