1 //===----------------------------------------------------------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 
9 // UNSUPPORTED: c++03, c++11, c++14, c++17
10 // UNSUPPORTED: libcpp-no-concepts
11 // UNSUPPORTED: libcpp-has-no-incomplete-ranges
12 
13 // constexpr V base() const& requires copy_constructible<V> { return base_; }
14 // constexpr V base() && { return std::move(base_); }
15 
16 #include <ranges>
17 
18 #include <cassert>
19 #include <concepts>
20 
21 #include "types.h"
22 
23 constexpr bool test() {
24   int buffer[8] = {1, 2, 3, 4, 5, 6, 7, 8};
25 
26   // Test common ranges.
27   {
28     // Test non-const.
29     {
30       auto rev = std::ranges::reverse_view(BidirRange{buffer, buffer + 8});
31 
32       std::same_as<BidirRange> auto base = rev.base();
33       assert(base.begin_ == buffer);
34       assert(base.end_ == buffer + 8);
35 
36       std::same_as<BidirRange> auto moved = std::move(rev).base();
37       assert(moved.begin_ == buffer);
38       assert(moved.end_ == buffer + 8);
39     }
40     // Test const.
41     {
42       const auto rev = std::ranges::reverse_view(BidirRange{buffer, buffer + 8});
43 
44       std::same_as<BidirRange> auto base = rev.base();
45       assert(base.begin_ == buffer);
46       assert(base.end_ == buffer + 8);
47 
48       std::same_as<BidirRange> auto moved = std::move(rev).base();
49       assert(moved.begin_ == buffer);
50       assert(moved.end_ == buffer + 8);
51     }
52   }
53   // Test non-common ranges.
54   {
55     // Test non-const (also move only).
56     {
57       auto rev = std::ranges::reverse_view(BidirSentRange<MoveOnly>{buffer, buffer + 8});
58       std::same_as<BidirSentRange<MoveOnly>> auto base = std::move(rev).base();
59       assert(base.begin_ == buffer);
60       assert(base.end_ == buffer + 8);
61     }
62     // Test const.
63     {
64       const auto rev = std::ranges::reverse_view(BidirSentRange<Copyable>{buffer, buffer + 8});
65 
66       std::same_as<BidirSentRange<Copyable>> auto base = rev.base();
67       assert(base.begin_ == buffer);
68       assert(base.end_ == buffer + 8);
69 
70       std::same_as<BidirSentRange<Copyable>> auto moved = std::move(rev).base();
71       assert(moved.begin_ == buffer);
72       assert(moved.end_ == buffer + 8);
73     }
74   }
75 
76   return true;
77 }
78 
79 int main(int, char**) {
80   test();
81   static_assert(test());
82 
83   return 0;
84 }
85