引数よりもパラメータの多い関数/ファンクタを呼び出す

Question

与えられたパラメータで関数を呼び出すことができるテンプレート関数を記述したいと思います。

template<class F, class... Args> 
inline auto invoke(F &&func, Args&&... args) -> decltype(auto) 
{ 
    return std::forward<F>(func)(std::forward<Args>(args)...); 
} 

このinvokeはfが必要とするパラメータの同じカウントを受け付けます。

例えば、私は、単純な関数invokeを書くことができます。しかし、私はこのテンプレート関数に追加の未使用のパラメータを許可したい。ある は、私のようないくつかのコードを書きたい：

ここ

auto f = [] (auto a) {...}; 
invoke(f, 1, 2, 3); 

は、fは、唯一のパラメータは、そう、私はinvokeは最初のものを除いて、他のパラメータを無視したい受け入れます。 これは、ラムダが一般的でない限りラムダを得ることによって非常に容易に達成することができる。 f以来

ここでは、私の知る限り、そのtemplate operator()<...>の明示的なインスタンスなしfのアリティを把握するという一般的な方法はありません、一般的なラムダです。

どうすればいいですか？invoke？

Answer 1

一つの可能​​性：

#include <utility> 
#include <cstddef> 
#include <tuple> 

template <std::size_t... Is, typename F, typename Tuple> 
auto invoke_impl(int, std::index_sequence<Is...>, F&& func, Tuple&& args) 
    -> decltype(std::forward<F>(func)(std::get<Is>(std::forward<Tuple>(args))...)) 
{ 
    return std::forward<F>(func)(std::get<Is>(std::forward<Tuple>(args))...); 
} 

template <std::size_t... Is, typename F, typename Tuple> 
decltype(auto) invoke_impl(char, std::index_sequence<Is...>, F&& func, Tuple&& args) 
{ 
    return invoke_impl(0 
        , std::index_sequence<Is..., sizeof...(Is)>{} 
        , std::forward<F>(func) 
        , std::forward<Tuple>(args)); 
} 

template <typename F, typename... Args> 
decltype(auto) invoke(F&& func, Args&&... args) 
{ 
    return invoke_impl(0 
        , std::index_sequence<>{} 
        , std::forward<F>(func) 
        , std::forward_as_tuple(std::forward<Args>(args)...)); 
} 

DEMO