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-has-no-incomplete-ranges
11
12 // transform_view::<iterator>::transform_view::<iterator>();
13
14 #include <ranges>
15
16 #include "test_macros.h"
17 #include "../types.h"
18
19 struct NoDefaultInit {
20 typedef std::random_access_iterator_tag iterator_category;
21 typedef int value_type;
22 typedef std::ptrdiff_t difference_type;
23 typedef int* pointer;
24 typedef int& reference;
25 typedef NoDefaultInit self;
26
27 NoDefaultInit(int*);
28
29 reference operator*() const;
30 pointer operator->() const;
31 auto operator<=>(const self&) const = default;
32 bool operator==(int *) const;
33
34 self& operator++();
35 self operator++(int);
36
37 self& operator--();
38 self operator--(int);
39
40 self& operator+=(difference_type n);
41 self operator+(difference_type n) const;
42 friend self operator+(difference_type n, self x);
43
44 self& operator-=(difference_type n);
45 self operator-(difference_type n) const;
46 difference_type operator-(const self&) const;
47
48 reference operator[](difference_type n) const;
49 };
50
51 struct IterNoDefaultInitView : std::ranges::view_base {
52 NoDefaultInit begin() const;
53 int *end() const;
54 NoDefaultInit begin();
55 int *end();
56 };
57
test()58 constexpr bool test() {
59 std::ranges::transform_view<MoveOnlyView, PlusOne> transformView;
60 auto iter = std::move(transformView).begin();
61 std::ranges::iterator_t<std::ranges::transform_view<MoveOnlyView, PlusOne>> i2(iter);
62 (void)i2;
63 std::ranges::iterator_t<const std::ranges::transform_view<MoveOnlyView, PlusOne>> constIter(iter);
64 (void)constIter;
65
66
67 static_assert( std::default_initializable<std::ranges::iterator_t<std::ranges::transform_view<MoveOnlyView, PlusOne>>>);
68 static_assert(!std::default_initializable<std::ranges::iterator_t<std::ranges::transform_view<IterNoDefaultInitView, PlusOne>>>);
69
70 return true;
71 }
72
main(int,char **)73 int main(int, char**) {
74 test();
75 static_assert(test());
76
77 return 0;
78 }
79