---
name: "std::ranges::subrange"
section: "3"
platform: "linux"
package: "gcc"
version: "16.2.1+r23+gd564253eb6c8-1"
release: "Arch Linux 2026-11-01"
platforms: ["linux"]
url: "https://new.carta.tech/std::ranges::subrange"
---

# std::ranges::subrange(3)

The ranges::subrange class template.

## NAME

std::ranges::subrange\< \_It, \_Sent, \_Kind \> - The ranges::subrange class template.

## SYNOPSIS

\#include \<ranges\>

Inherits **std::ranges::view\_interface\< \_Derived \>**.

### Public Member Functions

constexpr **subrange** (\_\_detail::\_\_convertible\_to\_non\_slicing\< \_It \> auto \_\_i, \_Sent \_\_s) noexcept(is\_nothrow\_constructible\_v\< \_It, decltype(\_\_i)\> &&is\_nothrow\_constructible\_v\< \_Sent, \_Sent & \>)\
 constexpr **subrange** (\_\_detail::\_\_convertible\_to\_non\_slicing\< \_It \> auto \_\_i, \_Sent \_\_s, \_\_size\_type \_\_n) noexcept(is\_nothrow\_constructible\_v\< \_It, decltype(\_\_i)\> &&is\_nothrow\_constructible\_v\< \_Sent, \_Sent & \>)\
 template\<\_\_detail::\_\_different\_from\< subrange \> \_Rng\> \
 requires \_S\_store\_sizeconstexpr **subrange** (\_Rng &&\_\_r) noexcept(noexcept(subrange(\_\_r, ranges::size(\_\_r)))) &&sized\_range\< \_Rng \>"\
 template\<\_\_detail::\_\_different\_from\< subrange \> \_Rng\> \
 requires (!\_S\_store\_size)constexpr **subrange** (\_Rng &&\_\_r) noexcept(noexcept(subrange(ranges::begin(\_\_r), ranges::end(\_\_r))))"\
 template\<borrowed\_range \_Rng\> \
 requires (\_Kind == subrange\_kind::sized)constexpr **subrange** (\_Rng &&\_\_r, \_\_size\_type \_\_n) noexcept(noexcept(subrange(ranges::begin(\_\_r), ranges::end(\_\_r), \_\_n)))"\
 constexpr subrange & **advance** (iter\_difference\_t\< \_It \> \_\_n)\
 constexpr decltype(auto) **back** ()\
 constexpr decltype(auto) **back** () const\
 constexpr \_It **begin** ()\
 constexpr \_It **begin** () const\
 constexpr auto **cbegin** ()\
 constexpr auto **cbegin** () const\
 constexpr auto **cend** ()\
 constexpr auto **cend** () const\
 constexpr auto **data** () const noexcept(noexcept(ranges::begin(\_M\_derived())))\
 constexpr auto **data** () noexcept(noexcept(ranges::begin(\_M\_derived())))\
 constexpr bool **empty** () const\
 constexpr bool **empty** () noexcept(noexcept(\_S\_empty(\_M\_derived())))\
 constexpr \_Sent **end** () const\
 constexpr decltype(auto) **front** ()\
 constexpr decltype(auto) **front** () const\
 constexpr subrange **next** (iter\_difference\_t\< \_It \> \_\_n=1) &&\
 constexpr subrange **next** (iter\_difference\_t\< \_It \> \_\_n=1) const &\
 template\<\_\_detail::\_\_different\_from\< subrange \> \_PairLike\> constexpr **operator \_PairLike** () const\
 constexpr **operator bool** () const noexcept(noexcept(ranges::empty(\_M\_derived())))\
 constexpr **operator bool** () noexcept(noexcept(ranges::empty(\_M\_derived())))\
 template\<random\_access\_range \_Range = \_Derived\> constexpr decltype(auto) **operator\[\]** (range\_difference\_t\< \_Range \> \_\_n)\
 template\<random\_access\_range \_Range = const \_Derived\> constexpr decltype(auto) **operator\[\]** (range\_difference\_t\< \_Range \> \_\_n) const\
 constexpr subrange **prev** (iter\_difference\_t\< \_It \> \_\_n=1) const\
 constexpr \_\_size\_type **size** () const\
 constexpr auto **size** () noexcept(noexcept(\_S\_size(\_M\_derived())))\

### Friends

struct **views::\_Drop**\

## Detailed Description

### template\<input\_or\_output\_iterator \_It, sentinel\_for\< \_It \> \_Sent = \_It, subrange\_kind \_Kind = sized\_sentinel\_for\<\_Sent, \_It\> ? subrange\_kind::sized : subrange\_kind::unsized\>

requires (\_Kind == subrange\_kind::sized \|\| !sized\_sentinel\_for\<\_Sent, \_It\>)\
 class std::ranges::subrange\< \_It, \_Sent, \_Kind \>"The ranges::subrange class template.

## Author

Generated automatically by Doxygen for libstdc++ from the source code.