std::forward_iterator 的使用示例

Question

我有一个看起来像这样的compute function：

template <typename PayloadType, complex ValueType>
         static void comupte_everything(
         const typename std::vector<DataPointWithAverage<PayloadType, ValueType>>::iterator begin,
         const typename std::vector<DataPointWithAverage<PayloadType, ValueType>>::iterator end)

我想扩展 function 以便它可以接受任何迭代器而不仅仅是向量，我正在尝试使用std::forward_iterator来做到这一点：

template <typename PayloadType, complex ValueType,
std::forward_iterator<DataPointWithAverage<PayloadType, ValueType>> Iterator>
         static void comupte_everything(
          const Iterator begin,
          const Iterator end)

现在，编译器抱怨我给 forward_iterator 太多了 arguments。

我该如何正确使用它？

Answer 1

如果您想要一种迭代特定类型范围（由模板参数定义）的算法，那么您应该提出要求。

template typename PayloadType, complex ValueType, <std::forward_iterator It, std::sentinel_for<It> Sent>
    requires std::same_as<std::iter_value_t<It>, DataPointWithAverage<PayloadType, ValueType>>
  static void compute_everything(It start, Sent end)
{
}

Answer 2

std::forward_iterator是一个概念，不是模板，所以不能像模板一样使用，如果想约束iterator的value_type ，那么可以

template<typename T>
constexpr bool is_DataPointWithAverage = false;

template<typename PayloadType, complex ValueType>
constexpr bool is_DataPointWithAverage<
  DataPointWithAverage<PayloadType, ValueType>> = true;

template <std::forward_iterator I>
  requires is_DataPointWithAverage<std::iter_value_t<I>>
static void comupte_everything(I begin, I end);

这将限制I必须 model forward_iterator ，它的value_type必须是DataPointWithAverage的特化。

请注意，C++20 中range的begin()和end()可以返回不同的类型，因此更通用的声明应该是

template <std::forward_iterator I, std::sentinel_for<I> S>
  requires is_DataPointWithAverage<std::iter_value_t<I>>
static void comupte_everything(I begin, S end);