enable_borrowed_range.md

enable_borrowed_range

• ranges[meta header]
• std::ranges[meta namespace]
• variable[meta id-type]
• cpp20[meta cpp]

namespace std::ranges {
  template<class T>
  inline constexpr bool enable_borrowed_range = false;
}

概要

enable_borrowed_range<T>がtrueであることは、Tがborrowed_rangeであるための必要条件である。

borrowed_rangeコンセプトの要件は意味論要件がメインなため、enable_borrowed_rangeを特殊化することで、明示的にborrowed_rangeであることを示すようになっている。

例

#include <ranges>

int main()
{
  constexpr int a[] = {1, 2};
  const std::ranges::subrange sub(a);
  static_assert(std::ranges::borrowed_range<decltype(sub)>);
}

出力

バージョン

言語

• C++20

処理系

• Clang: 13.0.0 [mark verified]
• GCC: 10.1.0 [mark verified]
• ICC: ?
• Visual C++: 2019 Update 10 [mark verified]

参照

• N4861 24 Ranges library
• C++20 ranges