-
Notifications
You must be signed in to change notification settings - Fork 13.4k
Use &raw in A|Rc::as_ptr #73845
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Use &raw in A|Rc::as_ptr #73845
Changes from 3 commits
db539c6
e4bdf47
d8a9c61
fc3dc72
0aecf3c
aed88e1
ac40d1e
98789ac
7498cad
1b5ac57
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -16,7 +16,7 @@ use core::hash::{Hash, Hasher}; | |
use core::intrinsics::abort; | ||
use core::iter; | ||
use core::marker::{PhantomData, Unpin, Unsize}; | ||
use core::mem::{self, align_of, align_of_val, size_of_val}; | ||
use core::mem::{self, align_of_val, size_of_val}; | ||
use core::ops::{CoerceUnsized, Deref, DispatchFromDyn, Receiver}; | ||
use core::pin::Pin; | ||
use core::ptr::{self, NonNull}; | ||
|
@@ -590,17 +590,13 @@ impl<T: ?Sized> Arc<T> { | |
#[stable(feature = "weak_into_raw", since = "1.45.0")] | ||
pub fn as_ptr(this: &Self) -> *const T { | ||
let ptr: *mut ArcInner<T> = NonNull::as_ptr(this.ptr); | ||
let fake_ptr = ptr as *mut T; | ||
|
||
// SAFETY: This cannot go through Deref::deref. | ||
// Instead, we manually offset the pointer rather than manifesting a reference. | ||
// This is so that the returned pointer retains the same provenance as our pointer. | ||
// This is required so that e.g. `get_mut` can write through the pointer | ||
// after the Arc is recovered through `from_raw`. | ||
unsafe { | ||
let offset = data_offset(&(*ptr).data); | ||
set_data_ptr(fake_ptr, (ptr as *mut u8).offset(offset)) | ||
} | ||
unsafe { &raw const (*ptr).data } | ||
} | ||
|
||
/// Constructs an `Arc<T>` from a raw pointer. | ||
|
@@ -1476,9 +1472,18 @@ impl<T> Weak<T> { | |
/// [`null`]: ../../std/ptr/fn.null.html | ||
#[stable(feature = "weak_into_raw", since = "1.45.0")] | ||
pub fn as_ptr(&self) -> *const T { | ||
let offset = data_offset_sized::<T>(); | ||
let ptr = self.ptr.cast::<u8>().as_ptr().wrapping_offset(offset); | ||
ptr as *const T | ||
let ptr: *mut ArcInner<T> = NonNull::as_ptr(self.ptr); | ||
let fake_ptr = ptr as *mut T; | ||
|
||
// SAFETY: we must offset the pointer manually, and said pointer may be | ||
// a dangling weak (usize::MAX). data_offset is safe to call, because we | ||
// know a pointer to unsized T must be derived from a real unsized T, | ||
// because dangling weaks are only created for sized T. wrapping_offset | ||
// is used so that we can use the same code path for dangling weak refs. | ||
unsafe { | ||
let offset = data_offset(&raw const (*ptr).data); | ||
set_data_ptr(fake_ptr, (ptr as *mut u8).wrapping_offset(offset)) | ||
} | ||
} | ||
|
||
/// Consumes the `Weak<T>` and turns it into a raw pointer. | ||
|
@@ -2279,13 +2284,6 @@ unsafe fn data_offset<T: ?Sized>(ptr: *const T) -> isize { | |
unsafe { data_offset_align(align_of_val(&*ptr)) } | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. oops this line should have been But I doubt that that's enough to fix #80365. There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Yes, it definitely should have been. I don't know how I missed this one 🙃 |
||
} | ||
|
||
/// Computes the offset of the data field within `ArcInner`. | ||
/// | ||
/// Unlike [`data_offset`], this doesn't need the pointer, but it works only on `T: Sized`. | ||
fn data_offset_sized<T>() -> isize { | ||
data_offset_align(align_of::<T>()) | ||
} | ||
|
||
#[inline] | ||
fn data_offset_align(align: usize) -> isize { | ||
let layout = Layout::new::<ArcInner<()>>(); | ||
|
Uh oh!
There was an error while loading. Please reload this page.