std::counted_iterator<I>::operator*,->

constexpr decltype(auto) operator*();	(1)	(начиная с C++20)
constexpr decltype(auto) operator() const requires /dereferenceable*/<const I>;	(2)	(начиная с C++20)
constexpr auto operator->() const noexcept requires std::contiguous_iterator<I>;	(3)	(начиная с C++20)

1,2) Возвращает ссылку на текущий элемент. Эквивалентно return *current;.

Если count() > 0 равно false, поведение не определено.

(до C++26)

Если count() > 0 равно false:

Если реализация использует усиленные проверки, возникает нарушение контракта.
Если реализация не использует усиленные проверки, поведение не определено.

(начиная с C++26)

3) Возвращает указатель на текущий элемент. Эквивалентно return std::to_address(current);.

Возвращаемое значение

Ссылка или указатель на текущий элемент.

Пример

#include <complex>
#include <iostream>
#include <iterator>

using std::operator""i;

int main()
{
    const auto il = {1.i, 2.i, 3.i, 4.i, 5.i};
    
    for (std::counted_iterator i{il.begin() + 1, 3}; i != std::default_sentinel; ++i)
        std::cout << *i << ' ';
    std::cout << '\n';
    
    for (std::counted_iterator i{il.begin() + 1, 3}; i != std::default_sentinel; ++i)
        std::cout << i->imag() << ' ';
    std::cout << '\n';
}

Вывод:

(0,2) (0,3) (0,4)
2 3 4

См. также

operator[]

доступ к элементу по индексу
(открытая функция-член)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/iterator/counted_iterator/operator*