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> reference emplace(Args&&... args); // reference in C++17
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_TEMPLATE_VIS 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_TEMPLATE_VIS 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 #if _LIBCPP_STD_VER > 14
203 reference emplace(_Args&&... __args)
204 { return c.emplace_back(_VSTD::forward<_Args>(__args)...);}
206 void emplace(_Args&&... __args)
207 { c.emplace_back(_VSTD::forward<_Args>(__args)...);}
209 #endif // _LIBCPP_HAS_NO_VARIADICS
210 #endif // _LIBCPP_HAS_NO_RVALUE_REFERENCES
211 _LIBCPP_INLINE_VISIBILITY
212 void pop() {c.pop_back();}
214 _LIBCPP_INLINE_VISIBILITY
215 void swap(stack& __s)
216 _NOEXCEPT_(__is_nothrow_swappable<container_type>::value)
222 template <class T1, class _C1>
225 operator==(const stack<T1, _C1>& __x, const stack<T1, _C1>& __y);
227 template <class T1, class _C1>
230 operator< (const stack<T1, _C1>& __x, const stack<T1, _C1>& __y);
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.c < __y.c;
249 template <class _Tp, class _Container>
250 inline _LIBCPP_INLINE_VISIBILITY
252 operator!=(const stack<_Tp, _Container>& __x, const stack<_Tp, _Container>& __y)
254 return !(__x == __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 operator<=(const stack<_Tp, _Container>& __x, const stack<_Tp, _Container>& __y)
281 template <class _Tp, class _Container>
282 inline _LIBCPP_INLINE_VISIBILITY
284 __is_swappable<_Container>::value,
287 swap(stack<_Tp, _Container>& __x, stack<_Tp, _Container>& __y)
288 _NOEXCEPT_(_NOEXCEPT_(__x.swap(__y)))
293 template <class _Tp, class _Container, class _Alloc>
294 struct _LIBCPP_TEMPLATE_VIS uses_allocator<stack<_Tp, _Container>, _Alloc>
295 : public uses_allocator<_Container, _Alloc>
299 _LIBCPP_END_NAMESPACE_STD
301 #endif // _LIBCPP_STACK