是否有任何理由使用 std::tuple 传递 c++ 模板包

Question

假设我们要创建一个帮助类来反转模板包，例如如下：

#include <tuple>
#include <utility>
#include <typeinfo>
#include <iostream>

template <class>
struct sizer;

template <template<class...> class Pack, class... Args>
struct sizer<Pack<Args...>> {
   static constexpr size_t value = sizeof...(Args);
};

template <class Pack, class Indices = std::make_index_sequence<sizer<Pack>::value>>
struct reverse_pack;

template <class... Args, size_t... I>
struct reverse_pack<std::tuple<Args...>, std::integer_sequence<std::size_t, I...>> {
    using type = typename std::tuple<typename std::tuple_element<(sizeof...(Args) - I - 1), std::tuple<Args...>>::type...>;
};

int main() {
   std::cout << typeid(reverse_pack<std::tuple<int, float, double>>::type).name() << std::endl;
}

我们可以使用例如成功地做完全相同的事情。函数签名作为模板参数：

#include <utility>
#include <typeinfo>
#include <iostream>

template <class>
struct sizer;

template <class... Args>
struct sizer<void(Args...)> {
   static constexpr size_t value = sizeof...(Args);
};

template <size_t N, class Sign>
struct nth_param;

template <size_t N, class First, class... Args>
struct nth_param<N, void(First, Args...)>: nth_param<N-1, void(Args...)> { };

template <class First, class... Args>
struct nth_param<0, void(First, Args...)> {
   using type = First;
};

template <class Pack, class Indices = std::make_index_sequence<sizer<Pack>::value>>
struct reverse_pack;

template <class... Args, size_t... I>
struct reverse_pack<void(Args...), std::integer_sequence<std::size_t, I...>> {
    using type = void(typename nth_param<(sizeof...(Args) - I - 1), void(Args...)>::type...);
};

int main() {
   std::cout << typeid(reverse_pack<void(int, float, double)>::type).name() << std::endl;
}

我对@9​​87654324@（例如here）的经验表明它旨在存储数据，而不是在模板之间传递类型包。那么使用元组对可变参数进行操作有什么实际理由吗？

Answer 1

那么使用tuple 对可变参数进行操作有什么实际理由吗？

tuple 不对其参数执行任何转换 - tuple<int[2]> 确实包含 int[2] 作为其第一个类型，而 void(int[2]) 实际上是 void(int*)。 const、函数和其他经历衰减的类型也是如此。这使得功能成为一个不可行的选择。

如果您编写了自己的类型列表（例如template <class... Ts> struct typelist{};），您仍然需要重新实现std::get、std::tuple_element 和std::tuple_size。这就是tuple 的优点——它随时可用。

每个人都已经知道std::tuple 是什么。即使函数签名没有以会破坏的方式衰减它们的参数，我仍然会使用创建的类型作为类型的异构容器 - 而不是将您的解决方案硬塞到其他可以工作的东西中。最小意外原则。