| David Tolnay | cb07a84 | 2021-04-16 16:08:52 -0700 | [diff] [blame] | 1 | #![allow(missing_docs)] |
| 2 | |
| David Tolnay | 33f56ad | 2020-08-27 17:06:35 -0700 | [diff] [blame] | 3 | use crate::rust_string::RustString; |
| David Tolnay | c5a52f9 | 2020-09-14 00:43:29 -0400 | [diff] [blame] | 4 | use alloc::string::String; |
| 5 | use alloc::vec::Vec; |
| David Tolnay | fdc1015 | 2021-04-10 12:30:24 -0700 | [diff] [blame] | 6 | use core::ffi::c_void; |
| 7 | use core::marker::PhantomData; |
| 8 | use core::mem::{self, ManuallyDrop, MaybeUninit}; |
| David Tolnay | e0e3935 | 2021-04-15 15:51:17 -0700 | [diff] [blame] | 9 | use core::ptr; |
| David Tolnay | 33f56ad | 2020-08-27 17:06:35 -0700 | [diff] [blame] | 10 | |
| David Tolnay | fdc1015 | 2021-04-10 12:30:24 -0700 | [diff] [blame] | 11 | // ABI compatible with C++ rust::Vec<T> (not necessarily alloc::vec::Vec<T>). |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 12 | #[repr(C)] |
| David Tolnay | 3a8ae09 | 2020-04-24 11:55:46 -0700 | [diff] [blame] | 13 | pub struct RustVec<T> { |
| David Tolnay | fdc1015 | 2021-04-10 12:30:24 -0700 | [diff] [blame] | 14 | repr: [MaybeUninit<usize>; mem::size_of::<Vec<c_void>>() / mem::size_of::<usize>()], |
| 15 | marker: PhantomData<Vec<T>>, |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 16 | } |
| 17 | |
| David Tolnay | 3a8ae09 | 2020-04-24 11:55:46 -0700 | [diff] [blame] | 18 | impl<T> RustVec<T> { |
| David Tolnay | f97c2d5 | 2020-04-25 16:37:48 -0700 | [diff] [blame] | 19 | pub fn new() -> Self { |
| David Tolnay | fdc1015 | 2021-04-10 12:30:24 -0700 | [diff] [blame] | 20 | Self::from(Vec::new()) |
| David Tolnay | f97c2d5 | 2020-04-25 16:37:48 -0700 | [diff] [blame] | 21 | } |
| 22 | |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 23 | pub fn from(v: Vec<T>) -> Self { |
| David Tolnay | fdc1015 | 2021-04-10 12:30:24 -0700 | [diff] [blame] | 24 | unsafe { mem::transmute::<Vec<T>, RustVec<T>>(v) } |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 25 | } |
| 26 | |
| 27 | pub fn from_ref(v: &Vec<T>) -> &Self { |
| David Tolnay | fac8b25 | 2020-04-24 11:37:39 -0700 | [diff] [blame] | 28 | unsafe { &*(v as *const Vec<T> as *const RustVec<T>) } |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 29 | } |
| 30 | |
| David Tolnay | f1c7f32 | 2020-08-27 00:46:01 -0700 | [diff] [blame] | 31 | pub fn from_mut(v: &mut Vec<T>) -> &mut Self { |
| 32 | unsafe { &mut *(v as *mut Vec<T> as *mut RustVec<T>) } |
| 33 | } |
| 34 | |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 35 | pub fn into_vec(self) -> Vec<T> { |
| David Tolnay | fdc1015 | 2021-04-10 12:30:24 -0700 | [diff] [blame] | 36 | unsafe { mem::transmute::<RustVec<T>, Vec<T>>(self) } |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 37 | } |
| 38 | |
| 39 | pub fn as_vec(&self) -> &Vec<T> { |
| David Tolnay | fdc1015 | 2021-04-10 12:30:24 -0700 | [diff] [blame] | 40 | unsafe { &*(self as *const RustVec<T> as *const Vec<T>) } |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 41 | } |
| 42 | |
| 43 | pub fn as_mut_vec(&mut self) -> &mut Vec<T> { |
| David Tolnay | fdc1015 | 2021-04-10 12:30:24 -0700 | [diff] [blame] | 44 | unsafe { &mut *(self as *mut RustVec<T> as *mut Vec<T>) } |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 45 | } |
| 46 | |
| 47 | pub fn len(&self) -> usize { |
| David Tolnay | fdc1015 | 2021-04-10 12:30:24 -0700 | [diff] [blame] | 48 | self.as_vec().len() |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 49 | } |
| David Tolnay | 219c079 | 2020-04-24 20:31:37 -0700 | [diff] [blame] | 50 | |
| David Tolnay | dc62d71 | 2020-12-11 13:51:53 -0800 | [diff] [blame] | 51 | pub fn capacity(&self) -> usize { |
| David Tolnay | fdc1015 | 2021-04-10 12:30:24 -0700 | [diff] [blame] | 52 | self.as_vec().capacity() |
| David Tolnay | dc62d71 | 2020-12-11 13:51:53 -0800 | [diff] [blame] | 53 | } |
| 54 | |
| David Tolnay | 219c079 | 2020-04-24 20:31:37 -0700 | [diff] [blame] | 55 | pub fn as_ptr(&self) -> *const T { |
| David Tolnay | fdc1015 | 2021-04-10 12:30:24 -0700 | [diff] [blame] | 56 | self.as_vec().as_ptr() |
| David Tolnay | 219c079 | 2020-04-24 20:31:37 -0700 | [diff] [blame] | 57 | } |
| David Tolnay | fb6b73c | 2020-11-10 14:32:16 -0800 | [diff] [blame] | 58 | |
| David Tolnay | a7bde2b | 2021-08-27 12:00:20 -0700 | [diff] [blame] | 59 | pub fn reserve_total(&mut self, new_cap: usize) { |
| David Tolnay | fdc1015 | 2021-04-10 12:30:24 -0700 | [diff] [blame] | 60 | let vec = self.as_mut_vec(); |
| David Tolnay | 0d4a136 | 2021-08-27 12:12:29 -0700 | [diff] [blame] | 61 | if new_cap > vec.capacity() { |
| 62 | let additional = new_cap - vec.len(); |
| 63 | vec.reserve(additional); |
| David Tolnay | fb6b73c | 2020-11-10 14:32:16 -0800 | [diff] [blame] | 64 | } |
| 65 | } |
| 66 | |
| 67 | pub unsafe fn set_len(&mut self, len: usize) { |
| David Tolnay | 0b4b73f | 2021-08-27 12:12:53 -0700 | [diff] [blame] | 68 | unsafe { self.as_mut_vec().set_len(len) } |
| David Tolnay | fb6b73c | 2020-11-10 14:32:16 -0800 | [diff] [blame] | 69 | } |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 70 | } |
| David Tolnay | 33f56ad | 2020-08-27 17:06:35 -0700 | [diff] [blame] | 71 | |
| 72 | impl RustVec<RustString> { |
| 73 | pub fn from_vec_string(v: Vec<String>) -> Self { |
| 74 | let mut v = ManuallyDrop::new(v); |
| 75 | let ptr = v.as_mut_ptr().cast::<RustString>(); |
| 76 | let len = v.len(); |
| 77 | let cap = v.capacity(); |
| 78 | Self::from(unsafe { Vec::from_raw_parts(ptr, len, cap) }) |
| 79 | } |
| 80 | |
| 81 | pub fn from_ref_vec_string(v: &Vec<String>) -> &Self { |
| 82 | Self::from_ref(unsafe { &*(v as *const Vec<String> as *const Vec<RustString>) }) |
| 83 | } |
| 84 | |
| 85 | pub fn from_mut_vec_string(v: &mut Vec<String>) -> &mut Self { |
| 86 | Self::from_mut(unsafe { &mut *(v as *mut Vec<String> as *mut Vec<RustString>) }) |
| 87 | } |
| 88 | |
| 89 | pub fn into_vec_string(self) -> Vec<String> { |
| David Tolnay | fdc1015 | 2021-04-10 12:30:24 -0700 | [diff] [blame] | 90 | let mut v = ManuallyDrop::new(self.into_vec()); |
| David Tolnay | 33f56ad | 2020-08-27 17:06:35 -0700 | [diff] [blame] | 91 | let ptr = v.as_mut_ptr().cast::<String>(); |
| 92 | let len = v.len(); |
| 93 | let cap = v.capacity(); |
| 94 | unsafe { Vec::from_raw_parts(ptr, len, cap) } |
| 95 | } |
| 96 | |
| 97 | pub fn as_vec_string(&self) -> &Vec<String> { |
| David Tolnay | fdc1015 | 2021-04-10 12:30:24 -0700 | [diff] [blame] | 98 | unsafe { &*(self as *const RustVec<RustString> as *const Vec<String>) } |
| David Tolnay | 33f56ad | 2020-08-27 17:06:35 -0700 | [diff] [blame] | 99 | } |
| 100 | |
| 101 | pub fn as_mut_vec_string(&mut self) -> &mut Vec<String> { |
| David Tolnay | fdc1015 | 2021-04-10 12:30:24 -0700 | [diff] [blame] | 102 | unsafe { &mut *(self as *mut RustVec<RustString> as *mut Vec<String>) } |
| David Tolnay | 33f56ad | 2020-08-27 17:06:35 -0700 | [diff] [blame] | 103 | } |
| 104 | } |
| David Tolnay | e0e3935 | 2021-04-15 15:51:17 -0700 | [diff] [blame] | 105 | |
| 106 | impl<T> Drop for RustVec<T> { |
| 107 | fn drop(&mut self) { |
| 108 | unsafe { ptr::drop_in_place(self.as_mut_vec()) } |
| 109 | } |
| 110 | } |