std::ranges::empty
От ru.cppreference.net
| Определён в заголовке <ranges>
|
||
| Определён в заголовке <iterator>
|
||
inline namespace /*unspecified*/ {
inline constexpr auto empty = /*unspecified*/;
}
|
(начиная с C++20) (объект точки настройки) |
|
| Сигнатура вызова |
||
template< class T >
requires /* see below */
constexpr bool empty( T&& t );
|
(начиная с C++20) | |
Определяет, имеет ли t какие-либо элементы.
Вызов ranges::empty является эквивалентным выражению:
bool(t.empty()), если это выражение допустимо.- В противном случае
(ranges::size(t) == 0), если это выражение допустимо. - В противном случае
bool(ranges::begin(t) == ranges::end(t)), если это выражение допустимо иdecltype(ranges::begin(t))моделирует std::forward_iterator.
Во всех остальных случаях вызов ranges::empty является некорректным, что может привести к ошибке подстановки, когда ranges::empty(t) находится в непосредственном контексте инстанцирования шаблона.
Объекты точек кастомизации
Имя
ranges::empty
обозначает
объект точки кастомизации
, который является константным
функциональным объектом
типа
литерального
semiregular
класса. Для подробностей см.
CustomizationPointObject
.
Пример
Запустить этот код
#include <iostream> #include <ranges> #include <vector> template<std::ranges::input_range R> void print(char id, R&& r) { if (std::ranges::empty(r)) { std::cout << '\t' << id << ") Пусто\n"; return; } std::cout << '\t' << id << ") Элементы:"; for (const auto& element : r) std::cout << ' ' << element; std::cout << '\n'; } int main() { { auto v = std::vector<int>{1, 2, 3}; std::cout << "(1) ranges::empty использует std::vector::empty:\n"; print('a', v); v.clear(); print('b', v); } { std::cout << "(2) ranges::empty использует ranges::size(initializer_list):\n"; auto il = {7, 8, 9}; print('a', il); print('b', std::initializer_list<int>{}); } { std::cout << "(2) ranges::empty для сырого массива использует ranges::size:\n"; int array[] = {4, 5, 6}; // массив имеет известную границу print('a', array); } { struct Scanty : private std::vector<int> { using std::vector<int>::begin; using std::vector<int>::end; using std::vector<int>::push_back; // Примечание: empty() и size() скрыты }; std::cout << "(3) вызов ranges::empty для объекта без empty() или size():\n"; Scanty y; print('a', y); y.push_back(42); print('b', y); } }
Вывод:
(1) ranges::empty использует std::vector::empty:
a) Элементы: 1 2 3
b) Пусто
(2) ranges::empty использует ranges::size(initializer_list):
a) Элементы: 7 8 9
b) Пусто
(2) ranges::empty для сырого массива использует ranges::size:
a) Элементы: 4 5 6
(3) вызов ranges::empty для объекта без empty() или size():
a) Пусто
b) Элементы: 42
Смотрите также
|
(C++17)
|
проверяет, является ли контейнер пустым
(шаблон функции) |