命名空间
变体
操作

std::ranges::borrowed_range, std::ranges::enable_borrowed_range

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

concept borrowed_range =
    ranges::range<R> &&
    (std::is_lvalue_reference_v<R> ||

     ranges::enable_borrowed_range<std::remove_cvref_t<R>>);
(1) (自 C++20 起)
template< class R >
constexpr bool enable_borrowed_range = false;
(2) (自 C++20 起)
1) 概念 borrowed_range 定义了范围的要求,以便函数可以按值获取它并返回从它获得的迭代器,而无需担心悬空。
2) enable_borrowed_range 变量模板用于指示 range 是否为 borrowed_range。主模板定义为 false.

内容

[编辑] 语义要求

假设 Ustd::remove_reference_t<T>(如果 T 是右值引用类型),否则为 T。给定一个类型为 U 的变量 uT 仅当从 u 获得的迭代器的有效性不与该变量的生命周期绑定时才模拟 borrowed_range

[编辑] 特化

enable_borrowed_range 的特化针对以下所有标准模板特化定义为 true

enable_borrowed_range 针对以下标准范围适配器的特化定义为 true,当且仅当 std::ranges::enable_borrowed_range<V>true 时,其中 V 是底层视图类型

(自 C++23 起)

针对 std::ranges::zip_view 的特化定义为 true,当且仅当 (std::ranges::enable_borrowed_range<Vs> && ...)true 时,其中 Vs... 是它适配的所有视图类型。

(自 C++23 起)

程序可以针对 cv 无限定的 程序定义类型(模拟 borrowed_range)将 enable_borrowed_range 特化到 true,针对不模拟的类型则特化到 false。此类特化应在 常量表达式 中可用,并具有类型 const bool.

[编辑] 示例

演示了 enable_borrowed_range 针对程序定义类型的特化。此类特化防止出现潜在的悬空结果。

#include <algorithm>
#include <array>
#include <cstddef>
#include <iostream>
#include <ranges>
#include <span>
#include <type_traits>
 
template<typename T, std::size_t N>
struct MyRange : std::array<T, N> {};
 
template<typename T, std::size_t N>
constexpr bool std::ranges::enable_borrowed_range<MyRange<T, N>> = false;
 
template<typename T, std::size_t N>
struct MyBorrowedRange : std::span<T, N> {};
 
template<typename T, std::size_t N>
constexpr bool std::ranges::enable_borrowed_range<MyBorrowedRange<T, N>> = true;
 
int main()
{
    static_assert(std::ranges::range<MyRange<int, 8>>);
    static_assert(std::ranges::borrowed_range<MyRange<int, 8>> == false);
    static_assert(std::ranges::range<MyBorrowedRange<int, 8>>);
    static_assert(std::ranges::borrowed_range<MyBorrowedRange<int, 8>> == true);
 
    auto getMyRangeByValue = []{ return MyRange<int, 4>{{1, 2, 42, 3}}; };
    auto dangling_iter = std::ranges::max_element(getMyRangeByValue());
    static_assert(std::is_same_v<std::ranges::dangling, decltype(dangling_iter)>);
    // *dangling_iter; // compilation error (i.e. dangling protection works.)
 
    auto my = MyRange<int, 4>{{1, 2, 42, 3}};
    auto valid_iter = std::ranges::max_element(my);
    std::cout << *valid_iter << ' '; // OK: 42
 
    auto getMyBorrowedRangeByValue = []
    {
        static int sa[4]{1, 2, 42, 3};
        return MyBorrowedRange<int, std::size(sa)>{sa};
    };
    auto valid_iter2 = std::ranges::max_element(getMyBorrowedRangeByValue());
    std::cout << *valid_iter2 << '\n'; // OK: 42
}

输出

42 42

[编辑] 参见

一个占位符类型,指示不应返回迭代器或 subrange,因为它将是悬空的
(类) [编辑]