| David Tolnay | 7a48785 | 2020-12-28 18:02:25 -0800 | [diff] [blame] | 1 | use crate::shared_ptr::{SharedPtr, SharedPtrTarget}; |
| David Tolnay | 215e77f | 2020-12-28 17:09:48 -0800 | [diff] [blame] | 2 | use crate::string::CxxString; |
| 3 | use core::ffi::c_void; |
| David Tolnay | ac5af50 | 2021-03-25 00:29:06 -0400 | [diff] [blame^] | 4 | use core::fmt::{self, Debug}; |
| David Tolnay | 215e77f | 2020-12-28 17:09:48 -0800 | [diff] [blame] | 5 | use core::marker::PhantomData; |
| 6 | use core::mem::MaybeUninit; |
| 7 | |
| 8 | /// Binding to C++ `std::weak_ptr<T>`. |
| David Tolnay | 85b6bc4 | 2020-12-28 17:47:51 -0800 | [diff] [blame] | 9 | /// |
| 10 | /// The typical way to construct a WeakPtr from Rust is by [downgrading] from a |
| 11 | /// SharedPtr. |
| 12 | /// |
| 13 | /// [downgrading]: crate::SharedPtr::downgrade |
| David Tolnay | 215e77f | 2020-12-28 17:09:48 -0800 | [diff] [blame] | 14 | #[repr(C)] |
| 15 | pub struct WeakPtr<T> |
| 16 | where |
| 17 | T: WeakPtrTarget, |
| 18 | { |
| 19 | repr: [*mut c_void; 2], |
| 20 | ty: PhantomData<T>, |
| 21 | } |
| 22 | |
| 23 | impl<T> WeakPtr<T> |
| 24 | where |
| 25 | T: WeakPtrTarget, |
| 26 | { |
| 27 | /// Makes a new WeakPtr wrapping a null pointer. |
| 28 | /// |
| 29 | /// Matches the behavior of default-constructing a std::weak\_ptr. |
| 30 | pub fn null() -> Self { |
| 31 | let mut weak_ptr = MaybeUninit::<WeakPtr<T>>::uninit(); |
| 32 | let new = weak_ptr.as_mut_ptr().cast(); |
| 33 | unsafe { |
| 34 | T::__null(new); |
| 35 | weak_ptr.assume_init() |
| 36 | } |
| 37 | } |
| David Tolnay | 7a48785 | 2020-12-28 18:02:25 -0800 | [diff] [blame] | 38 | |
| 39 | /// Upgrades a non-owning reference into an owning reference if possible, |
| 40 | /// otherwise to a null reference. |
| 41 | /// |
| 42 | /// Matches the behavior of [std::weak_ptr\<T\>::lock](https://en.cppreference.com/w/cpp/memory/weak_ptr/lock). |
| 43 | pub fn upgrade(&self) -> SharedPtr<T> |
| 44 | where |
| 45 | T: SharedPtrTarget, |
| 46 | { |
| 47 | let this = self as *const Self as *const c_void; |
| 48 | let mut shared_ptr = MaybeUninit::<SharedPtr<T>>::uninit(); |
| 49 | let new = shared_ptr.as_mut_ptr().cast(); |
| 50 | unsafe { |
| 51 | T::__upgrade(this, new); |
| 52 | shared_ptr.assume_init() |
| 53 | } |
| 54 | } |
| David Tolnay | 215e77f | 2020-12-28 17:09:48 -0800 | [diff] [blame] | 55 | } |
| 56 | |
| 57 | unsafe impl<T> Send for WeakPtr<T> where T: Send + Sync + WeakPtrTarget {} |
| 58 | unsafe impl<T> Sync for WeakPtr<T> where T: Send + Sync + WeakPtrTarget {} |
| 59 | |
| 60 | impl<T> Clone for WeakPtr<T> |
| 61 | where |
| 62 | T: WeakPtrTarget, |
| 63 | { |
| 64 | fn clone(&self) -> Self { |
| 65 | let mut weak_ptr = MaybeUninit::<WeakPtr<T>>::uninit(); |
| 66 | let new = weak_ptr.as_mut_ptr().cast(); |
| 67 | let this = self as *const Self as *mut c_void; |
| 68 | unsafe { |
| 69 | T::__clone(this, new); |
| 70 | weak_ptr.assume_init() |
| 71 | } |
| 72 | } |
| 73 | } |
| 74 | |
| 75 | impl<T> Drop for WeakPtr<T> |
| 76 | where |
| 77 | T: WeakPtrTarget, |
| 78 | { |
| 79 | fn drop(&mut self) { |
| 80 | let this = self as *mut Self as *mut c_void; |
| 81 | unsafe { T::__drop(this) } |
| 82 | } |
| 83 | } |
| 84 | |
| David Tolnay | 18ed79b | 2020-12-28 18:21:46 -0800 | [diff] [blame] | 85 | impl<T> Debug for WeakPtr<T> |
| 86 | where |
| 87 | T: Debug + WeakPtrTarget + SharedPtrTarget, |
| 88 | { |
| 89 | fn fmt(&self, formatter: &mut fmt::Formatter) -> fmt::Result { |
| 90 | Debug::fmt(&self.upgrade(), formatter) |
| 91 | } |
| 92 | } |
| 93 | |
| David Tolnay | 215e77f | 2020-12-28 17:09:48 -0800 | [diff] [blame] | 94 | // Methods are private; not intended to be implemented outside of cxxbridge |
| 95 | // codebase. |
| 96 | pub unsafe trait WeakPtrTarget { |
| 97 | #[doc(hidden)] |
| David Tolnay | ac5af50 | 2021-03-25 00:29:06 -0400 | [diff] [blame^] | 98 | fn __typename(f: &mut fmt::Formatter) -> fmt::Result; |
| David Tolnay | 215e77f | 2020-12-28 17:09:48 -0800 | [diff] [blame] | 99 | #[doc(hidden)] |
| 100 | unsafe fn __null(new: *mut c_void); |
| 101 | #[doc(hidden)] |
| 102 | unsafe fn __clone(this: *const c_void, new: *mut c_void); |
| 103 | #[doc(hidden)] |
| David Tolnay | 85b6bc4 | 2020-12-28 17:47:51 -0800 | [diff] [blame] | 104 | unsafe fn __downgrade(shared: *const c_void, new: *mut c_void); |
| 105 | #[doc(hidden)] |
| David Tolnay | 7a48785 | 2020-12-28 18:02:25 -0800 | [diff] [blame] | 106 | unsafe fn __upgrade(weak: *const c_void, shared: *mut c_void); |
| 107 | #[doc(hidden)] |
| David Tolnay | 215e77f | 2020-12-28 17:09:48 -0800 | [diff] [blame] | 108 | unsafe fn __drop(this: *mut c_void); |
| 109 | } |
| 110 | |
| 111 | macro_rules! impl_weak_ptr_target { |
| 112 | ($segment:expr, $name:expr, $ty:ty) => { |
| 113 | unsafe impl WeakPtrTarget for $ty { |
| David Tolnay | ac5af50 | 2021-03-25 00:29:06 -0400 | [diff] [blame^] | 114 | fn __typename(f: &mut fmt::Formatter) -> fmt::Result { |
| 115 | f.write_str($name) |
| 116 | } |
| David Tolnay | 215e77f | 2020-12-28 17:09:48 -0800 | [diff] [blame] | 117 | unsafe fn __null(new: *mut c_void) { |
| 118 | extern "C" { |
| 119 | attr! { |
| 120 | #[link_name = concat!("cxxbridge1$std$weak_ptr$", $segment, "$null")] |
| 121 | fn __null(new: *mut c_void); |
| 122 | } |
| 123 | } |
| 124 | __null(new); |
| 125 | } |
| 126 | unsafe fn __clone(this: *const c_void, new: *mut c_void) { |
| 127 | extern "C" { |
| 128 | attr! { |
| 129 | #[link_name = concat!("cxxbridge1$std$weak_ptr$", $segment, "$clone")] |
| 130 | fn __clone(this: *const c_void, new: *mut c_void); |
| 131 | } |
| 132 | } |
| 133 | __clone(this, new); |
| 134 | } |
| David Tolnay | 85b6bc4 | 2020-12-28 17:47:51 -0800 | [diff] [blame] | 135 | unsafe fn __downgrade(shared: *const c_void, weak: *mut c_void) { |
| 136 | extern "C" { |
| 137 | attr! { |
| 138 | #[link_name = concat!("cxxbridge1$std$weak_ptr$", $segment, "$downgrade")] |
| 139 | fn __downgrade(shared: *const c_void, weak: *mut c_void); |
| 140 | } |
| 141 | } |
| 142 | __downgrade(shared, weak); |
| 143 | } |
| David Tolnay | 7a48785 | 2020-12-28 18:02:25 -0800 | [diff] [blame] | 144 | unsafe fn __upgrade(weak: *const c_void, shared: *mut c_void) { |
| 145 | extern "C" { |
| 146 | attr! { |
| 147 | #[link_name = concat!("cxxbridge1$std$weak_ptr$", $segment, "$upgrade")] |
| 148 | fn __upgrade(weak: *const c_void, shared: *mut c_void); |
| 149 | } |
| 150 | } |
| 151 | __upgrade(weak, shared); |
| 152 | } |
| David Tolnay | 215e77f | 2020-12-28 17:09:48 -0800 | [diff] [blame] | 153 | unsafe fn __drop(this: *mut c_void) { |
| 154 | extern "C" { |
| 155 | attr! { |
| 156 | #[link_name = concat!("cxxbridge1$std$weak_ptr$", $segment, "$drop")] |
| 157 | fn __drop(this: *mut c_void); |
| 158 | } |
| 159 | } |
| 160 | __drop(this); |
| 161 | } |
| 162 | } |
| 163 | }; |
| 164 | } |
| 165 | |
| 166 | macro_rules! impl_weak_ptr_target_for_primitive { |
| 167 | ($ty:ident) => { |
| 168 | impl_weak_ptr_target!(stringify!($ty), stringify!($ty), $ty); |
| 169 | }; |
| 170 | } |
| 171 | |
| 172 | impl_weak_ptr_target_for_primitive!(bool); |
| 173 | impl_weak_ptr_target_for_primitive!(u8); |
| 174 | impl_weak_ptr_target_for_primitive!(u16); |
| 175 | impl_weak_ptr_target_for_primitive!(u32); |
| 176 | impl_weak_ptr_target_for_primitive!(u64); |
| 177 | impl_weak_ptr_target_for_primitive!(usize); |
| 178 | impl_weak_ptr_target_for_primitive!(i8); |
| 179 | impl_weak_ptr_target_for_primitive!(i16); |
| 180 | impl_weak_ptr_target_for_primitive!(i32); |
| 181 | impl_weak_ptr_target_for_primitive!(i64); |
| 182 | impl_weak_ptr_target_for_primitive!(isize); |
| 183 | impl_weak_ptr_target_for_primitive!(f32); |
| 184 | impl_weak_ptr_target_for_primitive!(f64); |
| 185 | |
| 186 | impl_weak_ptr_target!("string", "CxxString", CxxString); |