有make_const_iterator吗？

Question

有时我想使用算法库中函数返回的迭代器。当我在修改函数和非修改函数之间切换时，就会出现我面临的问题。因为在非修改函数中我想使用 const_iterator。举个例子：

vector<int> v = { 1, 8, 7, 4, 3, 6, 2, 5 };
auto it = partition(begin(v), end(v), bind(greater<int>(), placeholders::_1, 3));

cout << (find(cbegin(v), it, 13) != cend(v)) << endl;

当我尝试编译此代码时出现错误：

no matching function for call to find(std::vector<int>::const_iterator, __gnu_cxx::__normal_iterator<int*, std::vector<int> >&, int)

我运行遇到的问题是我能找到的唯一可能很昂贵的转换过程：auto cit = next(cbegin(v), distance(begin(v), it))

有什么方法可以使它正常工作吗？或者我是在转换还是只使用非 const_iterators？

Answer 1

将可变迭代器简单地转换为常量迭代器要便宜得多：

cout << (find(cbegin(v), vector<int>::const_iterator{it}, 13)
      != cend(v)) << endl;

可变迭代器应始终可转换为常量迭代器。

编辑：我找到了保证迭代器可转换为常量迭代器的标准部分。

Table 23.2 "Container requirements" 部分中的 96 指定表达式 X::iterator 结果为：

any iterator category that meets the forward iterator requirements. convertible to X::const_iterator.

Answer 2

您可以指定模板参数：

find<decltype(cbegin(v))>(cbegin(v), it, 13) != cend(v)

Demo

Answer 3

共有三种方法。

第一个写

cout << (find( begin(v), it, 13) != cend(v)) << endl;
               ^^^^^

第二个是写

cout << (find(cbegin(v), static_cast<std::vector<int>::const_iterator>( it )
, 13) != cend(v)) << endl;

或更短

cout << (find(cbegin(v), static_cast<decltype( v.cbegin())>( it )
, 13) != cend(v)) << endl;

而第三个是写

cout << (find<std::vector<int>>::const_iterator>( cbegin(v), it, 13) != cend(v)) << endl;

或更短

cout << (find<decltype( v.cbegin())>( cbegin(v), it, 13) != cend(v)) << endl;

有make_const_iterator吗？

Is There a make_const_iterator?

c++

iterator

constants

stl-algorithm

const-iterator