命名空间
变体
操作

std::ranges::views::empty,std::ranges::empty_view

来自 cppreference.com
< cpp‎ | ranges
 
 
范围库
范围适配器
 
定义在头文件 <ranges>
template<class T>

    requires std::is_object_v<T>

class empty_view : public ranges::view_interface<empty_view<T>>
(1) (自 C++20 起)
namespace views {

    template<class T>
    constexpr empty_view<T> empty{};

}
(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_rangecommon_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_viewview_interface获得frontbackoperator[]成员函数,但对它们的调用始终会导致未定义行为,因为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,包含指定值的单个元素
(类模板) (定制点对象)[编辑]
一个view,包含range的所有元素
(别名模板) (范围适配器对象)[编辑]
其他range元素的view
(类模板) [编辑]