| David Tolnay | b5d039c | 2020-12-12 23:21:17 -0800 | [diff] [blame] | 1 | //! Less used details of `CxxVector` are exposed in this module. `CxxVector` |
| 2 | //! itself is exposed at the crate root. |
| 3 | |
| David Tolnay | 181ee91 | 2020-12-04 12:15:10 -0800 | [diff] [blame] | 4 | use crate::extern_type::ExternType; |
| 5 | use crate::kind::Trivial; |
| David Tolnay | bac2582 | 2020-12-12 23:13:51 -0800 | [diff] [blame] | 6 | use crate::string::CxxString; |
| David Tolnay | 3384c14 | 2020-09-14 00:26:47 -0400 | [diff] [blame] | 7 | use core::ffi::c_void; |
| David Tolnay | ac5af50 | 2021-03-25 00:29:06 -0400 | [diff] [blame] | 8 | use core::fmt::{self, Debug}; |
| David Tolnay | 526faa2 | 2020-12-13 16:10:47 -0800 | [diff] [blame] | 9 | use core::iter::FusedIterator; |
| David Tolnay | 95dab1d | 2020-11-15 14:32:37 -0800 | [diff] [blame] | 10 | use core::marker::{PhantomData, PhantomPinned}; |
| David Tolnay | 9521519 | 2021-04-16 15:40:12 -0700 | [diff] [blame] | 11 | use core::mem::{self, ManuallyDrop, MaybeUninit}; |
| David Tolnay | 767e00d | 2020-12-21 17:12:27 -0800 | [diff] [blame] | 12 | use core::pin::Pin; |
| David Tolnay | 93637ca | 2020-09-24 15:58:20 -0400 | [diff] [blame] | 13 | use core::slice; |
| David Tolnay | 4f7e6fa | 2020-04-24 11:52:44 -0700 | [diff] [blame] | 14 | |
| David Tolnay | 61a9fdf | 2020-04-24 16:19:42 -0700 | [diff] [blame] | 15 | /// Binding to C++ `std::vector<T, std::allocator<T>>`. |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 16 | /// |
| 17 | /// # Invariants |
| 18 | /// |
| 19 | /// As an invariant of this API and the static analysis of the cxx::bridge |
| David Tolnay | 5fe9363 | 2020-04-24 12:31:00 -0700 | [diff] [blame] | 20 | /// 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 Tolnay | 4f7e6fa | 2020-04-24 11:52:44 -0700 | [diff] [blame] | 23 | #[repr(C, packed)] |
| David Tolnay | e90be1d | 2020-04-24 11:45:57 -0700 | [diff] [blame] | 24 | pub struct CxxVector<T> { |
| David Tolnay | 11eed38 | 2021-05-01 14:22:58 -0700 | [diff] [blame] | 25 | // 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 Tolnay | 95dab1d | 2020-11-15 14:32:37 -0800 | [diff] [blame] | 32 | _pinned: PhantomData<PhantomPinned>, |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 33 | } |
| 34 | |
| David Tolnay | 4074ad2 | 2020-04-24 18:20:11 -0700 | [diff] [blame] | 35 | impl<T> CxxVector<T> |
| 36 | where |
| 37 | T: VectorElement, |
| 38 | { |
| David Tolnay | cdc8796 | 2020-04-24 13:45:59 -0700 | [diff] [blame] | 39 | /// Returns the number of elements in the vector. |
| David Tolnay | dd83919 | 2020-04-24 16:41:29 -0700 | [diff] [blame] | 40 | /// |
| 41 | /// Matches the behavior of C++ [std::vector\<T\>::size][size]. |
| 42 | /// |
| 43 | /// [size]: https://en.cppreference.com/w/cpp/container/vector/size |
| David Tolnay | c01d0a0 | 2020-04-24 13:30:44 -0700 | [diff] [blame] | 44 | pub fn len(&self) -> usize { |
| David Tolnay | 0e08466 | 2020-04-24 14:02:51 -0700 | [diff] [blame] | 45 | T::__vector_size(self) |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 46 | } |
| 47 | |
| David Tolnay | cdc8796 | 2020-04-24 13:45:59 -0700 | [diff] [blame] | 48 | /// Returns true if the vector contains no elements. |
| David Tolnay | dd83919 | 2020-04-24 16:41:29 -0700 | [diff] [blame] | 49 | /// |
| 50 | /// Matches the behavior of C++ [std::vector\<T\>::empty][empty]. |
| 51 | /// |
| 52 | /// [empty]: https://en.cppreference.com/w/cpp/container/vector/empty |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 53 | pub fn is_empty(&self) -> bool { |
| David Tolnay | c01d0a0 | 2020-04-24 13:30:44 -0700 | [diff] [blame] | 54 | self.len() == 0 |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 55 | } |
| 56 | |
| David Tolnay | cdc8796 | 2020-04-24 13:45:59 -0700 | [diff] [blame] | 57 | /// Returns a reference to an element at the given position, or `None` if |
| 58 | /// out of bounds. |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 59 | pub fn get(&self, pos: usize) -> Option<&T> { |
| David Tolnay | c01d0a0 | 2020-04-24 13:30:44 -0700 | [diff] [blame] | 60 | if pos < self.len() { |
| David Tolnay | 93637ca | 2020-09-24 15:58:20 -0400 | [diff] [blame] | 61 | Some(unsafe { self.get_unchecked(pos) }) |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 62 | } else { |
| 63 | None |
| 64 | } |
| 65 | } |
| 66 | |
| David Tolnay | 767e00d | 2020-12-21 17:12:27 -0800 | [diff] [blame] | 67 | /// Returns a pinned mutable reference to an element at the given position, |
| 68 | /// or `None` if out of bounds. |
| David Tolnay | 5b395b3 | 2020-12-31 10:44:26 -0800 | [diff] [blame] | 69 | pub fn index_mut(self: Pin<&mut Self>, pos: usize) -> Option<Pin<&mut T>> { |
| David Tolnay | 767e00d | 2020-12-21 17:12:27 -0800 | [diff] [blame] | 70 | if pos < self.len() { |
| David Tolnay | 5b395b3 | 2020-12-31 10:44:26 -0800 | [diff] [blame] | 71 | Some(unsafe { self.index_unchecked_mut(pos) }) |
| David Tolnay | 767e00d | 2020-12-21 17:12:27 -0800 | [diff] [blame] | 72 | } else { |
| 73 | None |
| 74 | } |
| 75 | } |
| 76 | |
| David Tolnay | 4944f2f | 2020-04-24 13:46:12 -0700 | [diff] [blame] | 77 | /// 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 Tolnay | dd83919 | 2020-04-24 16:41:29 -0700 | [diff] [blame] | 82 | /// |
| 83 | /// Matches the behavior of C++ |
| David Tolnay | 767e00d | 2020-12-21 17:12:27 -0800 | [diff] [blame] | 84 | /// [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 Tolnay | 0b4b73f | 2021-08-27 12:12:53 -0700 | [diff] [blame^] | 89 | unsafe { |
| 90 | let ptr = T::__get_unchecked(this, pos) as *const T; |
| 91 | &*ptr |
| 92 | } |
| David Tolnay | 767e00d | 2020-12-21 17:12:27 -0800 | [diff] [blame] | 93 | } |
| 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 Tolnay | dd83919 | 2020-04-24 16:41:29 -0700 | [diff] [blame] | 103 | /// [std::vector\<T\>::operator\[\]][operator_at]. |
| 104 | /// |
| 105 | /// [operator_at]: https://en.cppreference.com/w/cpp/container/vector/operator_at |
| David Tolnay | 5b395b3 | 2020-12-31 10:44:26 -0800 | [diff] [blame] | 106 | pub unsafe fn index_unchecked_mut(self: Pin<&mut Self>, pos: usize) -> Pin<&mut T> { |
| David Tolnay | 0b4b73f | 2021-08-27 12:12:53 -0700 | [diff] [blame^] | 107 | unsafe { |
| 108 | let ptr = T::__get_unchecked(self.get_unchecked_mut(), pos); |
| 109 | Pin::new_unchecked(&mut *ptr) |
| 110 | } |
| David Tolnay | 93637ca | 2020-09-24 15:58:20 -0400 | [diff] [blame] | 111 | } |
| 112 | |
| 113 | /// Returns a slice to the underlying contiguous array of elements. |
| David Tolnay | 181ee91 | 2020-12-04 12:15:10 -0800 | [diff] [blame] | 114 | pub fn as_slice(&self) -> &[T] |
| 115 | where |
| 116 | T: ExternType<Kind = Trivial>, |
| 117 | { |
| David Tolnay | 93637ca | 2020-09-24 15:58:20 -0400 | [diff] [blame] | 118 | let len = self.len(); |
| 119 | if len == 0 { |
| David Tolnay | a5a14ce | 2020-09-24 16:02:40 -0400 | [diff] [blame] | 120 | // 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 Tolnay | acc7fb0 | 2020-09-24 18:10:09 -0400 | [diff] [blame] | 126 | &[] |
| David Tolnay | 93637ca | 2020-09-24 15:58:20 -0400 | [diff] [blame] | 127 | } else { |
| David Tolnay | 767e00d | 2020-12-21 17:12:27 -0800 | [diff] [blame] | 128 | let this = self as *const CxxVector<T> as *mut CxxVector<T>; |
| 129 | let ptr = unsafe { T::__get_unchecked(this, 0) }; |
| David Tolnay | 93637ca | 2020-09-24 15:58:20 -0400 | [diff] [blame] | 130 | unsafe { slice::from_raw_parts(ptr, len) } |
| 131 | } |
| David Tolnay | 4944f2f | 2020-04-24 13:46:12 -0700 | [diff] [blame] | 132 | } |
| David Tolnay | 4f71cc5 | 2020-11-15 23:55:27 -0800 | [diff] [blame] | 133 | |
| David Tolnay | ab1ac88 | 2020-12-31 11:54:37 -0800 | [diff] [blame] | 134 | /// 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 Tolnay | 4f71cc5 | 2020-11-15 23:55:27 -0800 | [diff] [blame] | 149 | /// Returns an iterator over elements of type `&T`. |
| 150 | pub fn iter(&self) -> Iter<T> { |
| 151 | Iter { v: self, index: 0 } |
| 152 | } |
| David Tolnay | 26a5292 | 2020-12-21 17:29:04 -0800 | [diff] [blame] | 153 | |
| 154 | /// Returns an iterator over elements of type `Pin<&mut T>`. |
| David Tolnay | 30bea1c | 2020-12-31 10:41:42 -0800 | [diff] [blame] | 155 | pub fn iter_mut(self: Pin<&mut Self>) -> IterMut<T> { |
| David Tolnay | 26a5292 | 2020-12-21 17:29:04 -0800 | [diff] [blame] | 156 | IterMut { v: self, index: 0 } |
| 157 | } |
| David Tolnay | fc26d6d | 2021-04-15 21:18:45 -0700 | [diff] [blame] | 158 | |
| 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 Tolnay | 9521519 | 2021-04-16 15:40:12 -0700 | [diff] [blame] | 174 | |
| David Tolnay | 9b54630 | 2021-04-16 16:05:05 -0700 | [diff] [blame] | 175 | /// Removes the last element from a vector and returns it, or `None` if the |
| 176 | /// vector is empty. |
| David Tolnay | 9521519 | 2021-04-16 15:40:12 -0700 | [diff] [blame] | 177 | 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 Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 191 | } |
| 192 | |
| David Tolnay | b5d039c | 2020-12-12 23:21:17 -0800 | [diff] [blame] | 193 | /// Iterator over elements of a `CxxVector` by shared reference. |
| 194 | /// |
| 195 | /// The iterator element type is `&'a T`. |
| David Tolnay | 3d88bdc | 2020-04-24 13:48:18 -0700 | [diff] [blame] | 196 | pub struct Iter<'a, T> { |
| David Tolnay | e90be1d | 2020-04-24 11:45:57 -0700 | [diff] [blame] | 197 | v: &'a CxxVector<T>, |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 198 | index: usize, |
| 199 | } |
| 200 | |
| David Tolnay | 4074ad2 | 2020-04-24 18:20:11 -0700 | [diff] [blame] | 201 | impl<'a, T> IntoIterator for &'a CxxVector<T> |
| 202 | where |
| 203 | T: VectorElement, |
| 204 | { |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 205 | type Item = &'a T; |
| David Tolnay | 3d88bdc | 2020-04-24 13:48:18 -0700 | [diff] [blame] | 206 | type IntoIter = Iter<'a, T>; |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 207 | |
| 208 | fn into_iter(self) -> Self::IntoIter { |
| David Tolnay | 4f71cc5 | 2020-11-15 23:55:27 -0800 | [diff] [blame] | 209 | self.iter() |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 210 | } |
| 211 | } |
| 212 | |
| David Tolnay | 4074ad2 | 2020-04-24 18:20:11 -0700 | [diff] [blame] | 213 | impl<'a, T> Iterator for Iter<'a, T> |
| 214 | where |
| 215 | T: VectorElement, |
| 216 | { |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 217 | type Item = &'a T; |
| David Tolnay | 85db5a0 | 2020-04-25 13:17:27 -0700 | [diff] [blame] | 218 | |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 219 | fn next(&mut self) -> Option<Self::Item> { |
| David Tolnay | 0d52717 | 2020-12-21 17:35:24 -0800 | [diff] [blame] | 220 | let next = self.v.get(self.index)?; |
| 221 | self.index += 1; |
| 222 | Some(next) |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 223 | } |
| David Tolnay | 724ac75 | 2020-12-13 16:00:48 -0800 | [diff] [blame] | 224 | |
| 225 | fn size_hint(&self) -> (usize, Option<usize>) { |
| 226 | let len = self.len(); |
| 227 | (len, Some(len)) |
| 228 | } |
| 229 | } |
| 230 | |
| 231 | impl<'a, T> ExactSizeIterator for Iter<'a, T> |
| 232 | where |
| 233 | T: VectorElement, |
| 234 | { |
| 235 | fn len(&self) -> usize { |
| 236 | self.v.len() - self.index |
| 237 | } |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 238 | } |
| 239 | |
| David Tolnay | 526faa2 | 2020-12-13 16:10:47 -0800 | [diff] [blame] | 240 | impl<'a, T> FusedIterator for Iter<'a, T> where T: VectorElement {} |
| 241 | |
| David Tolnay | 26a5292 | 2020-12-21 17:29:04 -0800 | [diff] [blame] | 242 | /// Iterator over elements of a `CxxVector` by pinned mutable reference. |
| 243 | /// |
| 244 | /// The iterator element type is `Pin<&'a mut T>`. |
| 245 | pub struct IterMut<'a, T> { |
| David Tolnay | 30bea1c | 2020-12-31 10:41:42 -0800 | [diff] [blame] | 246 | v: Pin<&'a mut CxxVector<T>>, |
| David Tolnay | 26a5292 | 2020-12-21 17:29:04 -0800 | [diff] [blame] | 247 | index: usize, |
| 248 | } |
| 249 | |
| David Tolnay | 30bea1c | 2020-12-31 10:41:42 -0800 | [diff] [blame] | 250 | impl<'a, T> IntoIterator for Pin<&'a mut CxxVector<T>> |
| David Tolnay | 26a5292 | 2020-12-21 17:29:04 -0800 | [diff] [blame] | 251 | where |
| 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 | |
| 262 | impl<'a, T> Iterator for IterMut<'a, T> |
| 263 | where |
| 264 | T: VectorElement, |
| 265 | { |
| 266 | type Item = Pin<&'a mut T>; |
| 267 | |
| 268 | fn next(&mut self) -> Option<Self::Item> { |
| David Tolnay | 5b395b3 | 2020-12-31 10:44:26 -0800 | [diff] [blame] | 269 | let next = self.v.as_mut().index_mut(self.index)?; |
| David Tolnay | 26a5292 | 2020-12-21 17:29:04 -0800 | [diff] [blame] | 270 | 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 | |
| 285 | impl<'a, T> ExactSizeIterator for IterMut<'a, T> |
| 286 | where |
| 287 | T: VectorElement, |
| 288 | { |
| 289 | fn len(&self) -> usize { |
| 290 | self.v.len() - self.index |
| 291 | } |
| 292 | } |
| 293 | |
| 294 | impl<'a, T> FusedIterator for IterMut<'a, T> where T: VectorElement {} |
| 295 | |
| David Tolnay | a8100ed | 2020-12-04 12:41:24 -0800 | [diff] [blame] | 296 | impl<T> Debug for CxxVector<T> |
| 297 | where |
| 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 Tolnay | 71b8d38 | 2021-03-25 02:03:14 -0400 | [diff] [blame] | 305 | /// 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 Tolnay | c3ed3a6 | 2020-04-24 13:34:50 -0700 | [diff] [blame] | 333 | pub unsafe trait VectorElement: Sized { |
| David Tolnay | b99359b | 2021-03-25 02:05:20 -0400 | [diff] [blame] | 334 | #[doc(hidden)] |
| David Tolnay | ac5af50 | 2021-03-25 00:29:06 -0400 | [diff] [blame] | 335 | fn __typename(f: &mut fmt::Formatter) -> fmt::Result; |
| David Tolnay | b99359b | 2021-03-25 02:05:20 -0400 | [diff] [blame] | 336 | #[doc(hidden)] |
| David Tolnay | 0e08466 | 2020-04-24 14:02:51 -0700 | [diff] [blame] | 337 | fn __vector_size(v: &CxxVector<Self>) -> usize; |
| David Tolnay | b99359b | 2021-03-25 02:05:20 -0400 | [diff] [blame] | 338 | #[doc(hidden)] |
| David Tolnay | 767e00d | 2020-12-21 17:12:27 -0800 | [diff] [blame] | 339 | unsafe fn __get_unchecked(v: *mut CxxVector<Self>, pos: usize) -> *mut Self; |
| David Tolnay | b99359b | 2021-03-25 02:05:20 -0400 | [diff] [blame] | 340 | #[doc(hidden)] |
| David Tolnay | fc26d6d | 2021-04-15 21:18:45 -0700 | [diff] [blame] | 341 | 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 Tolnay | 9521519 | 2021-04-16 15:40:12 -0700 | [diff] [blame] | 349 | 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 Tolnay | 46cff54 | 2021-05-02 10:59:57 -0700 | [diff] [blame] | 357 | fn __unique_ptr_null() -> MaybeUninit<*mut c_void>; |
| David Tolnay | b99359b | 2021-03-25 02:05:20 -0400 | [diff] [blame] | 358 | #[doc(hidden)] |
| David Tolnay | 46cff54 | 2021-05-02 10:59:57 -0700 | [diff] [blame] | 359 | unsafe fn __unique_ptr_raw(raw: *mut CxxVector<Self>) -> MaybeUninit<*mut c_void>; |
| David Tolnay | b99359b | 2021-03-25 02:05:20 -0400 | [diff] [blame] | 360 | #[doc(hidden)] |
| David Tolnay | 46cff54 | 2021-05-02 10:59:57 -0700 | [diff] [blame] | 361 | unsafe fn __unique_ptr_get(repr: MaybeUninit<*mut c_void>) -> *const CxxVector<Self>; |
| David Tolnay | b99359b | 2021-03-25 02:05:20 -0400 | [diff] [blame] | 362 | #[doc(hidden)] |
| David Tolnay | 46cff54 | 2021-05-02 10:59:57 -0700 | [diff] [blame] | 363 | unsafe fn __unique_ptr_release(repr: MaybeUninit<*mut c_void>) -> *mut CxxVector<Self>; |
| David Tolnay | b99359b | 2021-03-25 02:05:20 -0400 | [diff] [blame] | 364 | #[doc(hidden)] |
| David Tolnay | 46cff54 | 2021-05-02 10:59:57 -0700 | [diff] [blame] | 365 | unsafe fn __unique_ptr_drop(repr: MaybeUninit<*mut c_void>); |
| David Tolnay | 1b34119 | 2020-04-24 13:04:04 -0700 | [diff] [blame] | 366 | } |
| 367 | |
| David Tolnay | 9521519 | 2021-04-16 15:40:12 -0700 | [diff] [blame] | 368 | macro_rules! vector_element_by_value_methods { |
| David Tolnay | fc26d6d | 2021-04-15 21:18:45 -0700 | [diff] [blame] | 369 | (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 Tolnay | 0b4b73f | 2021-08-27 12:12:53 -0700 | [diff] [blame^] | 379 | unsafe { __push_back(v, value) } |
| David Tolnay | fc26d6d | 2021-04-15 21:18:45 -0700 | [diff] [blame] | 380 | } |
| David Tolnay | 9521519 | 2021-04-16 15:40:12 -0700 | [diff] [blame] | 381 | #[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 Tolnay | 0b4b73f | 2021-08-27 12:12:53 -0700 | [diff] [blame^] | 389 | unsafe { __pop_back(v, out) } |
| David Tolnay | 9521519 | 2021-04-16 15:40:12 -0700 | [diff] [blame] | 390 | } |
| David Tolnay | fc26d6d | 2021-04-15 21:18:45 -0700 | [diff] [blame] | 391 | }; |
| 392 | } |
| 393 | |
| David Tolnay | 47e239d | 2020-08-28 00:32:04 -0700 | [diff] [blame] | 394 | macro_rules! impl_vector_element { |
| David Tolnay | fc26d6d | 2021-04-15 21:18:45 -0700 | [diff] [blame] | 395 | ($kind:ident, $segment:expr, $name:expr, $ty:ty) => { |
| David Tolnay | 9f0e67d | 2021-05-01 14:09:39 -0700 | [diff] [blame] | 396 | const_assert_eq!(0, mem::size_of::<CxxVector<$ty>>()); |
| David Tolnay | f044663 | 2020-04-25 11:29:26 -0700 | [diff] [blame] | 397 | const_assert_eq!(1, mem::align_of::<CxxVector<$ty>>()); |
| 398 | |
| David Tolnay | e4b6a62 | 2020-04-24 14:55:42 -0700 | [diff] [blame] | 399 | unsafe impl VectorElement for $ty { |
| David Tolnay | b99359b | 2021-03-25 02:05:20 -0400 | [diff] [blame] | 400 | #[doc(hidden)] |
| David Tolnay | ac5af50 | 2021-03-25 00:29:06 -0400 | [diff] [blame] | 401 | fn __typename(f: &mut fmt::Formatter) -> fmt::Result { |
| 402 | f.write_str($name) |
| 403 | } |
| David Tolnay | b99359b | 2021-03-25 02:05:20 -0400 | [diff] [blame] | 404 | #[doc(hidden)] |
| David Tolnay | e4b6a62 | 2020-04-24 14:55:42 -0700 | [diff] [blame] | 405 | fn __vector_size(v: &CxxVector<$ty>) -> usize { |
| 406 | extern "C" { |
| 407 | attr! { |
| David Tolnay | 0f0162f | 2020-11-16 23:43:37 -0800 | [diff] [blame] | 408 | #[link_name = concat!("cxxbridge1$std$vector$", $segment, "$size")] |
| David Tolnay | e4b6a62 | 2020-04-24 14:55:42 -0700 | [diff] [blame] | 409 | fn __vector_size(_: &CxxVector<$ty>) -> usize; |
| 410 | } |
| 411 | } |
| 412 | unsafe { __vector_size(v) } |
| 413 | } |
| David Tolnay | b99359b | 2021-03-25 02:05:20 -0400 | [diff] [blame] | 414 | #[doc(hidden)] |
| David Tolnay | 767e00d | 2020-12-21 17:12:27 -0800 | [diff] [blame] | 415 | unsafe fn __get_unchecked(v: *mut CxxVector<$ty>, pos: usize) -> *mut $ty { |
| David Tolnay | e4b6a62 | 2020-04-24 14:55:42 -0700 | [diff] [blame] | 416 | extern "C" { |
| 417 | attr! { |
| David Tolnay | 0f0162f | 2020-11-16 23:43:37 -0800 | [diff] [blame] | 418 | #[link_name = concat!("cxxbridge1$std$vector$", $segment, "$get_unchecked")] |
| David Tolnay | 767e00d | 2020-12-21 17:12:27 -0800 | [diff] [blame] | 419 | fn __get_unchecked(_: *mut CxxVector<$ty>, _: usize) -> *mut $ty; |
| David Tolnay | e4b6a62 | 2020-04-24 14:55:42 -0700 | [diff] [blame] | 420 | } |
| 421 | } |
| David Tolnay | 0b4b73f | 2021-08-27 12:12:53 -0700 | [diff] [blame^] | 422 | unsafe { __get_unchecked(v, pos) } |
| David Tolnay | e4b6a62 | 2020-04-24 14:55:42 -0700 | [diff] [blame] | 423 | } |
| David Tolnay | 9521519 | 2021-04-16 15:40:12 -0700 | [diff] [blame] | 424 | vector_element_by_value_methods!($kind, $segment, $ty); |
| David Tolnay | b99359b | 2021-03-25 02:05:20 -0400 | [diff] [blame] | 425 | #[doc(hidden)] |
| David Tolnay | 46cff54 | 2021-05-02 10:59:57 -0700 | [diff] [blame] | 426 | fn __unique_ptr_null() -> MaybeUninit<*mut c_void> { |
| David Tolnay | 3b40b6f | 2020-04-24 17:58:24 -0700 | [diff] [blame] | 427 | extern "C" { |
| 428 | attr! { |
| David Tolnay | 0f0162f | 2020-11-16 23:43:37 -0800 | [diff] [blame] | 429 | #[link_name = concat!("cxxbridge1$unique_ptr$std$vector$", $segment, "$null")] |
| David Tolnay | 46cff54 | 2021-05-02 10:59:57 -0700 | [diff] [blame] | 430 | fn __unique_ptr_null(this: *mut MaybeUninit<*mut c_void>); |
| David Tolnay | 3b40b6f | 2020-04-24 17:58:24 -0700 | [diff] [blame] | 431 | } |
| 432 | } |
| David Tolnay | 46cff54 | 2021-05-02 10:59:57 -0700 | [diff] [blame] | 433 | let mut repr = MaybeUninit::uninit(); |
| David Tolnay | 3b40b6f | 2020-04-24 17:58:24 -0700 | [diff] [blame] | 434 | unsafe { __unique_ptr_null(&mut repr) } |
| 435 | repr |
| 436 | } |
| David Tolnay | b99359b | 2021-03-25 02:05:20 -0400 | [diff] [blame] | 437 | #[doc(hidden)] |
| David Tolnay | 46cff54 | 2021-05-02 10:59:57 -0700 | [diff] [blame] | 438 | unsafe fn __unique_ptr_raw(raw: *mut CxxVector<Self>) -> MaybeUninit<*mut c_void> { |
| David Tolnay | 3b40b6f | 2020-04-24 17:58:24 -0700 | [diff] [blame] | 439 | extern "C" { |
| 440 | attr! { |
| David Tolnay | 0f0162f | 2020-11-16 23:43:37 -0800 | [diff] [blame] | 441 | #[link_name = concat!("cxxbridge1$unique_ptr$std$vector$", $segment, "$raw")] |
| David Tolnay | 46cff54 | 2021-05-02 10:59:57 -0700 | [diff] [blame] | 442 | fn __unique_ptr_raw(this: *mut MaybeUninit<*mut c_void>, raw: *mut CxxVector<$ty>); |
| David Tolnay | 3b40b6f | 2020-04-24 17:58:24 -0700 | [diff] [blame] | 443 | } |
| 444 | } |
| David Tolnay | 46cff54 | 2021-05-02 10:59:57 -0700 | [diff] [blame] | 445 | let mut repr = MaybeUninit::uninit(); |
| David Tolnay | 0b4b73f | 2021-08-27 12:12:53 -0700 | [diff] [blame^] | 446 | unsafe { __unique_ptr_raw(&mut repr, raw) } |
| David Tolnay | 3b40b6f | 2020-04-24 17:58:24 -0700 | [diff] [blame] | 447 | repr |
| 448 | } |
| David Tolnay | b99359b | 2021-03-25 02:05:20 -0400 | [diff] [blame] | 449 | #[doc(hidden)] |
| David Tolnay | 46cff54 | 2021-05-02 10:59:57 -0700 | [diff] [blame] | 450 | unsafe fn __unique_ptr_get(repr: MaybeUninit<*mut c_void>) -> *const CxxVector<Self> { |
| David Tolnay | 3b40b6f | 2020-04-24 17:58:24 -0700 | [diff] [blame] | 451 | extern "C" { |
| 452 | attr! { |
| David Tolnay | 0f0162f | 2020-11-16 23:43:37 -0800 | [diff] [blame] | 453 | #[link_name = concat!("cxxbridge1$unique_ptr$std$vector$", $segment, "$get")] |
| David Tolnay | 46cff54 | 2021-05-02 10:59:57 -0700 | [diff] [blame] | 454 | fn __unique_ptr_get(this: *const MaybeUninit<*mut c_void>) -> *const CxxVector<$ty>; |
| David Tolnay | 3b40b6f | 2020-04-24 17:58:24 -0700 | [diff] [blame] | 455 | } |
| 456 | } |
| David Tolnay | 0b4b73f | 2021-08-27 12:12:53 -0700 | [diff] [blame^] | 457 | unsafe { __unique_ptr_get(&repr) } |
| David Tolnay | 3b40b6f | 2020-04-24 17:58:24 -0700 | [diff] [blame] | 458 | } |
| David Tolnay | b99359b | 2021-03-25 02:05:20 -0400 | [diff] [blame] | 459 | #[doc(hidden)] |
| David Tolnay | 46cff54 | 2021-05-02 10:59:57 -0700 | [diff] [blame] | 460 | unsafe fn __unique_ptr_release(mut repr: MaybeUninit<*mut c_void>) -> *mut CxxVector<Self> { |
| David Tolnay | 3b40b6f | 2020-04-24 17:58:24 -0700 | [diff] [blame] | 461 | extern "C" { |
| 462 | attr! { |
| David Tolnay | 0f0162f | 2020-11-16 23:43:37 -0800 | [diff] [blame] | 463 | #[link_name = concat!("cxxbridge1$unique_ptr$std$vector$", $segment, "$release")] |
| David Tolnay | 46cff54 | 2021-05-02 10:59:57 -0700 | [diff] [blame] | 464 | fn __unique_ptr_release(this: *mut MaybeUninit<*mut c_void>) -> *mut CxxVector<$ty>; |
| David Tolnay | 3b40b6f | 2020-04-24 17:58:24 -0700 | [diff] [blame] | 465 | } |
| 466 | } |
| David Tolnay | 0b4b73f | 2021-08-27 12:12:53 -0700 | [diff] [blame^] | 467 | unsafe { __unique_ptr_release(&mut repr) } |
| David Tolnay | 3b40b6f | 2020-04-24 17:58:24 -0700 | [diff] [blame] | 468 | } |
| David Tolnay | b99359b | 2021-03-25 02:05:20 -0400 | [diff] [blame] | 469 | #[doc(hidden)] |
| David Tolnay | 46cff54 | 2021-05-02 10:59:57 -0700 | [diff] [blame] | 470 | unsafe fn __unique_ptr_drop(mut repr: MaybeUninit<*mut c_void>) { |
| David Tolnay | 3b40b6f | 2020-04-24 17:58:24 -0700 | [diff] [blame] | 471 | extern "C" { |
| 472 | attr! { |
| David Tolnay | 0f0162f | 2020-11-16 23:43:37 -0800 | [diff] [blame] | 473 | #[link_name = concat!("cxxbridge1$unique_ptr$std$vector$", $segment, "$drop")] |
| David Tolnay | 46cff54 | 2021-05-02 10:59:57 -0700 | [diff] [blame] | 474 | fn __unique_ptr_drop(this: *mut MaybeUninit<*mut c_void>); |
| David Tolnay | 3b40b6f | 2020-04-24 17:58:24 -0700 | [diff] [blame] | 475 | } |
| 476 | } |
| David Tolnay | 0b4b73f | 2021-08-27 12:12:53 -0700 | [diff] [blame^] | 477 | unsafe { __unique_ptr_drop(&mut repr) } |
| David Tolnay | 3b40b6f | 2020-04-24 17:58:24 -0700 | [diff] [blame] | 478 | } |
| David Tolnay | e4b6a62 | 2020-04-24 14:55:42 -0700 | [diff] [blame] | 479 | } |
| 480 | }; |
| 481 | } |
| 482 | |
| David Tolnay | 47e239d | 2020-08-28 00:32:04 -0700 | [diff] [blame] | 483 | macro_rules! impl_vector_element_for_primitive { |
| 484 | ($ty:ident) => { |
| David Tolnay | fc26d6d | 2021-04-15 21:18:45 -0700 | [diff] [blame] | 485 | impl_vector_element!(trivial, stringify!($ty), stringify!($ty), $ty); |
| David Tolnay | 47e239d | 2020-08-28 00:32:04 -0700 | [diff] [blame] | 486 | }; |
| 487 | } |
| 488 | |
| David Tolnay | 4b91eaa | 2020-04-24 14:19:22 -0700 | [diff] [blame] | 489 | impl_vector_element_for_primitive!(u8); |
| 490 | impl_vector_element_for_primitive!(u16); |
| 491 | impl_vector_element_for_primitive!(u32); |
| 492 | impl_vector_element_for_primitive!(u64); |
| 493 | impl_vector_element_for_primitive!(usize); |
| 494 | impl_vector_element_for_primitive!(i8); |
| 495 | impl_vector_element_for_primitive!(i16); |
| 496 | impl_vector_element_for_primitive!(i32); |
| 497 | impl_vector_element_for_primitive!(i64); |
| 498 | impl_vector_element_for_primitive!(isize); |
| 499 | impl_vector_element_for_primitive!(f32); |
| 500 | impl_vector_element_for_primitive!(f64); |
| David Tolnay | 47e239d | 2020-08-28 00:32:04 -0700 | [diff] [blame] | 501 | |
| David Tolnay | fc26d6d | 2021-04-15 21:18:45 -0700 | [diff] [blame] | 502 | impl_vector_element!(opaque, "string", "CxxString", CxxString); |