将多态函数应用于每个元组元素的结果类型

Result type of applying polymorphic function to each tuple element

本文关键字：元素 结果 类型 元组 多态 函数 应用于      更新时间：2023-10-16

我正在尝试为元组编写一个转换函数，但是我找到的所有示例要么将函数应用于通过引用传递的元组元素，要么使用非一元函数。

但是我想要类似的东西

std::tuple<float, int> t(3.f, 2);
// returns std::tuple<bool, bool>:
auto r1 = transform(t, [] (auto v) { return v > decltype(v)(2); });
// returns std::tuple<float, int>:
auto r2 = transform(t, [] (auto v) { return v + decltype(v)(1); });

我得到的问题是：是否可以确定将一元函数应用于每个元组元素的结果类型？

std::make_tuple为您进行类型推断。您确实需要index_sequence包扩展来构建make_tuple调用：

template <typename T, typename F, std::size_t... I>
auto tmap(T&& t, F&& f, std::index_sequence<I...>) {
  return std::make_tuple(f(std::get<I>(std::forward<T>(t)))...);
}
template <typename T, typename F>
auto tmap(T&& t, F&& f) {
  return tmap(std::forward<T>(t),
              std::forward<F>(f),
              std::make_index_sequence<
                std::tuple_size<
                  typename std::decay<T>::type
                >::value>{});
}

C++11兼容的演示在科利鲁。

请注意，当返回引用

类型时，返回的元组将存储一个值f。如果你真的想存储引用，你需要更复杂的帮助程序函数：

template <typename T, typename F, std::size_t... I>
auto tmap(T&& t, F&& f, std::index_sequence<I...>) {
  return std::tuple<decltype(f(std::get<I>(std::forward<T>(t))))...>{
    f(std::get<I>(std::forward<T>(t)))...
  };
}
相关文章：