我想传递多个参数以便在函数内构造两个对象,方法相同 std::pair<T1, T2>(std::piecewise_construct, ...)
有效。
所以我写了
template <typename Args0..., typename Args1...>
void f(std::tuple<Arg0> args0, std::tuple<Args1> args1) {
Object0 alpha(...);
Object1 beta(...);
...
}
所以我可以打电话
f(std::forward_as_tuple(..., ..., ...), std::forward_as_tuple(..., ...))
但我不知道如何构造Object0
和 Object1
.我已经检查了我的标准库的源代码 std::pair
他们似乎使用复杂的内部函数来获取 args0 和 args1 的索引。您知道如何做到这一点吗?
最佳答案
C++17 将有 make_from_tuple
来执行此操作,但您可以在 C++11 中编写它。这是从 cppreference 窃取的 C++14 版本(对于 C++11,您可以使用来自 Implementation C++14 make_integer_sequence 的 std::index_sequence
的实现)。
namespace detail {
template <class T, class Tuple, std::size_t... I>
constexpr T make_from_tuple_impl( Tuple&& t, std::index_sequence<I...> )
{
return T(std::get<I>(std::forward<Tuple>(t))...);
}
} // namespace detail
template <class T, class Tuple>
constexpr T make_from_tuple( Tuple&& t )
{
return detail::make_from_tuple_impl<T>(std::forward<Tuple>(t),
std::make_index_sequence<std::tuple_size<std::decay_t<Tuple>>::value>{});
}
有了这个实用程序,f
的实现变得轻而易举:
template <typename... Args0, typename... Args1>
void f(std::tuple<Args0...> args0, std::tuple<Args1...> args1) {
auto alpha = make_from_tuple<Object0>(args0);
auto beta = make_from_tuple<Object1>(args1);
}
为了让它更通用,我建议只推导这些元组的类型并完美转发它们:
template <typename T0, typename T1>
void f(T0&& args0, T1&& args1) {
auto alpha = make_from_tuple<Object0>(std::forward<T0>(args0));
auto beta = make_from_tuple<Object1>(std::forward<T1>(args1));
}
关于c++ - std::forward_as_tuple 将参数传递给 2 个构造函数,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/41439848/