C++20带来了更强大的iterator系统,其中之一就是在iterator_category
的基础上引入iterator_concept
。
我发现C++20中很多迭代器的iterator_concept
和iterator_category
不一致。将最著名的iota_view
视为example:
using R = decltype(views::iota(0));
static_assert(random_access_range);
using I = ranges::iterator_t;
static_assert(same_as);
static_assert(same_as);
虽然R
模型random_access_range
,但其迭代器的iterator_category
只是一个input_iterator_tag
,与iterator_concept
不一致。
为什么C++20引入iterator_concept
?它的目的是什么?如果我实现自己的迭代器,我如何正确定义iterator_concept
和iterator_category
?iterator_category
在C++20中是否仍有意义?
C++17(C++98)迭代器模型和C++20 Ranges迭代器模型之间存在不向后兼容的差异。两个大问题是:
value_type&
或value_type const&
。contiguous
迭代器。最强的类别是random_access
。(1)的结果非常重要-它意味着如果您有一个返回pr值的迭代器(无论是否代理引用),它永远不会比输入迭代器更强。因此,views::iota(1, 10)
尽管能够轻松支持随机访问,但充其量也只是一个C++98输入范围。
iterator_category
进行判断的现有代码完全有权假定,如果iterator_category
是bidirectional_iterator_tag
,则其reference
是对value_type
的某种左值引用。iterator_concept
所做的是添加一个新的C++20层,它允许迭代器既宣传其C++98/17类别,又明确地宣传其C++20类别。因此,回到iota_view
示例,该视图的迭代器将iterator_category
设置为input_iterator_tag
(因为reference
是一个pr值,因此它不满足甚至转发的旧要求),但它的iterator_concept
被设置为random_access_iterator_tag
(因为一旦我们放弃该限制,我们就可以轻松地支持所有随机访问限制)。
在[iterator.concepts.general]中,我们有一个神奇的函数ITER_CONCEPT(I)
,它帮助我们确定在C++20中使用什么标记。
(2)的问题是,由于各种C++98/17代码将检查该标记的方式(许多代码可能会准确地检查random_access_iterator_tag
),因此很难在之前只添加一个新的contiguous_iterator_tag
。iterator_concept
方法通过引入直接为您检查正确事物的概念来避免此问题(即random_access_iterator
概念检查ITER_CONCEPT(I)
派生自random_access_iterator_tag
,而不是简单地从random_access_iterator_tag
派生)。
指南:
std::iterator_traits::iterator_category
。std::meow_iterator
概念iterator_category
别名,并确保遵循向前迭代器/引用限制(或...不要,但这是你的责任)iterator_category
和iterator_concept
类型别名进行了很好的描述。这篇关于在C++20中,迭代器类别和迭代器概念有什么不同?的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持吉威生活!
[英文标题]What is the difference between iterator_category and iterator_concept in C++20?
声明:本媒体部分图片、文章来源于网络,版权归原作者所有,如有侵权,请联系QQ:330946442删除。