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(is_nothrow_swappable_v<Container>)
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 = deque<_Tp> > class _LIBCPP_TYPE_VIS_ONLY stack;
96 template <class _Tp, class _Container>
97 _LIBCPP_INLINE_VISIBILITY
99 operator==(const stack<_Tp, _Container>& __x, const stack<_Tp, _Container>& __y);
101 template <class _Tp, class _Container>
102 _LIBCPP_INLINE_VISIBILITY
104 operator< (const stack<_Tp, _Container>& __x, const stack<_Tp, _Container>& __y);
106 template <class _Tp, class _Container /*= deque<_Tp>*/>
107 class _LIBCPP_TYPE_VIS_ONLY stack
110 typedef _Container container_type;
111 typedef typename container_type::value_type value_type;
112 typedef typename container_type::reference reference;
113 typedef typename container_type::const_reference const_reference;
114 typedef typename container_type::size_type size_type;
115 static_assert((is_same<_Tp, value_type>::value), "" );
121 _LIBCPP_INLINE_VISIBILITY
123 _NOEXCEPT_(is_nothrow_default_constructible<container_type>::value)
126 _LIBCPP_INLINE_VISIBILITY
127 stack(const stack& __q) : c(__q.c) {}
129 #ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
130 _LIBCPP_INLINE_VISIBILITY
132 _NOEXCEPT_(is_nothrow_move_constructible<container_type>::value)
133 : c(_VSTD::move(__q.c)) {}
134 #endif // _LIBCPP_HAS_NO_RVALUE_REFERENCES
136 _LIBCPP_INLINE_VISIBILITY
137 stack& operator=(const stack& __q) {c = __q.c; return *this;}
139 #ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
140 _LIBCPP_INLINE_VISIBILITY
141 stack& operator=(stack&& __q)
142 _NOEXCEPT_(is_nothrow_move_assignable<container_type>::value)
143 {c = _VSTD::move(__q.c); return *this;}
144 #endif // _LIBCPP_HAS_NO_RVALUE_REFERENCES
146 _LIBCPP_INLINE_VISIBILITY
147 explicit stack(const container_type& __c) : c(__c) {}
148 #ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
149 _LIBCPP_INLINE_VISIBILITY
150 explicit stack(container_type&& __c) : c(_VSTD::move(__c)) {}
151 #endif // _LIBCPP_HAS_NO_RVALUE_REFERENCES
152 template <class _Alloc>
153 _LIBCPP_INLINE_VISIBILITY
154 explicit stack(const _Alloc& __a,
155 typename enable_if<uses_allocator<container_type,
156 _Alloc>::value>::type* = 0)
158 template <class _Alloc>
159 _LIBCPP_INLINE_VISIBILITY
160 stack(const container_type& __c, const _Alloc& __a,
161 typename enable_if<uses_allocator<container_type,
162 _Alloc>::value>::type* = 0)
164 template <class _Alloc>
165 _LIBCPP_INLINE_VISIBILITY
166 stack(const stack& __s, const _Alloc& __a,
167 typename enable_if<uses_allocator<container_type,
168 _Alloc>::value>::type* = 0)
170 #ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
171 template <class _Alloc>
172 _LIBCPP_INLINE_VISIBILITY
173 stack(container_type&& __c, const _Alloc& __a,
174 typename enable_if<uses_allocator<container_type,
175 _Alloc>::value>::type* = 0)
176 : c(_VSTD::move(__c), __a) {}
177 template <class _Alloc>
178 _LIBCPP_INLINE_VISIBILITY
179 stack(stack&& __s, const _Alloc& __a,
180 typename enable_if<uses_allocator<container_type,
181 _Alloc>::value>::type* = 0)
182 : c(_VSTD::move(__s.c), __a) {}
183 #endif // _LIBCPP_HAS_NO_RVALUE_REFERENCES
185 _LIBCPP_INLINE_VISIBILITY
186 bool empty() const {return c.empty();}
187 _LIBCPP_INLINE_VISIBILITY
188 size_type size() const {return c.size();}
189 _LIBCPP_INLINE_VISIBILITY
190 reference top() {return c.back();}
191 _LIBCPP_INLINE_VISIBILITY
192 const_reference top() const {return c.back();}
194 _LIBCPP_INLINE_VISIBILITY
195 void push(const value_type& __v) {c.push_back(__v);}
196 #ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
197 _LIBCPP_INLINE_VISIBILITY
198 void push(value_type&& __v) {c.push_back(_VSTD::move(__v));}
199 #ifndef _LIBCPP_HAS_NO_VARIADICS
200 template <class... _Args>
201 _LIBCPP_INLINE_VISIBILITY
202 void emplace(_Args&&... __args)
203 {c.emplace_back(_VSTD::forward<_Args>(__args)...);}
204 #endif // _LIBCPP_HAS_NO_VARIADICS
205 #endif // _LIBCPP_HAS_NO_RVALUE_REFERENCES
206 _LIBCPP_INLINE_VISIBILITY
207 void pop() {c.pop_back();}
209 _LIBCPP_INLINE_VISIBILITY
210 void swap(stack& __s)
211 _NOEXCEPT_(__is_nothrow_swappable<container_type>::value)
217 template <class T1, class _C1>
220 operator==(const stack<T1, _C1>& __x, const stack<T1, _C1>& __y);
222 template <class T1, class _C1>
225 operator< (const stack<T1, _C1>& __x, const stack<T1, _C1>& __y);
228 template <class _Tp, class _Container>
229 inline _LIBCPP_INLINE_VISIBILITY
231 operator==(const stack<_Tp, _Container>& __x, const stack<_Tp, _Container>& __y)
233 return __x.c == __y.c;
236 template <class _Tp, class _Container>
237 inline _LIBCPP_INLINE_VISIBILITY
239 operator< (const stack<_Tp, _Container>& __x, const stack<_Tp, _Container>& __y)
241 return __x.c < __y.c;
244 template <class _Tp, class _Container>
245 inline _LIBCPP_INLINE_VISIBILITY
247 operator!=(const stack<_Tp, _Container>& __x, const stack<_Tp, _Container>& __y)
249 return !(__x == __y);
252 template <class _Tp, class _Container>
253 inline _LIBCPP_INLINE_VISIBILITY
255 operator> (const stack<_Tp, _Container>& __x, const stack<_Tp, _Container>& __y)
260 template <class _Tp, class _Container>
261 inline _LIBCPP_INLINE_VISIBILITY
263 operator>=(const stack<_Tp, _Container>& __x, const stack<_Tp, _Container>& __y)
268 template <class _Tp, class _Container>
269 inline _LIBCPP_INLINE_VISIBILITY
271 operator<=(const stack<_Tp, _Container>& __x, const stack<_Tp, _Container>& __y)
276 template <class _Tp, class _Container>
277 inline _LIBCPP_INLINE_VISIBILITY
279 __is_swappable<_Container>::value,
282 swap(stack<_Tp, _Container>& __x, stack<_Tp, _Container>& __y)
283 _NOEXCEPT_(_NOEXCEPT_(__x.swap(__y)))
288 template <class _Tp, class _Container, class _Alloc>
289 struct _LIBCPP_TYPE_VIS_ONLY uses_allocator<stack<_Tp, _Container>, _Alloc>
290 : public uses_allocator<_Container, _Alloc>
294 _LIBCPP_END_NAMESPACE_STD
296 #endif // _LIBCPP_STACK