C++14。声明一个具有相同类型和固定长度参数列表的函数

Question

有没有一种可能的方法来使用 C++14 来实现某种辅助结构，它将 Number 作为模板参数, 返回类型 Ret和输入类型 T并且将包含成员类型 std::function<Ret(T...)>哪里sizeof...(T) == Number ?

Answer 1

我想下面的 C++14 代码可以告诉你一个方法

#include <utility>
#include <functional>
#include <type_traits>

template <typename T, std::size_t>
using use_type = T;

template <typename...>
struct bar;

template <typename Ret, typename T, std::size_t ... Is>
struct bar<Ret, T, std::index_sequence<Is...>>
 { std::function<Ret(use_type<T, Is>...)> func; };

template <std::size_t N, typename Ret, typename T>
struct foo : public bar<Ret, T, std::make_index_sequence<N>>
 { };

int main ()
 {
   using T1 = std::function<void(int, int, int)>;
   using T2 = decltype(foo<3u, void, int>::func);

   static_assert( std::is_same<T1, T2>::value, "!" );
 }