使用迭代器的泛型函数中的 const 正确性

Question

我想编写一个接受序列的通用函数，同时保证不改变所述序列。

template<typename ConstInputIter, typename OutputIter>
OutputIter f(ConstInputIter begin, ConstInputIter end, OutputIter out)
{
  InputIter iter = begin;
  do
  {
    *out++ = some_operation(*iter);
  }while(iter!=end);
  return out;
}

然而，上面的示例仍然可以将任何类型作为ConstInputIterator ，而不仅仅是const类型。 到目前为止，在其中成为const的概念是名义上的。

我如何声明这个 function 不会改变给定的序列？

Answer 1

即使在 C++20 中，也没有通用方法将非const T上的迭代器强制转换为T const上的迭代器。 特定的迭代器可能具有执行此操作的机制，您可以使用std::cbegin/cend获取范围以获取 const 迭代器。 但是只给定一个迭代器，您将受制于用户提供的内容。

应用 C++20 约束（要求iter_value_t为const ）是错误的，因为您的 function 应该能够在非const范围内运行。

Answer 2

由于c++17 ，您可以在每次尊重迭代器时使用std::as_const ：

// ...
*out++ = some_operation(std::as_const(*iter));
// ...

这确保您永远不会通过非const左值引用访问底层容器的元素。

注意：如果您无权访问c++17 ，那么实现您自己的std::as_const版本非常简单。 只要确保你在命名空间std之外声明它。