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
test()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
main(int,char **)79 int main(int, char**) {
80 test();
81 static_assert(test());
82
83 return 0;
84 }
85