std::ranges::borrowed_iterator_t, std::ranges::borrowed_subrange_t - cppreference.com (original) (raw)

Defined in header
template< ranges::range R > using borrowed_iterator_t = /* see below */; (1) (since C++20)
template< ranges::range R > using borrowed_subrange_t = /* see below */; (2) (since C++20)

These two alias templates are used by some constrained algorithms to avoid returning potentially dangling iterators or views.

[edit] Possible implementation

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>;

[edit] See also

| | a placeholder type indicating that an iterator or a subrange should not be returned since it would be dangling (class) [edit] | | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |