std::ranges::subrange<I,S,K>::subrange

From cppreference.com

Compiler support
Freestanding and hosted
Language
Standard library
Standard library headers
Named requirements
Feature test macros(C++20)
Language support library
Concepts library(C++20)
Diagnostics library
Memory management library
Metaprogramming library(C++11)
General utilities library
Containers library
Iterators library
Ranges library(C++20)
Algorithms library
Strings library
Text processing library
Numerics library
Date and time library
Input/output library
Filesystem library(C++17)
Concurrency support library(C++11)
Execution control library(C++26)
Technical specifications
Symbols index
External libraries

[edit]

Ranges library

Range access

begin
cbegin
end
cend

rbegin
crbegin
rend
crend

size
ssize
data
cdata

reserve_hint (C++26)
empty

Range conversions
std::from_range_t std::from_range (C++23)(C++23)
to (C++23)

Dangling iterator handling
dangling
borrowed_iterator_t
borrowed_subrange_t

Range primitives

range_size_trange_difference_trange_value_t
elements_of (C++23)

iterator_tconst_iterator_tsentinel_tconst_sentinel_t

(C++23)(C++23)

range_reference_trange_const_reference_trange_rvalue_reference_trange_common_reference_t

(C++23)

Range concepts

range
borrowed_range
common_range

sized_range
viewable_range
view

input_range
output_range
forward_range

bidirectional_range
random_access_range
contiguous_range

approximately_sized_range (C++26)
constant_range (C++23)

empty_viewviews::empty

single_viewviews::single

basic_istream_viewviews::istream

iota_viewviews::iota

repeat_viewviews::repeat

(C++23)(C++23)

Range adaptors

views::all_tviews::all
as_rvalue_viewviews::as_rvalue (C++23)(C++23)
filter_viewviews::filter
transform_viewviews::transform
take_viewviews::take
take_while_viewviews::take_while
common_viewviews::common
views::counted
to_input_viewviews::to_input (C++26)(C++26)

ref_view
drop_viewviews::drop
drop_while_viewviews::drop_while
lazy_split_viewviews::lazy_split
split_viewviews::split
join_viewviews::join
join_with_viewviews::join_with (C++23)(C++23)
concat_viewviews::concat (C++26)(C++26)
cache_latest_viewviews::cache_latest (C++26)(C++26)

owning_view
reverse_viewviews::reverse
as_const_viewviews::as_const (C++23)(C++23)
elements_viewviews::elements
keys_viewviews::keys
values_viewviews::values
enumerate_viewviews::enumerate (C++23)(C++23)
zip_viewviews::zip (C++23)(C++23)
zip_transform_viewviews::zip_transform (C++23)(C++23)

adjacent_viewviews::adjacent (C++23)(C++23)
views::pairwise (C++23)
adjacent_transform_viewviews::adjacent_transform (C++23)(C++23)
views::pairwise_transform (C++23)
chunk_viewviews::chunk (C++23)(C++23)
slide_viewviews::slide (C++23)(C++23)
chunk_by_viewviews::chunk_by (C++23)(C++23)
stride_viewviews::stride (C++23)(C++23)
cartesian_product_viewviews::cartesian_product (C++23)(C++23)

Range generators
std::generator (C++23)

Range adaptor closure objects
range_adaptor_closure (C++23)

Range adaptor objects

Helper items

copyable-box
movable-box

(until C++23) (C++23)

simple-view
non-propagating-cache

[edit]

std::ranges::subrange

Member functions
subrange::subrange
subrange::operator PairLike
Observers
subrange::begin
subrange::end
subrange::empty
subrange::size
Iterator operations
subrange::advance
subrange::next
subrange::prev
Deduction guides
Non-member functions
get(std::ranges::subrange)
Helper types
subrange_kind
tuple_size<std::ranges::subrange>
tuple_element<std::ranges::subrange>

[edit]

subrange() requiresstd::default_initializable<I>=default;	(1)	(since C++20)
constexpr subrange(/convertible-to-non-slicing/<I>auto i, S s) requires(!/StoreSize/);	(2)	(since C++20)
constexpr subrange(/convertible-to-non-slicing/<I>auto i, S s, /make-unsigned-like-t/<std::iter_difference_t<I>> n) requires(K== ranges::subrange_kind::sized);	(3)	(since C++20)
template</different-from/<subrange> R> requiresranges::borrowed_range<R>&& /convertible-to-non-slicing/<ranges::iterator_t<R>, I>&& std::convertible_to<ranges::sentinel_t<R>, S> constexpr subrange( R&& r) requires(!/StoreSize/\|\|ranges::sized_range<R>);	(4)	(since C++20)
template<ranges::borrowed_range R> requires/convertible-to-non-slicing/<ranges::iterator_t<R>, I>&& std::convertible_to<ranges::sentinel_t<R>, S> constexpr subrange( R&& r, /make-unsigned-like-t/<std::iter_difference_t<I>> n) requires(K== ranges::subrange_kind::sized) : subrange{ranges::begin(r),ranges::end(r), n}{}	(5)	(since C++20)

Constructs asubrange.

For the definitions of/*make-unsigned-like-t*/ and/*different-from*/, seemake-unsigned-like-t anddifferent-from respectively.

Overload	Data members
Overload	`begin_`	`end_`	`size_` (only if`StoreSize` istrue)
(1)	value-initialized	value-initialized	initialized with0
(2)	initialized withstd::move(i)	initialized withs	N/A
(3)	initialized withstd::move(i)	initialized withs	initialized withn
(4)	initialized withstd::move(ranges::begin(r))	initialized withranges::end(r)	initialized withstatic_cast<decltype(`size_` )> (ranges::size(r))
(5)	initialized withstd::move(ranges::begin(r))	initialized withranges::end(r)	initialized withn

2) If[i, s) is not avalid range, the behavior is undefined.

3) If any of the following conditions is satisfied, the behavior is undefined:

[i, s) is not a valid range.
n== to-unsigned-like (ranges::distance(i, s)) isfalse.

[edit]Parameters

i	-	iterator that denotes the beginning of the range
s	-	sentinel that denotes the end of the range
r	-	range
n	-	size hint, must be equal to the size of the range

[edit]Example

This section is incomplete
Reason: no example

[edit]Defect reports

The following behavior-changing defect reports were applied retroactively to previously published C++ standards.

DR	Applied to	Behavior as published	Correct behavior
P2393R1	C++20	for overload(4),`size_` might be initialized withranges::size(r), but it is not always implicitly convertible to the correspondingunsigned-integer-like type	made the conversion explicit