libstdc++: Add missing friend declaration to join_view::_Sentinel

The converting constructor of join_view::_Sentinel<true> needs to be able to
access the private members of join_view::_Sentinel<false>.

libstdc++-v3/ChangeLog:

	* include/std/ranges (join_view::_Sentinel<_Const>): Befriend
	join_view::_Sentinel<!_Const>.
	* testsuite/std/ranges/adaptors/join.cc: Augment test.

diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index b2e995b4daf8bae1d1a6ab8e379f3e47dd244a2e..b3e8b9a25d23f36abf3dc15c2d2f24ac5c4a243f 100644 (file)
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,5 +1,9 @@
 2020-03-06  Patrick Palka  <ppalka@redhat.com>
 
+       * include/std/ranges (join_view::_Sentinel<_Const>): Befriend
+       join_view::_Sentinel<!_Const>.
+       * testsuite/std/ranges/adaptors/join.cc: Augment test.
+
        PR libstdc++/93978
        * include/bits/range_access.h (__cust_access::_Empty::operator()):
        Declare return type to be bool instead of auto.

diff --git a/libstdc++-v3/include/std/ranges b/libstdc++-v3/include/std/ranges
index c71cf918cfc071e254143db0df5493fbb63c14c0..eb54b110c044e9d6d676408cfbf426cb82d9dc5a 100644 (file)
--- a/libstdc++-v3/include/std/ranges
+++ b/libstdc++-v3/include/std/ranges
@@ -2592,6 +2592,8 @@ namespace views
          friend constexpr bool
          operator==(const _Iterator<_Const>& __x, const _Sentinel& __y)
          { return __y.__equal(__x); }
+
+         friend _Sentinel<!_Const>;
        };
 
       _Vp _M_base = _Vp();

diff --git a/libstdc++-v3/testsuite/std/ranges/adaptors/join.cc b/libstdc++-v3/testsuite/std/ranges/adaptors/join.cc
index d3e652da0098c1df1fd4f44bfc7121f2bc1dd245..142c9feddcd5e7aa928c767d9fdcbb888502ec55 100644 (file)
--- a/libstdc++-v3/testsuite/std/ranges/adaptors/join.cc
+++ b/libstdc++-v3/testsuite/std/ranges/adaptors/join.cc
@@ -101,6 +101,28 @@ test05()
   VERIFY( i == v.end() );
 }
 
+void
+test06()
+{
+  std::vector<std::string> x = {""};
+  auto i = std::counted_iterator(x.begin(), 1);
+  auto r = ranges::subrange{i, std::default_sentinel};
+  auto v = r | views::transform(std::identity{}) | views::join;
+
+  // Verify that _Iterator<false> is implicitly convertible to _Iterator<true>.
+  static_assert(!std::same_as<decltype(ranges::begin(v)),
+                             decltype(ranges::cbegin(v))>);
+  auto a = ranges::cbegin(v);
+  a = ranges::begin(v);
+
+  // Verify that _Sentinel<false> is implicitly convertible to _Sentinel<true>.
+  static_assert(!ranges::common_range<decltype(v)>);
+  static_assert(!std::same_as<decltype(ranges::end(v)),
+                             decltype(ranges::cend(v))>);
+  auto b = ranges::cend(v);
+  b = ranges::end(v);
+}
+
 int
 main()
 {
@@ -109,4 +131,5 @@ main()
   test03();
   test04();
   test05();
+  test06();
 }