在设计可变模板API时，我应该更喜欢使用元组还是参数包？

Question

我正在（重新）为这个库设计一个API。并且有这个函数将采用任何数量的模板化参数。我可以将其定义为：

template<typename... Ts>  
void foo(bar_t bar, Ts... params); 

，或者为：

template<typename... Ts>  
void foo(bar_t bar, std::tuple<Ts...> params); 

我知道这两个是可互换的（在两个方向）：

C++11: I can go from multiple args to tuple, but can I go from tuple to multiple args?

所以两种选择都一样，但是 - 我应该更喜欢一种变体，还是仅仅是品味/个人风格？

Answer 1

1. 元组方法在呼叫方很难。例如，转发需要用户使用不同的tuple定义或forward_as_tuple。相比之下，可变参数的转发仅仅是函数接口的问题，仅此而已。来电者甚至不必知道它。

2. 对于许多用途，元组方法在实现者方面比较困难。拆开参数包的包装比拆开包装tuple容易得多。虽然参数包数量有限，但它们比tuple更具灵活性。

3. 元组方法允许调用链接。没有可变返回值这样的事情，并且当结构化绑定接近时，您不能将多个返回值推送到函数的多个参数中。相比之下，使用元组和元组的返回值，可以将调用从一个函数链接到另一个函数。

因此，如果调用链是什么，很可能到了很多事给你，然后一个元组接口可能是适当的。否则，这只是一小撮收益而已。