operator-(std::counted_iterator)
From cppreference.com
< cpp | iterator | counted iterator
C++
Feature test macros (C++20)
Concepts library (C++20)
Metaprogramming library (C++11)
Ranges library (C++20)
Filesystem library (C++17)
Concurrency support library (C++11)
Execution control library (C++26)
Iterator library
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)(C++20)(C++20)(C++23)(C++20)(C++20)
(deprecated in C++17)
(C++20)
(C++20)
(C++20)(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++14)
(C++11)
(C++11)
(C++20)(C++20)
(C++20)(C++20)
(C++20)
(C++20)
(C++20)
(C++23)
(C++23)
(C++23)
(C++23)
(C++23)
(C++11)(C++14)
(C++14)(C++14)
std::counted_iterator
(C++20)(C++20)
(C++20)
(C++20)
operator-
(C++20)
(C++20)
(C++20)
(C++20)
template< std::common_with <I> I2 >
(since C++20)
friend constexpr std::iter_difference_t <I2> operator-(
Computes the distance between two iterator adaptors.
The behavior is undefined if x and y do not point to elements of the same sequence. That is, there must exist some n such that std::next (x.base(), x.count() + n) and std::next (y.base(), y.count() + n) refer to the same element.
This function template is not visible to ordinary unqualified or qualified lookup, and can only be found by argument-dependent lookup when std::counted_iterator<I> is an associated class of the arguments.
Contents
[edit] Parameters
x, y
-
iterator adaptors to compute the difference of
[edit] Return value
y.count() - x.count()
[edit] Notes
Since the length counts down, not up, the order of the arguments of operator- in the underlying expression is reversed, i.e. y is lhs and x is rhs.
[edit] Example
Run this code
#include <initializer_list> #include <iterator> int main() { static constexpr auto v = {1, 2, 3, 4, 5, 6}; constexpr std::counted_iterator <std::initializer_list <int>::iterator> it1{v.begin(), 5}, it2{it1 + 3}, it3{v.begin(), 2}; static_assert(it1 - it2 == -3); static_assert(it2 - it1 == +3); // static_assert(it1 - it3 == -3); // UB: operands of operator- do not refer to // elements of the same sequence }