转换元组类型

Question

所以我是提升 MPL 的新手，我不知道如何将它与标准类型一起使用。

我想要一个隐藏这种类型的元函数：

std::tuple<T0, T1, ..., TN>

变成这样：

std::tuple<
  std::function<T0(std::tuple<T0, T1, ...>, std::tuple<T0, T1, ...>)>,
  std::function<T1(std::tuple<T0, T1, ...>, std::tuple<T0, T1, ...>)>,
  ...,
  std::function<TN(...)>
>

这似乎可以用 transform，但我想要一个元组类型，而不是类型向量。 （它实际上不必使用 MPL，但我想它会更短？）

背景：目前我使用完全泛型类型，并且如果使用错误，就会依赖所有的地狱，但我想计算 TupleOfFunctions< /code> 以获得正确的错误。

template<class TupleOfValues, class TupleOfFunctions>
void f(TupleOfValues v, TupleOfFunctions fun)

Answer 1

下面的怎么样？

template<typename T> struct transform;
template<typename ...T>
struct transform<std::tuple<T...>> {
  typedef std::tuple<std::function<T(std::tuple<T...>, std::tuple<T...>)>...> type;
};