鉴于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);
似乎是一件简单的事情,但我找不到任何好的解决方案。
我尝试了什么?
我最终用模板编程来解决它。它似乎适用于我的具体设置,但它感觉不对(太冗长),我甚至不确定它是否真的适用于所有情况(我稍后会谈到这一点)。< / p>
无论如何,这是有趣的部分:
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
将std::tuple
封装到现有API似乎是一种非常常见的操作。
我尝试为您提供最小的测试示例,其中仅缺少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
,但我仍然不确定如何避免编译错误。
答案 0 :(得分:11)
执行此类操作时的常用技巧是构造整数序列,然后使用包扩展来初始化新元组。
在这种情况下,额外的扭曲是null_type
。为此,将元组类型视为不透明可能是最简单的,并使用boost::tuples::length
和boost::tuples::element
对其进行操作,null_type
和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
。这样您就不会依赖boost元组的实现细节。
所以:
std::tuple_size
请注意,代码的基本结构在两种情况下完全相同:我们获取元组的大小(通过std::make_index_sequence
或boost::tuples::element
),使用{{1}构造整数序列然后使用整数序列获取std::tuple_element
和boost::get
的类型,以及std::get
/ {{1}}的值。