std::ranges::view_interface<D>::size
constexpr auto size() requires ranges::forward_range<D> &&
std::sized_sentinel_for<ranges::sentinel_t<D>,
ranges::iterator_t<D>>;
| (1) | (начиная с C++20) |
constexpr auto size() const requires ranges::forward_range<const D> &&
std::sized_sentinel_for<ranges::sentinel_t<const D>,
ranges::iterator_t<const D>>;
| (2) | (начиная с C++20) |
Реализация по умолчанию функции-члена size() получает размер диапазона, вычисляя разность между сентинелом и итератором начала.
Возвращаемое значение
1)
to-unsigned-like (ranges::end(static_cast<D&>(this))-
ranges::begin(static_cast<D&>(this))). 2) to-unsigned-like (ranges::end(static_cast<constD&>(this))-
ranges::begin(static_cast<constD&>(this))). Примечания
Следующие производные типы могут использовать реализацию по умолчанию size():
Следующие типы являются производными от std::ranges::view_interface и не объявляют собственную функцию-член size(), но не могут использовать реализацию по умолчанию, поскольку их типы итератора и сентинела никогда не удовлетворяют требованиям sized_sentinel_for:
std::ranges::basic_istream_viewstd::ranges::filter_viewstd::ranges::join_viewstd::ranges::lazy_split_viewstd::ranges::split_viewstd::ranges::take_while_view
Отчёты об ошибках
Следующие отчёты об ошибках, изменяющие поведение, были применены задним числом к ранее опубликованным стандартам C++.
| Отчёт об ошибке | Применён к | Опубликованное поведение | Корректное поведение |
|---|---|---|---|
| LWG 3646 | C++20 | реализации функций size по умолчанию возвращали тип со знаком | они возвращают беззнаковый тип |
См. также
|
(C++17)(C++20) | возвращает размер контейнера или массива (шаблон функции) |
|
(C++20) | возвращает целое число, равное размеру диапазона (объект-точка настройки) |
|
(C++20) | возвращает целое число со знаком, равное размеру диапазона (объект-точка настройки) |
© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/ranges/view_interface/size