Namespaces
Variants

operator- (std::common_iterator)

From cppreference.net
Iterator library
Iterator concepts
Iterator primitives
Algorithm concepts and utilities
Indirect callable concepts
Common algorithm requirements
(C++20)
(C++20)
(C++20)
Utilities
(C++20)
Iterator adaptors
Range access
(C++11) (C++14)
(C++14) (C++14)
(C++11) (C++14)
(C++14) (C++14)
(C++17) (C++20)
(C++17)
(C++17)
template < std:: sized_sentinel_for < I > I2, std:: sized_sentinel_for < I > S2 >

requires std:: sized_sentinel_for < S, I2 >
friend constexpr std:: iter_difference_t < I2 >

operator - ( const common_iterator & x, const std:: common_iterator < I2, S2 > & y ) ;
(начиная с 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)