c++ - 具有元组的C++可变参数模板

我想编写一个函数以从二进制缓冲区中提取一些数据(假设数据是按顺序存储的)。该函数在提取数据后返回数据和指针，如下所示

std::tuple<const unsigned char *, int, double, float> data = Extract<int, double, float>(p_buffer);

它从int提取double，float和p_buffer号，并且data的第一个值指示从哪里开始下一个提取工作。

我试图写这样的东西。

#include <tuple>

typedef unsigned char byte;

template<class TFirst, class... TRest>
struct Extractor
{
  static std::tuple<const byte *, TFirst, TRest...> Extract(const byte *p_current)
  {
    TFirst first_value;
    TRest... rest_values; // Not working.

    std::tie(p_current, first_value) = Extractor<TFirst>::Extract(p_current);
    std::tie(p_current, rest_values...) = Extractor<TRest...>::Extract(p_current);

    return std::make_tuple(p_current, first_value, rest_values...);
  }
};

template<class T>
struct Extractor<T>
{
  static std::tuple<const byte *, T> Extract(const byte *p_current)
  {
    return std::make_tuple(p_current + sizeof(T), *reinterpret_cast<const T *>(p_current));
  }
};

它不会编译，因为“在这种情况下无法扩展参数包”。我听说函数模板不能部分特化，所以我使用结构。如何使其运作？

最佳答案

这是一个纯C++ 11解决方案:

#include <tuple>
#include <type_traits>

typedef unsigned char byte;

template <class Type>
void ExtractValue(const byte*& p_current, Type& value)
{
    value = *reinterpret_cast<const Type*>(p_current);
    p_current += sizeof(Type);
}

template <size_t index, class... Types>
typename std::enable_if<index == sizeof...(Types)>::type
ExtractImpl(const byte*& p_current, std::tuple<Types...>& values)
{}

template <size_t index, class... Types>
typename std::enable_if<(index < sizeof...(Types))>::type
ExtractImpl(const byte*& p_current, std::tuple<Types...>& values)
{
    ExtractValue(p_current, std::get<index>(values));
    ExtractImpl<index + 1>(p_current, values);
}

template <class... Types>
std::tuple<Types...> Extract(const byte *p_current)
{
    std::tuple<Types...> values;

    ExtractImpl<0>(p_current, values);

    return values;
}

此解决方案不会将p_current添加到返回的元组中，但是您可以轻松地对其进行修复。

关于c++ - 具有元组的C++可变参数模板，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/22456415/