std::ranges:: range

Концепция range определяет требования к типу, который позволяет выполнять итерацию по его элементам, предоставляя итератор и ограничитель, обозначающие элементы диапазона.

Семантические требования

Дано выражение E такое, что decltype ( ( E ) ) является T , T моделирует range только если

• [ ranges:: begin ( E ) , ranges:: end ( E ) ) обозначает диапазон , и
• оба ranges:: begin ( E ) и ranges:: end ( E ) имеют амортизированную постоянную сложность и не изменяют значение E способом, наблюдаемым для сохраняющих равенство выражений, и
• если тип ranges:: begin ( E ) моделирует forward_iterator , ranges:: begin ( E ) является сохраняющим равенство (другими словами, однонаправленные итераторы поддерживают многопроходные алгоритмы).

Примечания

Типичный класс range требует реализации всего двух функций:

1. Функция-член begin() , возвращаемый тип которой моделирует input_or_output_iterator .
2. Функция-член end() , возвращаемый тип которой моделирует sentinel_for <It> , где It - это возвращаемый тип функции begin() .

В качестве альтернативы, они могут быть нечленными функциями, обнаруживаемыми с помощью поиска, зависимого от аргументов .

Пример

#include <ranges>
// Минимальный диапазон
struct SimpleRange
{
    int* begin();
    int* end();
};
static_assert(std::ranges::range<SimpleRange>);
// Не диапазон: нет begin/end
struct NotRange
{
    int t {};
};
static_assert(!std::ranges::range<NotRange>);
// Не диапазон: begin не возвращает input_or_output_iterator
struct NotRange2
{
    void* begin();
    int* end();
};
static_assert(!std::ranges::range<NotRange2>);
int main() {}

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

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