| David Tolnay | 7fdd4a8 | 2021-04-10 11:53:04 -0700 | [diff] [blame^] | 1 | use core::mem::{self, MaybeUninit}; |
| David Tolnay | 9bffb93 | 2021-01-02 02:15:21 -0800 | [diff] [blame] | 2 | use core::ptr::{self, NonNull}; |
| David Tolnay | 5515a9e | 2020-11-25 19:07:54 -0800 | [diff] [blame] | 3 | use core::slice; |
| 4 | |
| David Tolnay | 7fdd4a8 | 2021-04-10 11:53:04 -0700 | [diff] [blame^] | 5 | // ABI compatible with C++ rust::Slice<T> (not necessarily &[T]). |
| David Tolnay | 5515a9e | 2020-11-25 19:07:54 -0800 | [diff] [blame] | 6 | #[repr(C)] |
| David Tolnay | 5515a9e | 2020-11-25 19:07:54 -0800 | [diff] [blame] | 7 | pub struct RustSlice { |
| David Tolnay | 7fdd4a8 | 2021-04-10 11:53:04 -0700 | [diff] [blame^] | 8 | repr: [MaybeUninit<usize>; mem::size_of::<NonNull<[()]>>() / mem::size_of::<usize>()], |
| David Tolnay | 5515a9e | 2020-11-25 19:07:54 -0800 | [diff] [blame] | 9 | } |
| 10 | |
| 11 | impl RustSlice { |
| David Tolnay | 9bffb93 | 2021-01-02 02:15:21 -0800 | [diff] [blame] | 12 | pub fn from_ref<T>(slice: &[T]) -> Self { |
| David Tolnay | 5577e7c | 2021-04-10 11:36:45 -0700 | [diff] [blame] | 13 | let ptr = NonNull::from(slice).cast::<T>(); |
| 14 | let len = slice.len(); |
| 15 | Self::from_raw_parts(ptr, len) |
| David Tolnay | 5515a9e | 2020-11-25 19:07:54 -0800 | [diff] [blame] | 16 | } |
| 17 | |
| David Tolnay | 9bffb93 | 2021-01-02 02:15:21 -0800 | [diff] [blame] | 18 | pub fn from_mut<T>(slice: &mut [T]) -> Self { |
| David Tolnay | 5577e7c | 2021-04-10 11:36:45 -0700 | [diff] [blame] | 19 | let ptr = NonNull::from(&mut *slice).cast::<T>(); |
| 20 | let len = slice.len(); |
| 21 | Self::from_raw_parts(ptr, len) |
| 22 | } |
| 23 | |
| 24 | pub unsafe fn as_slice<'a, T>(self) -> &'a [T] { |
| 25 | let ptr = self.as_ptr(); |
| 26 | let len = self.len(); |
| 27 | slice::from_raw_parts(ptr.as_ptr(), len) |
| 28 | } |
| 29 | |
| 30 | pub unsafe fn as_mut_slice<'a, T>(self) -> &'a mut [T] { |
| 31 | let ptr = self.as_ptr(); |
| 32 | let len = self.len(); |
| 33 | slice::from_raw_parts_mut(ptr.as_ptr(), len) |
| 34 | } |
| 35 | |
| 36 | pub(crate) fn from_raw_parts<T>(ptr: NonNull<T>, len: usize) -> Self { |
| 37 | // TODO: use NonNull::from_raw_parts(ptr.cast(), len) when stable. |
| 38 | // https://doc.rust-lang.org/nightly/std/ptr/struct.NonNull.html#method.from_raw_parts |
| 39 | // https://github.com/rust-lang/rust/issues/81513 |
| 40 | let ptr = ptr::slice_from_raw_parts_mut(ptr.as_ptr().cast(), len); |
| David Tolnay | 7fdd4a8 | 2021-04-10 11:53:04 -0700 | [diff] [blame^] | 41 | unsafe { mem::transmute::<NonNull<[()]>, RustSlice>(NonNull::new_unchecked(ptr)) } |
| David Tolnay | 5515a9e | 2020-11-25 19:07:54 -0800 | [diff] [blame] | 42 | } |
| 43 | |
| David Tolnay | 5577e7c | 2021-04-10 11:36:45 -0700 | [diff] [blame] | 44 | pub(crate) fn as_ptr<T>(&self) -> NonNull<T> { |
| David Tolnay | 7fdd4a8 | 2021-04-10 11:53:04 -0700 | [diff] [blame^] | 45 | let rust_slice = RustSlice { repr: self.repr }; |
| 46 | let repr = unsafe { mem::transmute::<RustSlice, NonNull<[()]>>(rust_slice) }; |
| 47 | repr.cast() |
| David Tolnay | 5515a9e | 2020-11-25 19:07:54 -0800 | [diff] [blame] | 48 | } |
| 49 | |
| David Tolnay | 5577e7c | 2021-04-10 11:36:45 -0700 | [diff] [blame] | 50 | pub(crate) fn len(&self) -> usize { |
| David Tolnay | 7fdd4a8 | 2021-04-10 11:53:04 -0700 | [diff] [blame^] | 51 | let rust_slice = RustSlice { repr: self.repr }; |
| 52 | let repr = unsafe { mem::transmute::<RustSlice, NonNull<[()]>>(rust_slice) }; |
| 53 | // TODO: use repr.len() when stable. |
| David Tolnay | 5577e7c | 2021-04-10 11:36:45 -0700 | [diff] [blame] | 54 | // https://doc.rust-lang.org/nightly/std/ptr/struct.NonNull.html#method.len |
| 55 | // https://github.com/rust-lang/rust/issues/71146 |
| David Tolnay | 7fdd4a8 | 2021-04-10 11:53:04 -0700 | [diff] [blame^] | 56 | unsafe { repr.as_ref() }.len() |
| David Tolnay | 5515a9e | 2020-11-25 19:07:54 -0800 | [diff] [blame] | 57 | } |
| 58 | } |
| 59 | |
| David Tolnay | 7fdd4a8 | 2021-04-10 11:53:04 -0700 | [diff] [blame^] | 60 | const_assert_eq!(mem::size_of::<NonNull<[()]>>(), mem::size_of::<RustSlice>()); |
| David Tolnay | 5515a9e | 2020-11-25 19:07:54 -0800 | [diff] [blame] | 61 | const_assert_eq!( |
| David Tolnay | 7fdd4a8 | 2021-04-10 11:53:04 -0700 | [diff] [blame^] | 62 | mem::align_of::<NonNull<[()]>>(), |
| 63 | mem::align_of::<RustSlice>(), |
| David Tolnay | 5515a9e | 2020-11-25 19:07:54 -0800 | [diff] [blame] | 64 | ); |