[英]Conversion between std::tuple and boost::tuple
給定boost::tuple
和std::tuple
,你如何在它們之間進行轉換?
換句話說,您將如何實現以下兩個功能?
template <typename... T> boost::tuple<T...> asBoostTuple( std::tuple<T...> stdTuple);
template <typename... T> std::tuple<T...> asStdTuple (boost::tuple<T...> boostTuple);
似乎是一件簡單的事情,但我找不到任何好的解決方案。
我嘗試了什么?
我最終用模板編程來解決它。 它似乎適用於我的具體設置,但它感覺不對(太冗長),我甚至不確定它是否真的適用於所有情況(我稍后會談到這一點)。
無論如何,這是有趣的部分:
template<int offset, typename... T>
struct CopyStdTupleHelper
{
static void copy(boost::tuple<T...> source, std::tuple<T...>& target) {
std::get<offset>(target) = std::move(boost::get<offset>(source));
CopyStdTupleHelper<offset - 1, T...>::copy(source, target);
}
static void copy(std::tuple<T...> source, boost::tuple<T...>& target) {
boost::get<offset>(target) = std::move(std::get<offset>(source));
CopyStdTupleHelper<offset - 1, T...>::copy(source, target);
}
};
template<typename... T>
struct CopyStdTupleHelper<-1, T...>
{
static void copy(boost::tuple<T...> source, std::tuple<T...>& target)
{ /* nothing to do (end of recursion) */ }
static void copy(std::tuple<T...> source, boost::tuple<T...>& target)
{ /* nothing to do (end of recursion) */ }
};
std::tuple<T...> asStdTuple(boost::tuple<T...> boostTuple) {
std::tuple<T...> result;
CopyStdTupleHelper<sizeof...(T) - 1, T...>::copy(std::move(boostTuple), result);
return result;
}
boost::tuple<T...> asBoostTuple(std::tuple<T...> stdTuple) {
boost::tuple<T...> result;
CopyStdTupleHelper<sizeof...(T) - 1, T...>::copy(std::move(stdTuple), result);
return result;
}
我想知道是否有更優雅的方式。 使用boost::tuple
將現有API包裝到std::tuple
似乎是一種非常常見的操作。
我試圖為您提供一個最小的測試示例,其中僅缺少asBoostTuple
和asStdTuple
的實現。 但是,對於一些我不完全理解的boost::tuples::null_type
魔法,它無法編譯。 這也是為什么我不確定我現有的解決方案是否可以普遍應用的原因。
這是片段:
#include <tuple>
#include <boost/tuple/tuple.hpp>
template <typename... T>
boost::tuple<T...> asBoostTuple(std::tuple<T...> stdTuple) {
boost::tuple<T...> result;
// TODO: ...
return result;
}
template <typename... T>
std::tuple<T...> asStdTuple(boost::tuple<T...> boostTuple) {
std::tuple<T...> result;
// TODO: ...
return result;
}
int main() {
boost::tuple<std::string, int, char> x = asBoostTuple(std::make_tuple("A", 1, 'x'));
// ERROR:
std::tuple<std::string, int, char> y = asStdTuple<std::string, int, char>(x);
return x == y;
}
錯誤消息是:
example.cpp:20:38: error: no viable conversion from 'tuple<[3 *
...], boost::tuples::null_type, boost::tuples::null_type,
boost::tuples::null_type, boost::tuples::null_type,
boost::tuples::null_type, boost::tuples::null_type,
boost::tuples::null_type>' to 'tuple<[3 * ...], (no
argument), (no argument), (no argument), (no argument),
(no argument), (no argument), (no argument)>'
...int, char> y = asStdTuple<std::string, int, char>(x);
我理解Boost的實現不是基於可變參數模板,它應該解釋null_type
,但我仍然不確定如何避免編譯錯誤。
執行此類操作時的常用技巧是構造整數序列,然后使用包擴展來初始化新元組。
在這種情況下,額外的扭曲是null_type
。 為此,將元組類型視為不透明可能是最簡單的,並使用boost::tuples::length
和boost::tuples::element
來操作它,它已經正確處理了null_type
。 這樣您就不必依賴boost元組的實現細節了。
所以:
template <typename StdTuple, std::size_t... Is>
auto asBoostTuple(StdTuple&& stdTuple, std::index_sequence<Is...>) {
return boost::tuple<std::tuple_element_t<Is, std::decay_t<StdTuple>>...>
(std::get<Is>(std::forward<StdTuple>(stdTuple))...);
}
template <typename BoostTuple, std::size_t... Is>
auto asStdTuple(BoostTuple&& boostTuple, std::index_sequence<Is...>) {
return std::tuple<typename boost::tuples::element<Is, std::decay_t<BoostTuple>>::type...>
(boost::get<Is>(std::forward<BoostTuple>(boostTuple))...);
}
template <typename StdTuple>
auto asBoostTuple(StdTuple&& stdTuple) {
return asBoostTuple(std::forward<StdTuple>(stdTuple),
std::make_index_sequence<std::tuple_size<std::decay_t<StdTuple>>::value>());
}
template <typename BoostTuple>
auto asStdTuple(BoostTuple&& boostTuple) {
return asStdTuple(std::forward<BoostTuple>(boostTuple),
std::make_index_sequence<boost::tuples::length<std::decay_t<BoostTuple>>::value>());
}
演示 。
請注意,代碼的基本結構對於兩種情況完全相同:我們獲取元組的大小(通過boost::tuples::length
或std::tuple_size
),使用std::make_index_sequence
構造整數序列,以及然后使用整數序列來獲取帶有boost::tuples::element
和std::tuple_element
,以及帶有boost::get
/ std::get
。
聲明:本站的技術帖子網頁,遵循CC BY-SA 4.0協議,如果您需要轉載,請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.