std::ranges::borrowed_range, std::ranges::enable_borrowed_range
来自 cppreference.com
定义在头文件 <ranges> 中 |
||
template< class R > concept borrowed_range = |
(1) | (自 C++20 起) |
template< class R > constexpr bool enable_borrowed_range = false; |
(2) | (自 C++20 起) |
1) 概念
borrowed_range
定义了范围的要求,以便函数可以按值获取它并返回从它获得的迭代器,而无需担心悬空。内容 |
[编辑] 语义要求
假设 U
为 std::remove_reference_t<T>(如果 T
是右值引用类型),否则为 T
。给定一个类型为 U
的变量 u,T
仅当从 u 获得的迭代器的有效性不与该变量的生命周期绑定时才模拟 borrowed_range
。
[编辑] 特化
enable_borrowed_range
的特化针对以下所有标准模板特化定义为 true
- std::basic_string_view
- std::span
- std::ranges::subrange
- std::ranges::ref_view
- std::ranges::empty_view
- std::ranges::iota_view
enable_borrowed_range
针对以下标准范围适配器的特化定义为 true,当且仅当 std::ranges::enable_borrowed_range<V> 为 true 时,其中 V
是底层视图类型
- std::ranges::owning_view
- std::ranges::take_view
- std::ranges::drop_view
- std::ranges::drop_while_view
- std::ranges::common_view
- std::ranges::reverse_view
- std::ranges::elements_view
(自 C++23 起) |
针对 std::ranges::zip_view 的特化定义为 true,当且仅当 (std::ranges::enable_borrowed_range<Vs> && ...) 为 true 时,其中 |
(自 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
[编辑] 参见
(C++20) |
一个占位符类型,指示不应返回迭代器或 subrange ,因为它将是悬空的(类) |