std::ranges::empty
来自 cppreference.com
定义于头文件 <ranges> |
||
定义于头文件 <iterator> |
||
inline namespace /*未指定*/ { inline constexpr auto empty = /*未指定*/; |
(自 C++20 起) (定制点对象) |
|
调用签名 |
||
template< class T > requires /*见下文*/ |
(自 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
类类型。为了说明目的,它的类型的 cv 无限定版本表示为 __empty_fn
。
所有 __empty_fn
实例都是相等的。无论表示实例的表达式是左值还是右值,以及是否具有常量限定符,调用 __empty_fn
类型的不同实例对相同参数的效果都是等效的(但是,不需要调用具有易失性限定符的实例)。因此,ranges::empty
可以自由复制,并且它的副本可以互换使用。
给定一组类型 Args...
,如果 std::declval<Args>()... 满足上述 ranges::empty
参数的要求,__empty_fn
符合
- std::invocable<__empty_fn, Args...>,
- std::invocable<const __empty_fn, Args...>,
- std::invocable<__empty_fn&, Args...>,以及
- std::invocable<const __empty_fn&, Args...>.
否则,__empty_fn
的任何函数调用运算符都不会参与重载解析。
[编辑] 示例
运行此代码
#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 << ") Empty\n"; return; } std::cout << '\t' << id << ") Elements:"; 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 uses std::vector::empty:\n"; print('a', v); v.clear(); print('b', v); } { std::cout << "(2) ranges::empty uses ranges::size(initializer_list):\n"; auto il = {7, 8, 9}; print('a', il); print('b', std::initializer_list<int>{}); } { std::cout << "(2) ranges::empty on a raw array uses ranges::size:\n"; int array[] = {4, 5, 6}; // array has a known bound 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; // Note: both empty() and size() are hidden }; std::cout << "(3) calling ranges::empty on an object w/o empty() or size():\n"; Scanty y; print('a', y); y.push_back(42); print('b', y); } }
输出
(1) ranges::empty uses std::vector::empty: a) Elements: 1 2 3 b) Empty (2) ranges::empty uses ranges::size(initializer_list): a) Elements: 7 8 9 b) Empty (2) ranges::empty on a raw array uses ranges::size: a) Elements: 4 5 6 (3) calling ranges::empty on an object w/o empty() or size(): a) Empty b) Elements: 42
[编辑] 另请参见
(C++17) |
检查容器是否为空 (函数模板) |