std::ranges::borrowed_iterator_t, std::ranges::borrowed_subrange_t

Определено в заголовочном файле `<ranges>`
template< ranges::range R > using borrowed_iterator_t = /* see below */;	(1)	(начиная с C++20)
template< ranges::range R > using borrowed_subrange_t = /* see below */;	(2)	(начиная с C++20)

1) std::ranges::iterator_t<R> если R моделирует borrowed_range, в противном случае — std::ranges::dangling.

2) std::ranges::subrange<std::ranges::iterator_t<R>> если R моделирует borrowed_range, в противном случае — std::ranges::dangling.

Эти два шаблона псевдонимов используются некоторыми ограниченными алгоритмами, чтобы избежать возврата потенциально висячих итераторов или представлений.

Возможная реализация

borrowed_iterator_t
template< std::ranges::range R > using borrowed_iterator_t = std::conditional_t<std::ranges::borrowed_range<R>, std::ranges::iterator_t<R>, std::ranges::dangling>;
borrowed_subrange_t
template< std::ranges::range R > using borrowed_subrange_t = std::conditional_t<std::ranges::borrowed_range<R>, std::ranges::subrange<std::ranges::iterator_t<R>>, std::ranges::dangling>;

borrowed_iterator_t

template< std::ranges::range R >
using borrowed_iterator_t = std::conditional_t<std::ranges::borrowed_range<R>,
    std::ranges::iterator_t<R>, std::ranges::dangling>;

borrowed_subrange_t

template< std::ranges::range R >
using borrowed_subrange_t = std::conditional_t<std::ranges::borrowed_range<R>,
    std::ranges::subrange<std::ranges::iterator_t<R>>, std::ranges::dangling>;

См. также

ranges::dangling

(C++20)

тип-заполнитель, указывающий, что итератор или subrange не следует возвращать, поскольку он станет висячим
(класс)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/ranges/borrowed_iterator_t