std :: vector的模板化迭代器

Question

我正在创建一个实用程序函数，以将字节数组组合为基于模板类型的值。

我目前有两个重载函数，它们接受一对正向迭代器和一对反向迭代器，以便处理大小端字节。

是否可以有一个模板化矢量迭代器并将我的两个函数简化为一个？

例如，这就是我想要做的：

template <typename T, typename Iter>
inline T combine_bytes(std::vector<unsigned char>::Iter const &start,
                       std::vector<unsigned char>::Iter const &end,
                       bool bigendian)
{
    T ret;
    std::copy(start, end, reinterpret_cast<unsigned char *>(&ret));

    return ret;
}

我得到的编译错误是：

Failed to specialize function template 'T Utils::combine_bytes(const Iter &, const Iter &)'

Answer 1

您可以使用static_assert来确保迭代器引用的类型为unsigned char 。 然后，您不必担心正在迭代哪种类型的容器：

template <typename T, typename Iter>
inline T combine_bytes(Iter start, Iter end)
{
    static_assert(std::is_same<std::decay_t<decltype(*start)>, unsigned char>::value,
                  "Must use unsigned char");
    T ret;
    std::copy(start, end, reinterpret_cast<unsigned char *>(&ret));

    return ret;
}

在进行此操作时，如果您不只是为了简化示例，可能需要添加一些运行时检查以确保std::distance(begin, end) == sizeof(T) 。

Answer 2

我想，使用SFINAE，您可以编写如下内容

template <typename T, typename Iter>
inline typename std::enable_if<
      std::is_same<Iter, std::vector<unsigned char>::iterator>{}
   || std::is_same<Iter, std::vector<unsigned char>::reverse_iterator>{},
   T >::type combine_bytes (Iter const & start,
                            Iter const & end,
                            bool bigendian)
{
    T ret;
    std::copy(start, end, reinterpret_cast<unsigned char *>(&ret));

    return ret;
}

即：为通用模板类型Iter定义函数，并仅在Iter为std::vector<unsigned char>::iterator或std::vector<unsigned char>::reverse_iterator启用它