2 //===---------------------------- stack -----------------------------------===//
4 // The LLVM Compiler Infrastructure
6 // This file is dual licensed under the MIT and the University of Illinois Open
7 // Source Licenses. See LICENSE.TXT for details.
9 //===----------------------------------------------------------------------===//
20 template <class T, class Container = deque<T>>
24 typedef Container container_type;
25 typedef typename container_type::value_type value_type;
26 typedef typename container_type::reference reference;
27 typedef typename container_type::const_reference const_reference;
28 typedef typename container_type::size_type size_type;
37 stack(const stack& q) = default;
38 stack(stack&& q) = default;
40 stack& operator=(const stack& q) = default;
41 stack& operator=(stack&& q) = default;
43 explicit stack(const container_type& c);
44 explicit stack(container_type&& c);
45 template <class Alloc> explicit stack(const Alloc& a);
46 template <class Alloc> stack(const container_type& c, const Alloc& a);
47 template <class Alloc> stack(container_type&& c, const Alloc& a);
48 template <class Alloc> stack(const stack& c, const Alloc& a);
49 template <class Alloc> stack(stack&& c, const Alloc& a);
52 size_type size() const;
54 const_reference top() const;
56 void push(const value_type& x);
57 void push(value_type&& x);
58 template <class... Args> void emplace(Args&&... args);
61 void swap(stack& c) noexcept(noexcept(swap(c, q.c)));
64 template <class T, class Container>
65 bool operator==(const stack<T, Container>& x, const stack<T, Container>& y);
66 template <class T, class Container>
67 bool operator< (const stack<T, Container>& x, const stack<T, Container>& y);
68 template <class T, class Container>
69 bool operator!=(const stack<T, Container>& x, const stack<T, Container>& y);
70 template <class T, class Container>
71 bool operator> (const stack<T, Container>& x, const stack<T, Container>& y);
72 template <class T, class Container>
73 bool operator>=(const stack<T, Container>& x, const stack<T, Container>& y);
74 template <class T, class Container>
75 bool operator<=(const stack<T, Container>& x, const stack<T, Container>& y);
77 template <class T, class Container>
78 void swap(stack<T, Container>& x, stack<T, Container>& y)
79 noexcept(noexcept(x.swap(y)));
88 #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
89 #pragma GCC system_header
92 _LIBCPP_BEGIN_NAMESPACE_STD
94 template <class _Tp, class _Container> class stack;
96 template <class _Tp, class _Container>
98 operator==(const stack<_Tp, _Container>& __x, const stack<_Tp, _Container>& __y);
100 template <class _Tp, class _Container>
102 operator< (const stack<_Tp, _Container>& __x, const stack<_Tp, _Container>& __y);
104 template <class _Tp, class _Container = deque<_Tp> >
105 class _LIBCPP_VISIBLE stack
108 typedef _Container container_type;
109 typedef typename container_type::value_type value_type;
110 typedef typename container_type::reference reference;
111 typedef typename container_type::const_reference const_reference;
112 typedef typename container_type::size_type size_type;
118 _LIBCPP_INLINE_VISIBILITY
120 _NOEXCEPT_(is_nothrow_default_constructible<container_type>::value)
123 _LIBCPP_INLINE_VISIBILITY
124 stack(const stack& __q) : c(__q.c) {}
126 #ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
127 _LIBCPP_INLINE_VISIBILITY
129 _NOEXCEPT_(is_nothrow_move_constructible<container_type>::value)
130 : c(_VSTD::move(__q.c)) {}
131 #endif // _LIBCPP_HAS_NO_RVALUE_REFERENCES
133 _LIBCPP_INLINE_VISIBILITY
134 stack& operator=(const stack& __q) {c = __q.c; return *this;}
136 #ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
137 _LIBCPP_INLINE_VISIBILITY
138 stack& operator=(stack&& __q)
139 _NOEXCEPT_(is_nothrow_move_assignable<container_type>::value)
140 {c = _VSTD::move(__q.c); return *this;}
141 #endif // _LIBCPP_HAS_NO_RVALUE_REFERENCES
143 _LIBCPP_INLINE_VISIBILITY
144 explicit stack(const container_type& __c) : c(__c) {}
145 #ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
146 _LIBCPP_INLINE_VISIBILITY
147 explicit stack(container_type&& __c) : c(_VSTD::move(__c)) {}
148 #endif // _LIBCPP_HAS_NO_RVALUE_REFERENCES
149 template <class _Alloc>
150 _LIBCPP_INLINE_VISIBILITY
151 explicit stack(const _Alloc& __a,
152 typename enable_if<uses_allocator<container_type,
153 _Alloc>::value>::type* = 0)
155 template <class _Alloc>
156 _LIBCPP_INLINE_VISIBILITY
157 stack(const container_type& __c, const _Alloc& __a,
158 typename enable_if<uses_allocator<container_type,
159 _Alloc>::value>::type* = 0)
161 template <class _Alloc>
162 _LIBCPP_INLINE_VISIBILITY
163 stack(const stack& __s, const _Alloc& __a,
164 typename enable_if<uses_allocator<container_type,
165 _Alloc>::value>::type* = 0)
167 #ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
168 template <class _Alloc>
169 _LIBCPP_INLINE_VISIBILITY
170 stack(container_type&& __c, const _Alloc& __a,
171 typename enable_if<uses_allocator<container_type,
172 _Alloc>::value>::type* = 0)
173 : c(_VSTD::move(__c), __a) {}
174 template <class _Alloc>
175 _LIBCPP_INLINE_VISIBILITY
176 stack(stack&& __s, const _Alloc& __a,
177 typename enable_if<uses_allocator<container_type,
178 _Alloc>::value>::type* = 0)
179 : c(_VSTD::move(__s.c), __a) {}
180 #endif // _LIBCPP_HAS_NO_RVALUE_REFERENCES
182 _LIBCPP_INLINE_VISIBILITY
183 bool empty() const {return c.empty();}
184 _LIBCPP_INLINE_VISIBILITY
185 size_type size() const {return c.size();}
186 _LIBCPP_INLINE_VISIBILITY
187 reference top() {return c.back();}
188 _LIBCPP_INLINE_VISIBILITY
189 const_reference top() const {return c.back();}
191 _LIBCPP_INLINE_VISIBILITY
192 void push(const value_type& __v) {c.push_back(__v);}
193 #ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
194 _LIBCPP_INLINE_VISIBILITY
195 void push(value_type&& __v) {c.push_back(_VSTD::move(__v));}
196 #ifndef _LIBCPP_HAS_NO_VARIADICS
197 template <class... _Args>
198 _LIBCPP_INLINE_VISIBILITY
199 void emplace(_Args&&... __args)
200 {c.emplace_back(_VSTD::forward<_Args>(__args)...);}
201 #endif // _LIBCPP_HAS_NO_VARIADICS
202 #endif // _LIBCPP_HAS_NO_RVALUE_REFERENCES
203 _LIBCPP_INLINE_VISIBILITY
204 void pop() {c.pop_back();}
206 _LIBCPP_INLINE_VISIBILITY
207 void swap(stack& __s)
208 _NOEXCEPT_(__is_nothrow_swappable<container_type>::value)
214 template <class T1, class _C1>
217 operator==(const stack<T1, _C1>& __x, const stack<T1, _C1>& __y);
219 template <class T1, class _C1>
222 operator< (const stack<T1, _C1>& __x, const stack<T1, _C1>& __y);
225 template <class _Tp, class _Container>
226 inline _LIBCPP_INLINE_VISIBILITY
228 operator==(const stack<_Tp, _Container>& __x, const stack<_Tp, _Container>& __y)
230 return __x.c == __y.c;
233 template <class _Tp, class _Container>
234 inline _LIBCPP_INLINE_VISIBILITY
236 operator< (const stack<_Tp, _Container>& __x, const stack<_Tp, _Container>& __y)
238 return __x.c < __y.c;
241 template <class _Tp, class _Container>
242 inline _LIBCPP_INLINE_VISIBILITY
244 operator!=(const stack<_Tp, _Container>& __x, const stack<_Tp, _Container>& __y)
246 return !(__x == __y);
249 template <class _Tp, class _Container>
250 inline _LIBCPP_INLINE_VISIBILITY
252 operator> (const stack<_Tp, _Container>& __x, const stack<_Tp, _Container>& __y)
257 template <class _Tp, class _Container>
258 inline _LIBCPP_INLINE_VISIBILITY
260 operator>=(const stack<_Tp, _Container>& __x, const stack<_Tp, _Container>& __y)
265 template <class _Tp, class _Container>
266 inline _LIBCPP_INLINE_VISIBILITY
268 operator<=(const stack<_Tp, _Container>& __x, const stack<_Tp, _Container>& __y)
273 template <class _Tp, class _Container>
274 inline _LIBCPP_INLINE_VISIBILITY
276 swap(stack<_Tp, _Container>& __x, stack<_Tp, _Container>& __y)
277 _NOEXCEPT_(_NOEXCEPT_(__x.swap(__y)))
282 template <class _Tp, class _Container, class _Alloc>
283 struct _LIBCPP_VISIBLE uses_allocator<stack<_Tp, _Container>, _Alloc>
284 : public uses_allocator<_Container, _Alloc>
288 _LIBCPP_END_NAMESPACE_STD
290 #endif // _LIBCPP_STACK