std :: forward_as_tuple將參數傳遞給2個構造函數

我想傳遞多個參數以便在函數內部構造兩個對象，與std::pair<T1, T2>(std::piecewise_construct, ...)工作方式相同。std :: forward_as_tuple將參數傳遞給2個構造函數

所以我寫了

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的索引。你有什麼想法如何做到這一點？

來源

2017-01-03 InsideLoop

爲此，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)); 
}

Live C++11 demo

來源

2017-01-03 09:12:45 TartanLlama

感謝。不幸的是，我需要與RHEL 7提供的gcc 4.8.5兼容。所以我猜，我需要在C++ 11中實現make_index_sequence，這正是我在std :: pair的標準庫中找到的。 – InsideLoop

@InsideLoop酷，我添加了一個在C++ 11工作的現場演示。 – TartanLlama

很酷。它適用於gcc 4.8.5 :-) – InsideLoop

std :: forward_as_tuple將參數傳遞給2個構造函數

回答

相關問題