libstdc++: Implement P2017R1 "Conditionally borrowed ranges"

This makes some range adaptors model the borrowed_range concept if they
are adapting a borrowed range. This hasn't been added to the C++23
working paper yet, but it has been approved by LWG, and the
recommendation is to treat it as a defect report for C++20 as well.

libstdc++-v3/ChangeLog:

	* include/std/ranges (enable_borrowed_view<take_view<T>>)
	(enable_borrowed_view<drop_view<T>>)
	(enable_borrowed_view<drop_while_view<T>>)
	(enable_borrowed_view<reverse_view<T>>)
	(enable_borrowed_view<common_view<T>>)
	(enable_borrowed_view<elements_view<T>>): Add partial
	specializations as per P2017R1.
	* testsuite/std/ranges/adaptors/conditionally_borrowed.cc:
	New test.

diff --git a/libstdc++-v3/include/std/ranges b/libstdc++-v3/include/std/ranges
index 610083167d8971c4cb6d24cec6b933409020a86d..bc7bb05b00507351969272ad462721ef7bc5028f 100644 (file)
--- a/libstdc++-v3/include/std/ranges
+++ b/libstdc++-v3/include/std/ranges
@@ -1810,6 +1810,10 @@ namespace views
     take_view(_Range&&, range_difference_t<_Range>)
       -> take_view<views::all_t<_Range>>;
 
+  template<typename _Tp>
+    inline constexpr bool enable_borrowed_range<take_view<_Tp>>
+      = enable_borrowed_range<_Tp>;
+
   namespace views
   {
     inline constexpr __adaptor::_RangeAdaptor take
@@ -2010,6 +2014,10 @@ namespace views
     drop_view(_Range&&, range_difference_t<_Range>)
       -> drop_view<views::all_t<_Range>>;
 
+  template<typename _Tp>
+    inline constexpr bool enable_borrowed_range<drop_view<_Tp>>
+      = enable_borrowed_range<_Tp>;
+
   namespace views
   {
     inline constexpr __adaptor::_RangeAdaptor drop
@@ -2071,6 +2079,10 @@ namespace views
     drop_while_view(_Range&&, _Pred)
       -> drop_while_view<views::all_t<_Range>, _Pred>;
 
+  template<typename _Tp, typename _Pred>
+    inline constexpr bool enable_borrowed_range<drop_while_view<_Tp, _Pred>>
+      = enable_borrowed_range<_Tp>;
+
   namespace views
   {
     inline constexpr __adaptor::_RangeAdaptor drop_while
@@ -2891,6 +2903,10 @@ namespace views
   template<typename _Range>
     common_view(_Range&&) -> common_view<views::all_t<_Range>>;
 
+  template<typename _Tp>
+    inline constexpr bool enable_borrowed_range<common_view<_Tp>>
+      = enable_borrowed_range<_Tp>;
+
   namespace views
   {
     inline constexpr __adaptor::_RangeAdaptorClosure common
@@ -2976,6 +2992,10 @@ namespace views
   template<typename _Range>
     reverse_view(_Range&&) -> reverse_view<views::all_t<_Range>>;
 
+  template<typename _Tp>
+    inline constexpr bool enable_borrowed_range<reverse_view<_Tp>>
+      = enable_borrowed_range<_Tp>;
+
   namespace views
   {
     namespace __detail
@@ -3301,6 +3321,10 @@ namespace views
       _Vp _M_base = _Vp();
     };
 
+  template<typename _Tp, size_t _Nm>
+    inline constexpr bool enable_borrowed_range<elements_view<_Tp, _Nm>>
+      = enable_borrowed_range<_Tp>;
+
   template<typename _Range>
     using keys_view = elements_view<views::all_t<_Range>, 0>;
 

diff --git a/libstdc++-v3/testsuite/std/ranges/adaptors/conditionally_borrowed.cc b/libstdc++-v3/testsuite/std/ranges/adaptors/conditionally_borrowed.cc
new file mode 100644 (file)
index 0000000..98398ff
--- /dev/null
+++ b/libstdc++-v3/testsuite/std/ranges/adaptors/conditionally_borrowed.cc
@@ -0,0 +1,75 @@
+// Copyright (C) 2020 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3.  If not see
+// <http://www.gnu.org/licenses/>.
+
+// { dg-options "-std=gnu++2a" }
+// { dg-do run { target c++2a } }
+
+#include <ranges>
+#include <algorithm>
+#include <string>
+#include <cctype>
+#include <testsuite_hooks.h>
+
+namespace ranges = std::ranges;
+namespace views = std::views;
+using namespace std::literals;
+
+// P2017R1 "Conditionally borrowed ranges"
+auto trim(std::string const& s) {
+    auto isalpha = [](unsigned char c){ return std::isalpha(c); };
+    auto b = ranges::find_if(s, isalpha);
+    auto e = ranges::find_if(s | views::reverse, isalpha).base();
+    return ranges::subrange(b, e);
+}
+
+void
+test01()
+{
+  VERIFY( ranges::equal( trim("  abc    "), "abc"sv ) );
+
+  std::string s = "0123456789";
+  auto odd = [](char c){ return (c - '0') % 2; };
+  using namespace std::views;
+  auto pos = ranges::find(s | take(5) | drop(1) | drop_while(odd), '2');
+  VERIFY( *pos == '2' );
+
+  static_assert( ranges::borrowed_range<decltype(s | reverse)> );
+  static_assert( ranges::borrowed_range<decltype(s | take(1))> );
+  static_assert( ranges::borrowed_range<decltype(s | drop(1))> );
+  static_assert( ranges::borrowed_range<decltype(s | drop_while(odd))> );
+
+  ranges::subrange r(s.begin(), s.cend());
+  static_assert( !ranges::common_range<decltype(r)> );
+  auto pos2 = ranges::find(r | views::common, '2');
+  VERIFY( *pos2 == '2' );
+}
+
+void
+test02()
+{
+  std::pair<int, std::string_view> a[2]{ {1,"two"}, {3,"four"}};
+  auto pos = ranges::find(a | views::values, "four");
+  VERIFY( *pos == "four" );
+
+  static_assert( ranges::borrowed_range<decltype(a | views::keys)> );
+}
+
+int main()
+{
+  test01();
+  test02();
+}