變換元組類型

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以獲得適當的錯誤。

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; 
};