operator- (std::common_iterator)
| Iterator concepts | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Iterator primitives | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Algorithm concepts and utilities | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Indirect callable concepts | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Common algorithm requirements | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Utilities | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Iterator adaptors | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Member functions | ||||
| Non-member functions | ||||
|
(C++20)
|
||||
|
operator-
(C++20)
|
||||
|
(C++20)
|
||||
|
(C++20)
|
||||
| Helper classes | ||||
|
template
<
std::
sized_sentinel_for
<
I
>
I2,
std::
sized_sentinel_for
<
I
>
S2
>
requires
std::
sized_sentinel_for
<
S, I2
>
|
(начиная с C++20) | |
Вычисляет расстояние между двумя адаптерами итераторов. Два сторожа считаются равными.
Пусть
var
обозначает базовый объект-член
std::variant
в
std::common_iterator
, поведение не определено, если любой из
x
или
y
является невалидным, т.е.
x.
var
.
valueless_by_exception
(
)
||
y.
var
.
valueless_by_exception
(
)
равно
true
.
Этот шаблон функции не видим для обычного unqualified или qualified lookup , и может быть найден только с помощью argument-dependent lookup , когда std::common_iterator<I> является ассоциированным классом аргументов.
Содержание |
Параметры
| x, y | - | адаптеры итераторов для вычисления разности |
Возвращаемое значение
-
0
если
x.
var
содержит объект
Sи y. var содержит объектS2, т.е. оба содержат сторожевой элемент. -
В противном случае,
alt_x
-
alt_y
, где
alt_xиalt_yявляются альтернативами, содержащимися в x. var и y. var соответственно (либо два итератора, либо один итератор и один сторожевой элемент).
Пример
#include <algorithm> #include <iostream> #include <iterator> int main() { int a[]{0, 1, 2, 3, 4, 5}; using CI = std::common_iterator< std::counted_iterator<int*>, std::default_sentinel_t >; CI i1{std::counted_iterator{a + 1, 2}}; CI i2{std::counted_iterator{a, 3}}; CI s1{std::default_sentinel}; CI s2{std::default_sentinel}; std::cout << (s2 - s1) << ' ' << (i2 - i1) << ' ' << (i1 - s1) << '\n'; }
Вывод:
0 -1 -2
Отчеты о дефектах
Следующие отчеты об изменениях поведения, влияющие на дефекты, были применены ретроактивно к ранее опубликованным стандартам C++.
| DR | Applied to | Behavior as published | Correct behavior |
|---|---|---|---|
| LWG 3574 | C++20 |
variant
был полностью constexpr (P2231R1), но
common_iterator
не был
|
также сделан constexpr |
Смотрите также
перемещает
common_iterator
(public member function) |