yu::tuples::apply

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

namespace yu::tuples {
    template <typename F, tuple T>
    constexpr apply_result_t<F, T> apply(F&& f, T&& t) noexcept(is_nothrow_applicable_v<F, T>);
}

概要

Tupleを展開し，関数の引数に適用してその関数を実行する．

この関数テンプレートは，ADLで発見されないように，実際は関数オブジェクトとして定義される．

要件

適用先の関数はCallableであること．

効果

次のような関数があるとき，

template<typename F, tuple T, std::size_t... Idx>
constexpr decltype(auto) apply_impl(F&& f, T&& t, std::index_sequence<Idx...>) {
  return std::invoke(std::forward<F>(f), tuples::get<Idx>(std::forward<T>(t))...);
}

次と等価である．

apply_impl(std::forward<F>(f), std::forward<T>(t), index_sequence_for<T>{});

戻り値

適用した関数呼び出しの戻り値

例外

例外指定はis_nothrow_applicable_v<F, Tuple>による．