std::ranges::borrowed_range, std::ranges::enable_borrowed_range
Определено в заголовке <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> inline constexpr bool enable_borrowed_range = false; | (2) | (с C++20) |
borrowed_range определяет требования к диапазону, таким образом, функция может принимать его по значению и возвращать итераторы, полученные из него, без опасности появления висячих ссылок.enable_borrowed_range используется для указания, является ли range borrowed_range. Основной шаблон определяется как false.Семантические требования
Пусть U будет std::remove_reference_t<T> если T является типом ссылки на временное значение, и T в противном случае. Учитывая переменную u типа U, T моделирует borrowed_range только если действительность итераторов, полученных из u, не связана со временем жизни этой переменной.
Специализации
Специализации 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) |
| Специализация для | (с C++23) |
Пользователи могут специализировать enable_borrowed_range на true для неквалифицированных по cv типов, определенных программой, которые моделируют borrowed_range, и 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>
inline 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>
inline 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 не должен возвращаться, поскольку он будет висящим (класс) |
© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/ranges/borrowed_range
