應用功能的元組的值，現在返回一個元組

Question

，我有以下的申請兩個函數的值，並返回一個2值元組：

template<typename F1, typename F2> 
class Apply2 
{ 
public: 
    using return_type = std::tuple<typename F1::return_type, typename F2::return_type>; 

    Apply2(const F1& f1, const F2& f2) : f1_(f1), f2_(f2) {} 

    template<typename T> return_type operator()(const T& t) const 
    { 
     return std::make_tuple(f1_(t), f2_(t)); 
    } 

protected: 
    const F1& f1_; 
    const F2& f2_; 
}; 

我想概括這N函數：

template<typename ...F> 
class ApplyN 
{ 
public: 
    using return_type = std::tuple<typename F::return_type...>; 

    ApplyN(const std::tuple<F...>& fs) : functions_(fs) {} 

    template<typename T> return_type operator()(const T& t) const 
    { 
     return ???; 
    } 

protected: 
    std::tuple<F...> functions_; 
}; 

我知道我可能需要使用模板遞歸莫名其妙，但我不能包裹我的頭。有任何想法嗎？

Answer 1

我花了一段時間，但在這裏它是（使用indices）：

template<typename ...F> 
class ApplyN 
{ 
public: 
    using return_type = std::tuple<typename F::return_type...>; 

    ApplyN(const F&... fs) : functions_{fs...} {} 

    template<typename T> return_type operator()(const T& t) const 
    { 
     return with_indices(t, IndicesFor<std::tuple<F...> >{}); 
    } 

protected: 
    std::tuple<F...> functions_; 

    template <typename T, std::size_t... Indices> 
    return_type with_indices(const T& t, indices<Indices...>) const 
    { 
     return return_type{std::get<Indices>(functions_)(t)...}; 
    } 
}; 

有人之前有一個（不完全）的答案，但他/她抹去它 - 這是我的起點。無論如何，謝謝陌生人！謝謝R.馬丁霍費爾南德斯！