std::common_iterator<I,S>::operator*,->

constexpr decltype(auto) operator*();

constexpr decltype(auto) operator*() const
    requires /*dereferenceable*/<const I>;

constexpr auto operator->() const
    requires /* see description */;

class /*proxy*/ {
    std::iter_value_t<I> keep_;
    constexpr proxy(std::iter_reference_t<I>&& x)
        : keep_(std::move(x)) {}
public:
    constexpr const std::iter_value_t<I>* operator->() const noexcept {
        return std::addressof(keep_);
    }
};

Возвращает указатель или ссылку на текущий элемент, или прокси, содержащий его.

Поведение неопределено, если базовый объект-член std::variant var не содержит объект типа I, т.е. std::holds_alternative<I>(var) равен false.

Пусть it обозначает итератор типа I, хранящийся в var, т.е. std::get<I>(var).

• Эквивалентно return it;, если I является типом указателя или если выражение it.operator->() является корректным.
• В противном случае, эквивалентно auto&& tmp = *it; return std::addressof(tmp);, если std::iter_reference_t<I> является типом ссылки.
• В противном случае, эквивалентно return proxy(*it);, где proxy — это класс только для примера (4).

Параметры

(нет)

Значение возврата

Пример

#include <complex>
#include <initializer_list>
#include <iostream>
#include <iterator>
 
using std::complex_literals::operator""i;
 
int main()
{
    const auto il = {1i, 3.14 + 2i, 3i, 4i, 5i};
 
    using CI = std::common_iterator<
        std::counted_iterator<decltype(il)::iterator>,
        std::default_sentinel_t>;
 
    CI ci{std::counted_iterator{std::next(begin(il), 1), std::ssize(il) - 1}};
 
    std::cout << *ci << ' ' << ci->real() << '\n';
}

(3.14,2) 3.14

Отчеты о дефектах

Следующие отчеты о дефектах, меняющие поведение, были применены ретроактивно к ранее опубликованным стандартам C++.

См. также