std::ranges::views::empty,std::ranges::empty_view
来自 cppreference.com
定义在头文件 <ranges> 中 |
||
template<class T> requires std::is_object_v<T> |
(1) | (自 C++20 起) |
namespace views { template<class T> |
(2) | (自 C++20 起) |
1) 一个范围工厂,它生成一个不包含特定类型元素的
view
。2)
empty_view
的变量模板。内容 |
[编辑] 成员函数
begin [静态] |
返回 nullptr (公共静态成员函数) |
end [静态] |
返回 nullptr (公共静态成员函数) |
data [静态] |
返回 nullptr (公共静态成员函数) |
size [静态] |
返回 0 (公共静态成员函数) |
empty [静态] |
返回 true (公共静态成员函数) |
从 std::ranges::view_interface 继承 | |
(C++23) |
返回指向范围开头的常量迭代器。 ( std::ranges::view_interface<D> 的公共成员函数) |
(C++23) |
返回范围常量迭代器的哨兵。 ( std::ranges::view_interface<D> 的公共成员函数) |
返回派生视图是否不为空。如果 ranges::empty 对其适用,则提供。 ( std::ranges::view_interface<D> 的公共成员函数) | |
返回派生视图中的第一个元素。如果它满足 forward_range ,则提供。( std::ranges::view_interface<D> 的公共成员函数) | |
返回派生视图中的最后一个元素。如果它满足 bidirectional_range 和 common_range ,则提供。( std::ranges::view_interface<D> 的公共成员函数) | |
返回派生视图中的第 n 个元素。如果它满足 random_access_range ,则提供。( std::ranges::view_interface<D> 的公共成员函数) |
std::ranges::empty_view::begin
static constexpr T* begin() noexcept { return nullptr; } |
(自 C++20 起) | |
empty_view
不引用任何元素。
std::ranges::empty_view::end
static constexpr T* end() noexcept { return nullptr; } |
(自 C++20 起) | |
empty_view
不引用任何元素。
std::ranges::empty_view::data
static constexpr T* data() noexcept { return nullptr; } |
(自 C++20 起) | |
empty_view
不引用任何元素。
std::ranges::empty_view::size
static constexpr std::size_t size() noexcept { return 0; } |
(自 C++20 起) | |
empty_view
始终为空。
std::ranges::empty_view::empty
static constexpr bool empty() noexcept { return true; } |
(自 C++20 起) | |
empty_view
始终为空。
[编辑] 辅助模板
template<class T> constexpr bool ranges::enable_borrowed_range<ranges::empty_view<T>> = true; |
(自 C++20 起) | |
这种ranges::enable_borrowed_range的特殊化使empty_view
满足borrowed_range
。
[编辑] 备注
虽然empty_view
从view_interface
获得front
、back
和operator[]成员函数,但对它们的调用始终会导致未定义行为,因为empty_view
始终为空。
继承的operator bool转换函数始终返回false。
[编辑] 示例
运行这段代码
#include <ranges> int main() { namespace ranges = std::ranges; ranges::empty_view<long> e; static_assert(ranges::empty(e)); // uses operator bool static_assert(0 == e.size()); static_assert(nullptr == e.data()); static_assert(nullptr == e.begin()); static_assert(nullptr == e.end()); static_assert(nullptr == e.cbegin()); static_assert(nullptr == e.cend()); }
[编辑] 另请参阅
(C++17) |
一个可能包含也可能不包含对象的包装器 (类模板) |
一个view ,包含指定值的单个元素(类模板) (定制点对象) | |
(C++20) |
一个view ,包含range 的所有元素(别名模板) (范围适配器对象) |
(C++20) |
其他range 元素的view (类模板) |