命名空间
变体
操作

std::ranges::dangling

来自 cppreference.com
< cpp‎ | ranges
 
 
范围库
范围适配器
 
定义在头文件 <ranges>
struct dangling;
(自 C++20 起)

dangling 是一个占位符类型,也是一个空类类型,它与模板别名 ranges::borrowed_iterator_tranges::borrowed_subrange_t 一起使用。

当某些通常返回 range 的迭代器或子范围的 约束算法 接受一个不符合 borrowed_range 的特定右值 range 参数时,将返回 dangling 而不是返回可能悬空的結果。

内容

[编辑] 成员函数

std::ranges::dangling::dangling

constexpr dangling() noexcept = default;
(1)
template<class... Args>
constexpr dangling(Args&&...) noexcept { }
(2)
1) dangling 是平凡的默认可构造的。
2) dangling 可以从任意数量和任意非空类型的参数构造。构造本身没有任何副作用。

换句话说,在将类型(例如迭代器类型)替换为良好形式的非聚合初始化中的 dangling 后,生成的初始化也是良好形式的。

[编辑] 示例

#include <algorithm>
#include <array>
#include <iostream>
#include <ranges>
#include <type_traits>
#include <string_view>
 
int main()
{
    auto get_array_by_value = [] { return std::array{0, 1, 0, 1}; };
    auto dangling_iter = std::ranges::max_element(get_array_by_value());
    static_assert(std::is_same_v<std::ranges::dangling, decltype(dangling_iter)>);
//  std::cout << *dangling_iter << '\n'; // compilation error: no match for 'operator*'
                                         // (operand type is 'std::ranges::dangling')
 
    auto get_persistent_array = []() -> const std::array<int, 4>& {
        static constexpr std::array a{0, 1, 0, 1};
        return a;
    };
    auto valid_iter = std::ranges::max_element(get_persistent_array());
    static_assert(!std::is_same_v<std::ranges::dangling, decltype(valid_iter)>);
    std::cout << *valid_iter << ' '; // 1
 
 
    auto get_string_view = [] { return std::string_view{"alpha"}; };
    auto valid_iter2 = std::ranges::min_element(get_string_view());
        // OK: std::basic_string_view models borrowed_range
    static_assert(!std::is_same_v<std::ranges::dangling, decltype(valid_iter2)>);
    std::cout << '\'' << *valid_iter2 << '\'' << '\n'; // 'a'
}

输出

1 'a'

[编辑] 参见

获取 borrowed_range 的迭代器类型或 subrange 类型
(别名模板)[编辑]
指定一个类型是 range 并且从其表达式获取的迭代器可以安全地返回,而无需担心悬空
(概念) [编辑]