| David Tolnay | 47e239d | 2020-08-28 00:32:04 -0700 | [diff] [blame] | 1 | use crate::cxx_string::CxxString; |
| David Tolnay | 3384c14 | 2020-09-14 00:26:47 -0400 | [diff] [blame] | 2 | use core::ffi::c_void; |
| 3 | use core::fmt::{self, Display}; |
| 4 | use core::marker::PhantomData; |
| 5 | use core::mem; |
| 6 | use core::ptr; |
| David Tolnay | 93637ca | 2020-09-24 15:58:20 -0400 | [diff] [blame^] | 7 | use core::slice; |
| David Tolnay | 4f7e6fa | 2020-04-24 11:52:44 -0700 | [diff] [blame] | 8 | |
| David Tolnay | 61a9fdf | 2020-04-24 16:19:42 -0700 | [diff] [blame] | 9 | /// Binding to C++ `std::vector<T, std::allocator<T>>`. |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 10 | /// |
| 11 | /// # Invariants |
| 12 | /// |
| 13 | /// 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] | 14 | /// macro, in Rust code we can never obtain a `CxxVector` by value. Instead in |
| 15 | /// Rust code we will only ever look at a vector behind a reference or smart |
| 16 | /// pointer, as in `&CxxVector<T>` or `UniquePtr<CxxVector<T>>`. |
| David Tolnay | 4f7e6fa | 2020-04-24 11:52:44 -0700 | [diff] [blame] | 17 | #[repr(C, packed)] |
| David Tolnay | e90be1d | 2020-04-24 11:45:57 -0700 | [diff] [blame] | 18 | pub struct CxxVector<T> { |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 19 | _private: [T; 0], |
| 20 | } |
| 21 | |
| David Tolnay | 4074ad2 | 2020-04-24 18:20:11 -0700 | [diff] [blame] | 22 | impl<T> CxxVector<T> |
| 23 | where |
| 24 | T: VectorElement, |
| 25 | { |
| David Tolnay | cdc8796 | 2020-04-24 13:45:59 -0700 | [diff] [blame] | 26 | /// Returns the number of elements in the vector. |
| David Tolnay | dd83919 | 2020-04-24 16:41:29 -0700 | [diff] [blame] | 27 | /// |
| 28 | /// Matches the behavior of C++ [std::vector\<T\>::size][size]. |
| 29 | /// |
| 30 | /// [size]: https://en.cppreference.com/w/cpp/container/vector/size |
| David Tolnay | c01d0a0 | 2020-04-24 13:30:44 -0700 | [diff] [blame] | 31 | pub fn len(&self) -> usize { |
| David Tolnay | 0e08466 | 2020-04-24 14:02:51 -0700 | [diff] [blame] | 32 | T::__vector_size(self) |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 33 | } |
| 34 | |
| David Tolnay | cdc8796 | 2020-04-24 13:45:59 -0700 | [diff] [blame] | 35 | /// Returns true if the vector contains no elements. |
| David Tolnay | dd83919 | 2020-04-24 16:41:29 -0700 | [diff] [blame] | 36 | /// |
| 37 | /// Matches the behavior of C++ [std::vector\<T\>::empty][empty]. |
| 38 | /// |
| 39 | /// [empty]: https://en.cppreference.com/w/cpp/container/vector/empty |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 40 | pub fn is_empty(&self) -> bool { |
| David Tolnay | c01d0a0 | 2020-04-24 13:30:44 -0700 | [diff] [blame] | 41 | self.len() == 0 |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 42 | } |
| 43 | |
| David Tolnay | cdc8796 | 2020-04-24 13:45:59 -0700 | [diff] [blame] | 44 | /// Returns a reference to an element at the given position, or `None` if |
| 45 | /// out of bounds. |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 46 | pub fn get(&self, pos: usize) -> Option<&T> { |
| David Tolnay | c01d0a0 | 2020-04-24 13:30:44 -0700 | [diff] [blame] | 47 | if pos < self.len() { |
| David Tolnay | 93637ca | 2020-09-24 15:58:20 -0400 | [diff] [blame^] | 48 | Some(unsafe { self.get_unchecked(pos) }) |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 49 | } else { |
| 50 | None |
| 51 | } |
| 52 | } |
| 53 | |
| David Tolnay | 4944f2f | 2020-04-24 13:46:12 -0700 | [diff] [blame] | 54 | /// Returns a reference to an element without doing bounds checking. |
| 55 | /// |
| 56 | /// This is generally not recommended, use with caution! Calling this method |
| 57 | /// with an out-of-bounds index is undefined behavior even if the resulting |
| 58 | /// reference is not used. |
| David Tolnay | dd83919 | 2020-04-24 16:41:29 -0700 | [diff] [blame] | 59 | /// |
| 60 | /// Matches the behavior of C++ |
| 61 | /// [std::vector\<T\>::operator\[\]][operator_at]. |
| 62 | /// |
| 63 | /// [operator_at]: https://en.cppreference.com/w/cpp/container/vector/operator_at |
| David Tolnay | 4944f2f | 2020-04-24 13:46:12 -0700 | [diff] [blame] | 64 | pub unsafe fn get_unchecked(&self, pos: usize) -> &T { |
| David Tolnay | 93637ca | 2020-09-24 15:58:20 -0400 | [diff] [blame^] | 65 | &*T::__get_unchecked(self, pos) |
| 66 | } |
| 67 | |
| 68 | /// Returns a slice to the underlying contiguous array of elements. |
| 69 | pub fn as_slice(&self) -> &[T] { |
| 70 | let len = self.len(); |
| 71 | if len == 0 { |
| 72 | <&[T]>::default() |
| 73 | } else { |
| 74 | let ptr = unsafe { T::__get_unchecked(self, 0) }; |
| 75 | unsafe { slice::from_raw_parts(ptr, len) } |
| 76 | } |
| David Tolnay | 4944f2f | 2020-04-24 13:46:12 -0700 | [diff] [blame] | 77 | } |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 78 | } |
| 79 | |
| David Tolnay | 3d88bdc | 2020-04-24 13:48:18 -0700 | [diff] [blame] | 80 | pub struct Iter<'a, T> { |
| David Tolnay | e90be1d | 2020-04-24 11:45:57 -0700 | [diff] [blame] | 81 | v: &'a CxxVector<T>, |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 82 | index: usize, |
| 83 | } |
| 84 | |
| David Tolnay | 4074ad2 | 2020-04-24 18:20:11 -0700 | [diff] [blame] | 85 | impl<'a, T> IntoIterator for &'a CxxVector<T> |
| 86 | where |
| 87 | T: VectorElement, |
| 88 | { |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 89 | type Item = &'a T; |
| David Tolnay | 3d88bdc | 2020-04-24 13:48:18 -0700 | [diff] [blame] | 90 | type IntoIter = Iter<'a, T>; |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 91 | |
| 92 | fn into_iter(self) -> Self::IntoIter { |
| David Tolnay | 3d88bdc | 2020-04-24 13:48:18 -0700 | [diff] [blame] | 93 | Iter { v: self, index: 0 } |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 94 | } |
| 95 | } |
| 96 | |
| David Tolnay | 4074ad2 | 2020-04-24 18:20:11 -0700 | [diff] [blame] | 97 | impl<'a, T> Iterator for Iter<'a, T> |
| 98 | where |
| 99 | T: VectorElement, |
| 100 | { |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 101 | type Item = &'a T; |
| David Tolnay | 85db5a0 | 2020-04-25 13:17:27 -0700 | [diff] [blame] | 102 | |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 103 | fn next(&mut self) -> Option<Self::Item> { |
| David Tolnay | 39ee0ed | 2020-05-05 10:12:29 -0700 | [diff] [blame] | 104 | let next = self.v.get(self.index); |
| 105 | self.index += 1; |
| 106 | next |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 107 | } |
| 108 | } |
| 109 | |
| David Tolnay | 3b40b6f | 2020-04-24 17:58:24 -0700 | [diff] [blame] | 110 | pub struct TypeName<T> { |
| 111 | element: PhantomData<T>, |
| 112 | } |
| 113 | |
| 114 | impl<T> TypeName<T> { |
| 115 | pub const fn new() -> Self { |
| 116 | TypeName { |
| 117 | element: PhantomData, |
| 118 | } |
| 119 | } |
| 120 | } |
| 121 | |
| 122 | impl<T> Display for TypeName<T> |
| 123 | where |
| 124 | T: VectorElement, |
| 125 | { |
| 126 | fn fmt(&self, formatter: &mut fmt::Formatter) -> fmt::Result { |
| 127 | write!(formatter, "CxxVector<{}>", T::__NAME) |
| 128 | } |
| 129 | } |
| 130 | |
| David Tolnay | 5104c86 | 2020-04-24 13:26:01 -0700 | [diff] [blame] | 131 | // Methods are private; not intended to be implemented outside of cxxbridge |
| 132 | // codebase. |
| David Tolnay | 1b34119 | 2020-04-24 13:04:04 -0700 | [diff] [blame] | 133 | #[doc(hidden)] |
| David Tolnay | c3ed3a6 | 2020-04-24 13:34:50 -0700 | [diff] [blame] | 134 | pub unsafe trait VectorElement: Sized { |
| David Tolnay | 3b40b6f | 2020-04-24 17:58:24 -0700 | [diff] [blame] | 135 | const __NAME: &'static dyn Display; |
| David Tolnay | 0e08466 | 2020-04-24 14:02:51 -0700 | [diff] [blame] | 136 | fn __vector_size(v: &CxxVector<Self>) -> usize; |
| David Tolnay | 93637ca | 2020-09-24 15:58:20 -0400 | [diff] [blame^] | 137 | unsafe fn __get_unchecked(v: &CxxVector<Self>, pos: usize) -> *const Self; |
| David Tolnay | 3b40b6f | 2020-04-24 17:58:24 -0700 | [diff] [blame] | 138 | fn __unique_ptr_null() -> *mut c_void; |
| 139 | unsafe fn __unique_ptr_raw(raw: *mut CxxVector<Self>) -> *mut c_void; |
| 140 | unsafe fn __unique_ptr_get(repr: *mut c_void) -> *const CxxVector<Self>; |
| 141 | unsafe fn __unique_ptr_release(repr: *mut c_void) -> *mut CxxVector<Self>; |
| 142 | unsafe fn __unique_ptr_drop(repr: *mut c_void); |
| David Tolnay | 1b34119 | 2020-04-24 13:04:04 -0700 | [diff] [blame] | 143 | } |
| 144 | |
| David Tolnay | 47e239d | 2020-08-28 00:32:04 -0700 | [diff] [blame] | 145 | macro_rules! impl_vector_element { |
| 146 | ($segment:expr, $name:expr, $ty:ty) => { |
| David Tolnay | f044663 | 2020-04-25 11:29:26 -0700 | [diff] [blame] | 147 | const_assert_eq!(1, mem::align_of::<CxxVector<$ty>>()); |
| 148 | |
| David Tolnay | e4b6a62 | 2020-04-24 14:55:42 -0700 | [diff] [blame] | 149 | unsafe impl VectorElement for $ty { |
| David Tolnay | 47e239d | 2020-08-28 00:32:04 -0700 | [diff] [blame] | 150 | const __NAME: &'static dyn Display = &$name; |
| David Tolnay | e4b6a62 | 2020-04-24 14:55:42 -0700 | [diff] [blame] | 151 | fn __vector_size(v: &CxxVector<$ty>) -> usize { |
| 152 | extern "C" { |
| 153 | attr! { |
| David Tolnay | 591dcb6 | 2020-09-01 23:00:38 -0700 | [diff] [blame] | 154 | #[link_name = concat!("cxxbridge04$std$vector$", $segment, "$size")] |
| David Tolnay | e4b6a62 | 2020-04-24 14:55:42 -0700 | [diff] [blame] | 155 | fn __vector_size(_: &CxxVector<$ty>) -> usize; |
| 156 | } |
| 157 | } |
| 158 | unsafe { __vector_size(v) } |
| 159 | } |
| David Tolnay | 93637ca | 2020-09-24 15:58:20 -0400 | [diff] [blame^] | 160 | unsafe fn __get_unchecked(v: &CxxVector<$ty>, pos: usize) -> *const $ty { |
| David Tolnay | e4b6a62 | 2020-04-24 14:55:42 -0700 | [diff] [blame] | 161 | extern "C" { |
| 162 | attr! { |
| David Tolnay | 591dcb6 | 2020-09-01 23:00:38 -0700 | [diff] [blame] | 163 | #[link_name = concat!("cxxbridge04$std$vector$", $segment, "$get_unchecked")] |
| David Tolnay | e4b6a62 | 2020-04-24 14:55:42 -0700 | [diff] [blame] | 164 | fn __get_unchecked(_: &CxxVector<$ty>, _: usize) -> *const $ty; |
| 165 | } |
| 166 | } |
| David Tolnay | 93637ca | 2020-09-24 15:58:20 -0400 | [diff] [blame^] | 167 | __get_unchecked(v, pos) |
| David Tolnay | e4b6a62 | 2020-04-24 14:55:42 -0700 | [diff] [blame] | 168 | } |
| David Tolnay | 3b40b6f | 2020-04-24 17:58:24 -0700 | [diff] [blame] | 169 | fn __unique_ptr_null() -> *mut c_void { |
| 170 | extern "C" { |
| 171 | attr! { |
| David Tolnay | 591dcb6 | 2020-09-01 23:00:38 -0700 | [diff] [blame] | 172 | #[link_name = concat!("cxxbridge04$unique_ptr$std$vector$", $segment, "$null")] |
| David Tolnay | 3b40b6f | 2020-04-24 17:58:24 -0700 | [diff] [blame] | 173 | fn __unique_ptr_null(this: *mut *mut c_void); |
| 174 | } |
| 175 | } |
| 176 | let mut repr = ptr::null_mut::<c_void>(); |
| 177 | unsafe { __unique_ptr_null(&mut repr) } |
| 178 | repr |
| 179 | } |
| 180 | unsafe fn __unique_ptr_raw(raw: *mut CxxVector<Self>) -> *mut c_void { |
| 181 | extern "C" { |
| 182 | attr! { |
| David Tolnay | 591dcb6 | 2020-09-01 23:00:38 -0700 | [diff] [blame] | 183 | #[link_name = concat!("cxxbridge04$unique_ptr$std$vector$", $segment, "$raw")] |
| David Tolnay | 3b40b6f | 2020-04-24 17:58:24 -0700 | [diff] [blame] | 184 | fn __unique_ptr_raw(this: *mut *mut c_void, raw: *mut CxxVector<$ty>); |
| 185 | } |
| 186 | } |
| 187 | let mut repr = ptr::null_mut::<c_void>(); |
| 188 | __unique_ptr_raw(&mut repr, raw); |
| 189 | repr |
| 190 | } |
| 191 | unsafe fn __unique_ptr_get(repr: *mut c_void) -> *const CxxVector<Self> { |
| 192 | extern "C" { |
| 193 | attr! { |
| David Tolnay | 591dcb6 | 2020-09-01 23:00:38 -0700 | [diff] [blame] | 194 | #[link_name = concat!("cxxbridge04$unique_ptr$std$vector$", $segment, "$get")] |
| David Tolnay | 3b40b6f | 2020-04-24 17:58:24 -0700 | [diff] [blame] | 195 | fn __unique_ptr_get(this: *const *mut c_void) -> *const CxxVector<$ty>; |
| 196 | } |
| 197 | } |
| 198 | __unique_ptr_get(&repr) |
| 199 | } |
| 200 | unsafe fn __unique_ptr_release(mut repr: *mut c_void) -> *mut CxxVector<Self> { |
| 201 | extern "C" { |
| 202 | attr! { |
| David Tolnay | 591dcb6 | 2020-09-01 23:00:38 -0700 | [diff] [blame] | 203 | #[link_name = concat!("cxxbridge04$unique_ptr$std$vector$", $segment, "$release")] |
| David Tolnay | 3b40b6f | 2020-04-24 17:58:24 -0700 | [diff] [blame] | 204 | fn __unique_ptr_release(this: *mut *mut c_void) -> *mut CxxVector<$ty>; |
| 205 | } |
| 206 | } |
| 207 | __unique_ptr_release(&mut repr) |
| 208 | } |
| 209 | unsafe fn __unique_ptr_drop(mut repr: *mut c_void) { |
| 210 | extern "C" { |
| 211 | attr! { |
| David Tolnay | 591dcb6 | 2020-09-01 23:00:38 -0700 | [diff] [blame] | 212 | #[link_name = concat!("cxxbridge04$unique_ptr$std$vector$", $segment, "$drop")] |
| David Tolnay | 3b40b6f | 2020-04-24 17:58:24 -0700 | [diff] [blame] | 213 | fn __unique_ptr_drop(this: *mut *mut c_void); |
| 214 | } |
| 215 | } |
| 216 | __unique_ptr_drop(&mut repr); |
| 217 | } |
| David Tolnay | e4b6a62 | 2020-04-24 14:55:42 -0700 | [diff] [blame] | 218 | } |
| 219 | }; |
| 220 | } |
| 221 | |
| David Tolnay | 47e239d | 2020-08-28 00:32:04 -0700 | [diff] [blame] | 222 | macro_rules! impl_vector_element_for_primitive { |
| 223 | ($ty:ident) => { |
| 224 | impl_vector_element!(stringify!($ty), stringify!($ty), $ty); |
| 225 | }; |
| 226 | } |
| 227 | |
| David Tolnay | 4b91eaa | 2020-04-24 14:19:22 -0700 | [diff] [blame] | 228 | impl_vector_element_for_primitive!(u8); |
| 229 | impl_vector_element_for_primitive!(u16); |
| 230 | impl_vector_element_for_primitive!(u32); |
| 231 | impl_vector_element_for_primitive!(u64); |
| 232 | impl_vector_element_for_primitive!(usize); |
| 233 | impl_vector_element_for_primitive!(i8); |
| 234 | impl_vector_element_for_primitive!(i16); |
| 235 | impl_vector_element_for_primitive!(i32); |
| 236 | impl_vector_element_for_primitive!(i64); |
| 237 | impl_vector_element_for_primitive!(isize); |
| 238 | impl_vector_element_for_primitive!(f32); |
| 239 | impl_vector_element_for_primitive!(f64); |
| David Tolnay | 47e239d | 2020-08-28 00:32:04 -0700 | [diff] [blame] | 240 | |
| 241 | impl_vector_element!("string", "CxxString", CxxString); |