在异构元组上映射 C++ 重载函数？

Question

在 C++ 中，是否可以将重载函数映射到异构元组上？例如：

double f(dobule);
size_t f(std::string);

auto t = std::make_tuple(3.14, "a string");
// should be the same as std::make_tuple(f(std::get<0>(t)), f(std::get<1>(t)));
map(f, make_tuple(3.14, "a string")); // type std::tuple<double, size_t>

我可以编写一个映射函数，将f 的相同重载实例映射到每个元组元素（下面的代码），但我不知道如何将f 的重载分辨率从对@987654325 的调用中延迟@ 对f 内部map 的调用。有没有人知道如何做到这一点？

这是我将重载函数的单个实例映射到元组上的代码（其中 seq 和 gens 取自此答案 https://stackoverflow.com/a/7858971/431282）：

// basically C++14's integer sequence
template<int ...>
struct seq { };

template<int N, int ...S>
struct gens : gens<N-1, N-1, S...> { };

template<int ...S>
struct gens<0, S...> {
  typedef seq<S...> type;
};

template<typename R, typename A, typename ...B, int ...S> auto
map_1(R (*f)(A), std::tuple<B...> &&t, seq<S...>)
  -> decltype(std::make_tuple(f(std::get<S>(t))...))
{
  return std::make_tuple(f(std::get<S>(t))...);
}

template<typename R, typename A, typename ...B> auto
map(R (*f)(A), std::tuple<B...> &&t)
  -> decltype(map_1(f, std::forward<std::tuple<B...>>(t), typename gens<sizeof...(B)>::type()))
{
  return map_1(f, std::forward<std::tuple<B...>>(t), typename gens<sizeof...(B)>::type());
}

Answer 1

问题在于它不能单独使用函数指针来完成，因为您希望在绑定到参数时解决函数重载。如果不执行重载解析，您将无法获得指向函数的函数指针。关键是提供一个在调用时执行重载的函数对象，而不是在开始时尝试获取函数指针。

为此，我将主要功能声明为

template<typename Func, typename ...B> auto
map(Func&& f, std::tuple<B...> &&t)
  -> decltype(map_1(std::forward<Func>(f), std::forward<std::tuple<B...>>(t), typename gens<sizeof...(B)>::type()))
{
  return map_1(std::forward<Func>(f), std::forward<std::tuple<B...>>(t), typename gens<sizeof...(B)>::type());
}

然后以类似的方式定义map_1。

然后你可以做一个函数对象包装器

struct Wrapper
{
   template<typename T>
   auto operator()(T&& t) const -> decltype( f(std::forward<T>(t)) )
   {
       return f(std::forward<T>(t));
   }
};

并使用map(Wrapper(), make_tuple(3.14, "a string")) 调用它

编辑：如果您有 C++14，您可以执行以下操作（感谢 @MooingDuck 的启发）

#define BINDOVERLOADED(X) [](auto&& t) { return X(std::forward<decltype(t)>(t)); }
auto x = map(BINDOVERLOADED(f), make_tuple(3.14, "a string"));

见http://coliru.stacked-crooked.com/a/439f958827de8cf2