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 // <iterator>
10
11 // reverse_iterator
12
13 // pointer operator->() const; // constexpr in C++17
14
15 // Be sure to respect LWG 198:
16 // http://www.open-std.org/jtc1/sc22/wg21/docs/lwg-defects.html#198
17 // LWG 198 was superseded by LWG 2360
18 // http://www.open-std.org/jtc1/sc22/wg21/docs/lwg-defects.html#2360
19
20
21 #include <iterator>
22 #include <list>
23 #include <cassert>
24
25 #include "test_macros.h"
26
27 class A
28 {
29 int data_;
30 public:
A()31 A() : data_(1) {}
~A()32 ~A() {data_ = -1;}
33
get() const34 int get() const {return data_;}
35
operator ==(const A & x,const A & y)36 friend bool operator==(const A& x, const A& y)
37 {return x.data_ == y.data_;}
38 };
39
40 template <class It>
41 void
test(It i,typename std::iterator_traits<It>::value_type x)42 test(It i, typename std::iterator_traits<It>::value_type x)
43 {
44 std::reverse_iterator<It> r(i);
45 assert(r->get() == x.get());
46 }
47
48 class B
49 {
50 int data_;
51 public:
B(int d=1)52 B(int d=1) : data_(d) {}
~B()53 ~B() {data_ = -1;}
54
get() const55 int get() const {return data_;}
56
operator ==(const B & x,const B & y)57 friend bool operator==(const B& x, const B& y)
58 {return x.data_ == y.data_;}
operator &() const59 const B *operator&() const { return nullptr; }
operator &()60 B *operator&() { return nullptr; }
61 };
62
63 class C
64 {
65 int data_;
66 public:
C()67 TEST_CONSTEXPR C() : data_(1) {}
68
get() const69 TEST_CONSTEXPR int get() const {return data_;}
70
operator ==(const C & x,const C & y)71 friend TEST_CONSTEXPR bool operator==(const C& x, const C& y)
72 {return x.data_ == y.data_;}
73 };
74
75 TEST_CONSTEXPR C gC;
76
main(int,char **)77 int main(int, char**)
78 {
79 A a;
80 test(&a+1, A());
81
82 {
83 std::list<B> l;
84 l.push_back(B(0));
85 l.push_back(B(1));
86 l.push_back(B(2));
87
88 {
89 std::list<B>::const_iterator i = l.begin();
90 assert ( i->get() == 0 ); ++i;
91 assert ( i->get() == 1 ); ++i;
92 assert ( i->get() == 2 ); ++i;
93 assert ( i == l.end ());
94 }
95
96 {
97 std::list<B>::const_reverse_iterator ri = l.rbegin();
98 assert ( ri->get() == 2 ); ++ri;
99 assert ( ri->get() == 1 ); ++ri;
100 assert ( ri->get() == 0 ); ++ri;
101 assert ( ri == l.rend ());
102 }
103 }
104
105 #if TEST_STD_VER > 14
106 {
107 typedef std::reverse_iterator<const C *> RI;
108 constexpr RI it1 = std::make_reverse_iterator(&gC+1);
109
110 static_assert(it1->get() == gC.get(), "");
111 }
112 #endif
113 {
114 ((void)gC);
115 }
116
117 return 0;
118 }
119