C++ 有生成常量迭代器吗?

C++ 有生成常量迭代器吗?,c++,iterator,constants,stl-algorithm,const-iterator,C++,Iterator,Constants,Stl Algorithm,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,

有时我想使用由算法库中的函数返回的迭代器。当我在修改函数和非修改函数之间切换时,我面临的问题就会出现。原因在非修改函数中,我想使用一个
常量迭代器
。例如:

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;
向量v={1,8,7,4,3,6,2,5}; autoit=partition(开始(v),结束(v),绑定(更大的(),占位符::_1,3));
cout简单地将可变迭代器转换为常量迭代器的成本要低得多:

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

cout您可以指定模板参数:

find<decltype(cbegin(v))>(cbegin(v), it, 13) != cend(v)
find(cbegin(v),it,13)!=欧洲标准化委员会(五)

有三种方法

第一个是写作

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<std::vector<int>>::const_iterator>( cbegin(v), it, 13) != cend(v)) << endl;

不能只是先发制人的评论,我知道我可以直接在
v
上使用
find
。我不是在寻找一种更好的方式来编写我的玩具示例;我正在寻找它所说明的问题的解决方案。所有STL容器
iterator
都可以转换为它的
const\u iterator
。请参阅,对于玩具示例,使用
std::list
可能会更好,否则像
distance
这样昂贵的断言就站不住脚了。@JonathanMee这样的东西?尼斯链接- Scott Meyers还没有包括在他的13有效的现代C++。他指出,在c++11中,常量迭代器到迭代器的转换是UB。但他提到有一些方法可以实现这一点,但这些方法不值得写在书中。有保证这样的转化吗?@Cheersandhth.-Alf请看这里:@FantasticMrFox:太棒了,谢谢。我有点相信这个好机器人。但是一个标准的引用就解决了这个问题。“注意:迭代器和常量迭代器在本例中具有相同的语义,迭代器可以转换为常量迭代器。”-我发现这个措辞明确地复制粘贴在23.2.4关联容器和23.2.5无序关联容器之间。奇怪的是,它在23.3序列容器中缺失了,这似乎是一个疏忽,除非它的措辞稍有不同。@JonathanMee——从标准中找到了引用,这似乎适用于所有迭代器类型。我发现错误实际上是因为我在
find
的模板推导中造成了歧义。所以这和其他例子一样,强制转换。有没有任何地方声明这样的强制转换是合法的,而不仅仅是定义了实现?是的,我在问题中提到1是不可取的。其他两个选项都有效地转换为
常量迭代器
(我不知道您可以这么做。)标准中是否有明确允许的内容?@JonathanMee请参见表96-容器要求中关于迭代器的行。
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;