std::tuple 和 boost::tuple 之间的转换

Question

给定一个 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 到 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，但我仍然不确定如何避免该编译错误。

Answer 1

进行此类操作时的常用技巧是构造一个整数序列，然后使用包扩展来初始化新元组。

这种情况下的额外转折是 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>());
}

Demo.

请注意，对于这两种情况，代码的基本结构完全相同：我们获得元组的大小（通过 boost::tuples::length 或 std::tuple_size），使用 [= 构建整数序列17=]，然后用整数序列得到boost::tuples::element和std::tuple_element的类型，以及boost::get/std::get.

的值

std::tuple 和 boost::tuple 之间的转换

Conversion between std::tuple and boost::tuple

c++

boost

tuples

variadic-templates

c++14