blob: d1fa23a2f77fba334309f54be61b0229e44ad3ec [file] [log] [blame]
David Tolnayb5d039c2020-12-12 23:21:17 -08001//! Less used details of `CxxVector` are exposed in this module. `CxxVector`
2//! itself is exposed at the crate root.
3
David Tolnay181ee912020-12-04 12:15:10 -08004use crate::extern_type::ExternType;
5use crate::kind::Trivial;
David Tolnaybac25822020-12-12 23:13:51 -08006use crate::string::CxxString;
David Tolnay3384c142020-09-14 00:26:47 -04007use core::ffi::c_void;
David Tolnayac5af502021-03-25 00:29:06 -04008use core::fmt::{self, Debug};
David Tolnay526faa22020-12-13 16:10:47 -08009use core::iter::FusedIterator;
David Tolnay95dab1d2020-11-15 14:32:37 -080010use core::marker::{PhantomData, PhantomPinned};
David Tolnay95215192021-04-16 15:40:12 -070011use core::mem::{self, ManuallyDrop, MaybeUninit};
David Tolnay767e00d2020-12-21 17:12:27 -080012use core::pin::Pin;
David Tolnay93637ca2020-09-24 15:58:20 -040013use core::slice;
David Tolnay4f7e6fa2020-04-24 11:52:44 -070014
David Tolnay61a9fdf2020-04-24 16:19:42 -070015/// Binding to C++ `std::vector<T, std::allocator<T>>`.
Myron Ahneba35cf2020-02-05 19:41:51 +070016///
17/// # Invariants
18///
19/// As an invariant of this API and the static analysis of the cxx::bridge
David Tolnay5fe93632020-04-24 12:31:00 -070020/// macro, in Rust code we can never obtain a `CxxVector` by value. Instead in
21/// Rust code we will only ever look at a vector behind a reference or smart
22/// pointer, as in `&CxxVector<T>` or `UniquePtr<CxxVector<T>>`.
David Tolnay4f7e6fa2020-04-24 11:52:44 -070023#[repr(C, packed)]
David Tolnaye90be1d2020-04-24 11:45:57 -070024pub struct CxxVector<T> {
David Tolnay11eed382021-05-01 14:22:58 -070025 // A thing, because repr(C) structs are not allowed to consist exclusively
26 // of PhantomData fields.
27 _void: [c_void; 0],
28 // The conceptual vector elements to ensure that autotraits are propagated
29 // correctly, e.g. CxxVector is UnwindSafe iff T is.
30 _elements: PhantomData<[T]>,
31 // Prevent unpin operation from Pin<&mut CxxVector<T>> to &mut CxxVector<T>.
David Tolnay95dab1d2020-11-15 14:32:37 -080032 _pinned: PhantomData<PhantomPinned>,
Myron Ahneba35cf2020-02-05 19:41:51 +070033}
34
David Tolnay4074ad22020-04-24 18:20:11 -070035impl<T> CxxVector<T>
36where
37 T: VectorElement,
38{
David Tolnaycdc87962020-04-24 13:45:59 -070039 /// Returns the number of elements in the vector.
David Tolnaydd839192020-04-24 16:41:29 -070040 ///
41 /// Matches the behavior of C++ [std::vector\<T\>::size][size].
42 ///
43 /// [size]: https://en.cppreference.com/w/cpp/container/vector/size
David Tolnayc01d0a02020-04-24 13:30:44 -070044 pub fn len(&self) -> usize {
David Tolnay0e084662020-04-24 14:02:51 -070045 T::__vector_size(self)
Myron Ahneba35cf2020-02-05 19:41:51 +070046 }
47
David Tolnaycdc87962020-04-24 13:45:59 -070048 /// Returns true if the vector contains no elements.
David Tolnaydd839192020-04-24 16:41:29 -070049 ///
50 /// Matches the behavior of C++ [std::vector\<T\>::empty][empty].
51 ///
52 /// [empty]: https://en.cppreference.com/w/cpp/container/vector/empty
Myron Ahneba35cf2020-02-05 19:41:51 +070053 pub fn is_empty(&self) -> bool {
David Tolnayc01d0a02020-04-24 13:30:44 -070054 self.len() == 0
Myron Ahneba35cf2020-02-05 19:41:51 +070055 }
56
David Tolnaycdc87962020-04-24 13:45:59 -070057 /// Returns a reference to an element at the given position, or `None` if
58 /// out of bounds.
Myron Ahneba35cf2020-02-05 19:41:51 +070059 pub fn get(&self, pos: usize) -> Option<&T> {
David Tolnayc01d0a02020-04-24 13:30:44 -070060 if pos < self.len() {
David Tolnay93637ca2020-09-24 15:58:20 -040061 Some(unsafe { self.get_unchecked(pos) })
Myron Ahneba35cf2020-02-05 19:41:51 +070062 } else {
63 None
64 }
65 }
66
David Tolnay767e00d2020-12-21 17:12:27 -080067 /// Returns a pinned mutable reference to an element at the given position,
68 /// or `None` if out of bounds.
David Tolnay5b395b32020-12-31 10:44:26 -080069 pub fn index_mut(self: Pin<&mut Self>, pos: usize) -> Option<Pin<&mut T>> {
David Tolnay767e00d2020-12-21 17:12:27 -080070 if pos < self.len() {
David Tolnay5b395b32020-12-31 10:44:26 -080071 Some(unsafe { self.index_unchecked_mut(pos) })
David Tolnay767e00d2020-12-21 17:12:27 -080072 } else {
73 None
74 }
75 }
76
David Tolnay4944f2f2020-04-24 13:46:12 -070077 /// Returns a reference to an element without doing bounds checking.
78 ///
79 /// This is generally not recommended, use with caution! Calling this method
80 /// with an out-of-bounds index is undefined behavior even if the resulting
81 /// reference is not used.
David Tolnaydd839192020-04-24 16:41:29 -070082 ///
83 /// Matches the behavior of C++
David Tolnay767e00d2020-12-21 17:12:27 -080084 /// [std::vector\<T\>::operator\[\] const][operator_at].
85 ///
86 /// [operator_at]: https://en.cppreference.com/w/cpp/container/vector/operator_at
87 pub unsafe fn get_unchecked(&self, pos: usize) -> &T {
88 let this = self as *const CxxVector<T> as *mut CxxVector<T>;
David Tolnay0b4b73f2021-08-27 12:12:53 -070089 unsafe {
90 let ptr = T::__get_unchecked(this, pos) as *const T;
91 &*ptr
92 }
David Tolnay767e00d2020-12-21 17:12:27 -080093 }
94
95 /// Returns a pinned mutable reference to an element without doing bounds
96 /// checking.
97 ///
98 /// This is generally not recommended, use with caution! Calling this method
99 /// with an out-of-bounds index is undefined behavior even if the resulting
100 /// reference is not used.
101 ///
102 /// Matches the behavior of C++
David Tolnaydd839192020-04-24 16:41:29 -0700103 /// [std::vector\<T\>::operator\[\]][operator_at].
104 ///
105 /// [operator_at]: https://en.cppreference.com/w/cpp/container/vector/operator_at
David Tolnay5b395b32020-12-31 10:44:26 -0800106 pub unsafe fn index_unchecked_mut(self: Pin<&mut Self>, pos: usize) -> Pin<&mut T> {
David Tolnay0b4b73f2021-08-27 12:12:53 -0700107 unsafe {
108 let ptr = T::__get_unchecked(self.get_unchecked_mut(), pos);
109 Pin::new_unchecked(&mut *ptr)
110 }
David Tolnay93637ca2020-09-24 15:58:20 -0400111 }
112
113 /// Returns a slice to the underlying contiguous array of elements.
David Tolnay181ee912020-12-04 12:15:10 -0800114 pub fn as_slice(&self) -> &[T]
115 where
116 T: ExternType<Kind = Trivial>,
117 {
David Tolnay93637ca2020-09-24 15:58:20 -0400118 let len = self.len();
119 if len == 0 {
David Tolnaya5a14ce2020-09-24 16:02:40 -0400120 // The slice::from_raw_parts in the other branch requires a nonnull
121 // and properly aligned data ptr. C++ standard does not guarantee
122 // that data() on a vector with size 0 would return a nonnull
123 // pointer or sufficiently aligned pointer, so using it would be
124 // undefined behavior. Create our own empty slice in Rust instead
125 // which upholds the invariants.
David Tolnayacc7fb02020-09-24 18:10:09 -0400126 &[]
David Tolnay93637ca2020-09-24 15:58:20 -0400127 } else {
David Tolnay767e00d2020-12-21 17:12:27 -0800128 let this = self as *const CxxVector<T> as *mut CxxVector<T>;
129 let ptr = unsafe { T::__get_unchecked(this, 0) };
David Tolnay93637ca2020-09-24 15:58:20 -0400130 unsafe { slice::from_raw_parts(ptr, len) }
131 }
David Tolnay4944f2f2020-04-24 13:46:12 -0700132 }
David Tolnay4f71cc52020-11-15 23:55:27 -0800133
David Tolnayab1ac882020-12-31 11:54:37 -0800134 /// Returns a slice to the underlying contiguous array of elements by
135 /// mutable reference.
136 pub fn as_mut_slice(self: Pin<&mut Self>) -> &mut [T]
137 where
138 T: ExternType<Kind = Trivial>,
139 {
140 let len = self.len();
141 if len == 0 {
142 &mut []
143 } else {
144 let ptr = unsafe { T::__get_unchecked(self.get_unchecked_mut(), 0) };
145 unsafe { slice::from_raw_parts_mut(ptr, len) }
146 }
147 }
148
David Tolnay4f71cc52020-11-15 23:55:27 -0800149 /// Returns an iterator over elements of type `&T`.
150 pub fn iter(&self) -> Iter<T> {
151 Iter { v: self, index: 0 }
152 }
David Tolnay26a52922020-12-21 17:29:04 -0800153
154 /// Returns an iterator over elements of type `Pin<&mut T>`.
David Tolnay30bea1c2020-12-31 10:41:42 -0800155 pub fn iter_mut(self: Pin<&mut Self>) -> IterMut<T> {
David Tolnay26a52922020-12-21 17:29:04 -0800156 IterMut { v: self, index: 0 }
157 }
David Tolnayfc26d6d2021-04-15 21:18:45 -0700158
159 /// Appends an element to the back of the vector.
160 ///
161 /// Matches the behavior of C++ [std::vector\<T\>::push_back][push_back].
162 ///
163 /// [push_back]: https://en.cppreference.com/w/cpp/container/vector/push_back
164 pub fn push(self: Pin<&mut Self>, value: T)
165 where
166 T: ExternType<Kind = Trivial>,
167 {
168 let mut value = ManuallyDrop::new(value);
169 unsafe {
170 // C++ calls move constructor followed by destructor on `value`.
171 T::__push_back(self, &mut value);
172 }
173 }
David Tolnay95215192021-04-16 15:40:12 -0700174
David Tolnay9b546302021-04-16 16:05:05 -0700175 /// Removes the last element from a vector and returns it, or `None` if the
176 /// vector is empty.
David Tolnay95215192021-04-16 15:40:12 -0700177 pub fn pop(self: Pin<&mut Self>) -> Option<T>
178 where
179 T: ExternType<Kind = Trivial>,
180 {
181 if self.is_empty() {
182 None
183 } else {
184 let mut value = MaybeUninit::uninit();
185 Some(unsafe {
186 T::__pop_back(self, &mut value);
187 value.assume_init()
188 })
189 }
190 }
Myron Ahneba35cf2020-02-05 19:41:51 +0700191}
192
David Tolnayb5d039c2020-12-12 23:21:17 -0800193/// Iterator over elements of a `CxxVector` by shared reference.
194///
195/// The iterator element type is `&'a T`.
David Tolnay3d88bdc2020-04-24 13:48:18 -0700196pub struct Iter<'a, T> {
David Tolnaye90be1d2020-04-24 11:45:57 -0700197 v: &'a CxxVector<T>,
Myron Ahneba35cf2020-02-05 19:41:51 +0700198 index: usize,
199}
200
David Tolnay4074ad22020-04-24 18:20:11 -0700201impl<'a, T> IntoIterator for &'a CxxVector<T>
202where
203 T: VectorElement,
204{
Myron Ahneba35cf2020-02-05 19:41:51 +0700205 type Item = &'a T;
David Tolnay3d88bdc2020-04-24 13:48:18 -0700206 type IntoIter = Iter<'a, T>;
Myron Ahneba35cf2020-02-05 19:41:51 +0700207
208 fn into_iter(self) -> Self::IntoIter {
David Tolnay4f71cc52020-11-15 23:55:27 -0800209 self.iter()
Myron Ahneba35cf2020-02-05 19:41:51 +0700210 }
211}
212
David Tolnay4074ad22020-04-24 18:20:11 -0700213impl<'a, T> Iterator for Iter<'a, T>
214where
215 T: VectorElement,
216{
Myron Ahneba35cf2020-02-05 19:41:51 +0700217 type Item = &'a T;
David Tolnay85db5a02020-04-25 13:17:27 -0700218
Myron Ahneba35cf2020-02-05 19:41:51 +0700219 fn next(&mut self) -> Option<Self::Item> {
David Tolnay0d527172020-12-21 17:35:24 -0800220 let next = self.v.get(self.index)?;
221 self.index += 1;
222 Some(next)
Myron Ahneba35cf2020-02-05 19:41:51 +0700223 }
David Tolnay724ac752020-12-13 16:00:48 -0800224
225 fn size_hint(&self) -> (usize, Option<usize>) {
226 let len = self.len();
227 (len, Some(len))
228 }
229}
230
231impl<'a, T> ExactSizeIterator for Iter<'a, T>
232where
233 T: VectorElement,
234{
235 fn len(&self) -> usize {
236 self.v.len() - self.index
237 }
Myron Ahneba35cf2020-02-05 19:41:51 +0700238}
239
David Tolnay526faa22020-12-13 16:10:47 -0800240impl<'a, T> FusedIterator for Iter<'a, T> where T: VectorElement {}
241
David Tolnay26a52922020-12-21 17:29:04 -0800242/// Iterator over elements of a `CxxVector` by pinned mutable reference.
243///
244/// The iterator element type is `Pin<&'a mut T>`.
245pub struct IterMut<'a, T> {
David Tolnay30bea1c2020-12-31 10:41:42 -0800246 v: Pin<&'a mut CxxVector<T>>,
David Tolnay26a52922020-12-21 17:29:04 -0800247 index: usize,
248}
249
David Tolnay30bea1c2020-12-31 10:41:42 -0800250impl<'a, T> IntoIterator for Pin<&'a mut CxxVector<T>>
David Tolnay26a52922020-12-21 17:29:04 -0800251where
252 T: VectorElement,
253{
254 type Item = Pin<&'a mut T>;
255 type IntoIter = IterMut<'a, T>;
256
257 fn into_iter(self) -> Self::IntoIter {
258 self.iter_mut()
259 }
260}
261
262impl<'a, T> Iterator for IterMut<'a, T>
263where
264 T: VectorElement,
265{
266 type Item = Pin<&'a mut T>;
267
268 fn next(&mut self) -> Option<Self::Item> {
David Tolnay5b395b32020-12-31 10:44:26 -0800269 let next = self.v.as_mut().index_mut(self.index)?;
David Tolnay26a52922020-12-21 17:29:04 -0800270 self.index += 1;
271 // Extend lifetime to allow simultaneous holding of nonoverlapping
272 // elements, analogous to slice::split_first_mut.
273 unsafe {
274 let ptr = Pin::into_inner_unchecked(next) as *mut T;
275 Some(Pin::new_unchecked(&mut *ptr))
276 }
277 }
278
279 fn size_hint(&self) -> (usize, Option<usize>) {
280 let len = self.len();
281 (len, Some(len))
282 }
283}
284
285impl<'a, T> ExactSizeIterator for IterMut<'a, T>
286where
287 T: VectorElement,
288{
289 fn len(&self) -> usize {
290 self.v.len() - self.index
291 }
292}
293
294impl<'a, T> FusedIterator for IterMut<'a, T> where T: VectorElement {}
295
David Tolnaya8100ed2020-12-04 12:41:24 -0800296impl<T> Debug for CxxVector<T>
297where
298 T: VectorElement + Debug,
299{
300 fn fmt(&self, formatter: &mut fmt::Formatter) -> fmt::Result {
301 formatter.debug_list().entries(self).finish()
302 }
303}
304
David Tolnay71b8d382021-03-25 02:03:14 -0400305/// Trait bound for types which may be used as the `T` inside of a
306/// `CxxVector<T>` in generic code.
307///
308/// This trait has no publicly callable or implementable methods. Implementing
309/// it outside of the CXX codebase is not supported.
310///
311/// # Example
312///
313/// A bound `T: VectorElement` may be necessary when manipulating [`CxxVector`]
314/// in generic code.
315///
316/// ```
317/// use cxx::vector::{CxxVector, VectorElement};
318/// use std::fmt::Display;
319///
320/// pub fn take_generic_vector<T>(vector: &CxxVector<T>)
321/// where
322/// T: VectorElement + Display,
323/// {
324/// println!("the vector elements are:");
325/// for element in vector {
326/// println!(" • {}", element);
327/// }
328/// }
329/// ```
330///
331/// Writing the same generic function without a `VectorElement` trait bound
332/// would not compile.
David Tolnayc3ed3a62020-04-24 13:34:50 -0700333pub unsafe trait VectorElement: Sized {
David Tolnayb99359b2021-03-25 02:05:20 -0400334 #[doc(hidden)]
David Tolnayac5af502021-03-25 00:29:06 -0400335 fn __typename(f: &mut fmt::Formatter) -> fmt::Result;
David Tolnayb99359b2021-03-25 02:05:20 -0400336 #[doc(hidden)]
David Tolnay0e084662020-04-24 14:02:51 -0700337 fn __vector_size(v: &CxxVector<Self>) -> usize;
David Tolnayb99359b2021-03-25 02:05:20 -0400338 #[doc(hidden)]
David Tolnay767e00d2020-12-21 17:12:27 -0800339 unsafe fn __get_unchecked(v: *mut CxxVector<Self>, pos: usize) -> *mut Self;
David Tolnayb99359b2021-03-25 02:05:20 -0400340 #[doc(hidden)]
David Tolnayfc26d6d2021-04-15 21:18:45 -0700341 unsafe fn __push_back(v: Pin<&mut CxxVector<Self>>, value: &mut ManuallyDrop<Self>) {
342 // Opaque C type vector elements do not get this method because they can
343 // never exist by value on the Rust side of the bridge.
344 let _ = v;
345 let _ = value;
346 unreachable!()
347 }
348 #[doc(hidden)]
David Tolnay95215192021-04-16 15:40:12 -0700349 unsafe fn __pop_back(v: Pin<&mut CxxVector<Self>>, out: &mut MaybeUninit<Self>) {
350 // Opaque C type vector elements do not get this method because they can
351 // never exist by value on the Rust side of the bridge.
352 let _ = v;
353 let _ = out;
354 unreachable!()
355 }
356 #[doc(hidden)]
David Tolnay46cff542021-05-02 10:59:57 -0700357 fn __unique_ptr_null() -> MaybeUninit<*mut c_void>;
David Tolnayb99359b2021-03-25 02:05:20 -0400358 #[doc(hidden)]
David Tolnay46cff542021-05-02 10:59:57 -0700359 unsafe fn __unique_ptr_raw(raw: *mut CxxVector<Self>) -> MaybeUninit<*mut c_void>;
David Tolnayb99359b2021-03-25 02:05:20 -0400360 #[doc(hidden)]
David Tolnay46cff542021-05-02 10:59:57 -0700361 unsafe fn __unique_ptr_get(repr: MaybeUninit<*mut c_void>) -> *const CxxVector<Self>;
David Tolnayb99359b2021-03-25 02:05:20 -0400362 #[doc(hidden)]
David Tolnay46cff542021-05-02 10:59:57 -0700363 unsafe fn __unique_ptr_release(repr: MaybeUninit<*mut c_void>) -> *mut CxxVector<Self>;
David Tolnayb99359b2021-03-25 02:05:20 -0400364 #[doc(hidden)]
David Tolnay46cff542021-05-02 10:59:57 -0700365 unsafe fn __unique_ptr_drop(repr: MaybeUninit<*mut c_void>);
David Tolnay1b341192020-04-24 13:04:04 -0700366}
367
David Tolnay95215192021-04-16 15:40:12 -0700368macro_rules! vector_element_by_value_methods {
David Tolnayfc26d6d2021-04-15 21:18:45 -0700369 (opaque, $segment:expr, $ty:ty) => {};
370 (trivial, $segment:expr, $ty:ty) => {
371 #[doc(hidden)]
372 unsafe fn __push_back(v: Pin<&mut CxxVector<$ty>>, value: &mut ManuallyDrop<$ty>) {
373 extern "C" {
374 attr! {
375 #[link_name = concat!("cxxbridge1$std$vector$", $segment, "$push_back")]
376 fn __push_back(_: Pin<&mut CxxVector<$ty>>, _: &mut ManuallyDrop<$ty>);
377 }
378 }
David Tolnay0b4b73f2021-08-27 12:12:53 -0700379 unsafe { __push_back(v, value) }
David Tolnayfc26d6d2021-04-15 21:18:45 -0700380 }
David Tolnay95215192021-04-16 15:40:12 -0700381 #[doc(hidden)]
382 unsafe fn __pop_back(v: Pin<&mut CxxVector<$ty>>, out: &mut MaybeUninit<$ty>) {
383 extern "C" {
384 attr! {
385 #[link_name = concat!("cxxbridge1$std$vector$", $segment, "$pop_back")]
386 fn __pop_back(_: Pin<&mut CxxVector<$ty>>, _: &mut MaybeUninit<$ty>);
387 }
388 }
David Tolnay0b4b73f2021-08-27 12:12:53 -0700389 unsafe { __pop_back(v, out) }
David Tolnay95215192021-04-16 15:40:12 -0700390 }
David Tolnayfc26d6d2021-04-15 21:18:45 -0700391 };
392}
393
David Tolnay47e239d2020-08-28 00:32:04 -0700394macro_rules! impl_vector_element {
David Tolnayfc26d6d2021-04-15 21:18:45 -0700395 ($kind:ident, $segment:expr, $name:expr, $ty:ty) => {
David Tolnay9f0e67d2021-05-01 14:09:39 -0700396 const_assert_eq!(0, mem::size_of::<CxxVector<$ty>>());
David Tolnayf0446632020-04-25 11:29:26 -0700397 const_assert_eq!(1, mem::align_of::<CxxVector<$ty>>());
398
David Tolnaye4b6a622020-04-24 14:55:42 -0700399 unsafe impl VectorElement for $ty {
David Tolnayb99359b2021-03-25 02:05:20 -0400400 #[doc(hidden)]
David Tolnayac5af502021-03-25 00:29:06 -0400401 fn __typename(f: &mut fmt::Formatter) -> fmt::Result {
402 f.write_str($name)
403 }
David Tolnayb99359b2021-03-25 02:05:20 -0400404 #[doc(hidden)]
David Tolnaye4b6a622020-04-24 14:55:42 -0700405 fn __vector_size(v: &CxxVector<$ty>) -> usize {
406 extern "C" {
407 attr! {
David Tolnay0f0162f2020-11-16 23:43:37 -0800408 #[link_name = concat!("cxxbridge1$std$vector$", $segment, "$size")]
David Tolnaye4b6a622020-04-24 14:55:42 -0700409 fn __vector_size(_: &CxxVector<$ty>) -> usize;
410 }
411 }
412 unsafe { __vector_size(v) }
413 }
David Tolnayb99359b2021-03-25 02:05:20 -0400414 #[doc(hidden)]
David Tolnay767e00d2020-12-21 17:12:27 -0800415 unsafe fn __get_unchecked(v: *mut CxxVector<$ty>, pos: usize) -> *mut $ty {
David Tolnaye4b6a622020-04-24 14:55:42 -0700416 extern "C" {
417 attr! {
David Tolnay0f0162f2020-11-16 23:43:37 -0800418 #[link_name = concat!("cxxbridge1$std$vector$", $segment, "$get_unchecked")]
David Tolnay767e00d2020-12-21 17:12:27 -0800419 fn __get_unchecked(_: *mut CxxVector<$ty>, _: usize) -> *mut $ty;
David Tolnaye4b6a622020-04-24 14:55:42 -0700420 }
421 }
David Tolnay0b4b73f2021-08-27 12:12:53 -0700422 unsafe { __get_unchecked(v, pos) }
David Tolnaye4b6a622020-04-24 14:55:42 -0700423 }
David Tolnay95215192021-04-16 15:40:12 -0700424 vector_element_by_value_methods!($kind, $segment, $ty);
David Tolnayb99359b2021-03-25 02:05:20 -0400425 #[doc(hidden)]
David Tolnay46cff542021-05-02 10:59:57 -0700426 fn __unique_ptr_null() -> MaybeUninit<*mut c_void> {
David Tolnay3b40b6f2020-04-24 17:58:24 -0700427 extern "C" {
428 attr! {
David Tolnay0f0162f2020-11-16 23:43:37 -0800429 #[link_name = concat!("cxxbridge1$unique_ptr$std$vector$", $segment, "$null")]
David Tolnay46cff542021-05-02 10:59:57 -0700430 fn __unique_ptr_null(this: *mut MaybeUninit<*mut c_void>);
David Tolnay3b40b6f2020-04-24 17:58:24 -0700431 }
432 }
David Tolnay46cff542021-05-02 10:59:57 -0700433 let mut repr = MaybeUninit::uninit();
David Tolnay3b40b6f2020-04-24 17:58:24 -0700434 unsafe { __unique_ptr_null(&mut repr) }
435 repr
436 }
David Tolnayb99359b2021-03-25 02:05:20 -0400437 #[doc(hidden)]
David Tolnay46cff542021-05-02 10:59:57 -0700438 unsafe fn __unique_ptr_raw(raw: *mut CxxVector<Self>) -> MaybeUninit<*mut c_void> {
David Tolnay3b40b6f2020-04-24 17:58:24 -0700439 extern "C" {
440 attr! {
David Tolnay0f0162f2020-11-16 23:43:37 -0800441 #[link_name = concat!("cxxbridge1$unique_ptr$std$vector$", $segment, "$raw")]
David Tolnay46cff542021-05-02 10:59:57 -0700442 fn __unique_ptr_raw(this: *mut MaybeUninit<*mut c_void>, raw: *mut CxxVector<$ty>);
David Tolnay3b40b6f2020-04-24 17:58:24 -0700443 }
444 }
David Tolnay46cff542021-05-02 10:59:57 -0700445 let mut repr = MaybeUninit::uninit();
David Tolnay0b4b73f2021-08-27 12:12:53 -0700446 unsafe { __unique_ptr_raw(&mut repr, raw) }
David Tolnay3b40b6f2020-04-24 17:58:24 -0700447 repr
448 }
David Tolnayb99359b2021-03-25 02:05:20 -0400449 #[doc(hidden)]
David Tolnay46cff542021-05-02 10:59:57 -0700450 unsafe fn __unique_ptr_get(repr: MaybeUninit<*mut c_void>) -> *const CxxVector<Self> {
David Tolnay3b40b6f2020-04-24 17:58:24 -0700451 extern "C" {
452 attr! {
David Tolnay0f0162f2020-11-16 23:43:37 -0800453 #[link_name = concat!("cxxbridge1$unique_ptr$std$vector$", $segment, "$get")]
David Tolnay46cff542021-05-02 10:59:57 -0700454 fn __unique_ptr_get(this: *const MaybeUninit<*mut c_void>) -> *const CxxVector<$ty>;
David Tolnay3b40b6f2020-04-24 17:58:24 -0700455 }
456 }
David Tolnay0b4b73f2021-08-27 12:12:53 -0700457 unsafe { __unique_ptr_get(&repr) }
David Tolnay3b40b6f2020-04-24 17:58:24 -0700458 }
David Tolnayb99359b2021-03-25 02:05:20 -0400459 #[doc(hidden)]
David Tolnay46cff542021-05-02 10:59:57 -0700460 unsafe fn __unique_ptr_release(mut repr: MaybeUninit<*mut c_void>) -> *mut CxxVector<Self> {
David Tolnay3b40b6f2020-04-24 17:58:24 -0700461 extern "C" {
462 attr! {
David Tolnay0f0162f2020-11-16 23:43:37 -0800463 #[link_name = concat!("cxxbridge1$unique_ptr$std$vector$", $segment, "$release")]
David Tolnay46cff542021-05-02 10:59:57 -0700464 fn __unique_ptr_release(this: *mut MaybeUninit<*mut c_void>) -> *mut CxxVector<$ty>;
David Tolnay3b40b6f2020-04-24 17:58:24 -0700465 }
466 }
David Tolnay0b4b73f2021-08-27 12:12:53 -0700467 unsafe { __unique_ptr_release(&mut repr) }
David Tolnay3b40b6f2020-04-24 17:58:24 -0700468 }
David Tolnayb99359b2021-03-25 02:05:20 -0400469 #[doc(hidden)]
David Tolnay46cff542021-05-02 10:59:57 -0700470 unsafe fn __unique_ptr_drop(mut repr: MaybeUninit<*mut c_void>) {
David Tolnay3b40b6f2020-04-24 17:58:24 -0700471 extern "C" {
472 attr! {
David Tolnay0f0162f2020-11-16 23:43:37 -0800473 #[link_name = concat!("cxxbridge1$unique_ptr$std$vector$", $segment, "$drop")]
David Tolnay46cff542021-05-02 10:59:57 -0700474 fn __unique_ptr_drop(this: *mut MaybeUninit<*mut c_void>);
David Tolnay3b40b6f2020-04-24 17:58:24 -0700475 }
476 }
David Tolnay0b4b73f2021-08-27 12:12:53 -0700477 unsafe { __unique_ptr_drop(&mut repr) }
David Tolnay3b40b6f2020-04-24 17:58:24 -0700478 }
David Tolnaye4b6a622020-04-24 14:55:42 -0700479 }
480 };
481}
482
David Tolnay47e239d2020-08-28 00:32:04 -0700483macro_rules! impl_vector_element_for_primitive {
484 ($ty:ident) => {
David Tolnayfc26d6d2021-04-15 21:18:45 -0700485 impl_vector_element!(trivial, stringify!($ty), stringify!($ty), $ty);
David Tolnay47e239d2020-08-28 00:32:04 -0700486 };
487}
488
David Tolnay4b91eaa2020-04-24 14:19:22 -0700489impl_vector_element_for_primitive!(u8);
490impl_vector_element_for_primitive!(u16);
491impl_vector_element_for_primitive!(u32);
492impl_vector_element_for_primitive!(u64);
493impl_vector_element_for_primitive!(usize);
494impl_vector_element_for_primitive!(i8);
495impl_vector_element_for_primitive!(i16);
496impl_vector_element_for_primitive!(i32);
497impl_vector_element_for_primitive!(i64);
498impl_vector_element_for_primitive!(isize);
499impl_vector_element_for_primitive!(f32);
500impl_vector_element_for_primitive!(f64);
David Tolnay47e239d2020-08-28 00:32:04 -0700501
David Tolnayfc26d6d2021-04-15 21:18:45 -0700502impl_vector_element!(opaque, "string", "CxxString", CxxString);