-
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 all 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}; | ||
|
@@ -267,6 +267,7 @@ pub struct Weak<T: ?Sized> { | |
// `Weak::new` sets this to `usize::MAX` so that it doesn’t need | ||
// to allocate space on the heap. That's not a value a real pointer | ||
// will ever have because RcBox has alignment at least 2. | ||
// This is only possible when `T: Sized`; unsized `T` never dangle. | ||
ptr: NonNull<ArcInner<T>>, | ||
} | ||
|
||
|
@@ -590,17 +591,11 @@ 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)) | ||
} | ||
// SAFETY: This cannot go through Deref::deref or RcBoxPtr::inner because | ||
// this is required to retain raw/mut provenance such that e.g. `get_mut` can | ||
// write through the pointer after the Rc is recovered through `from_raw`. | ||
unsafe { &raw const (*ptr).data } | ||
} | ||
|
||
/// Constructs an `Arc<T>` from a raw pointer. | ||
|
@@ -1476,9 +1471,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); | ||
|
||
// SAFETY: we must offset the pointer manually, and said pointer may be | ||
// a dangling weak (usize::MAX) if T is sized. data_offset is safe to call, | ||
// because we know that a pointer to unsized T was derived from a real | ||
// unsized T, as dangling weaks are only created for sized T. wrapping_offset | ||
// is used so that we can use the same code path for the non-dangling | ||
// unsized case and the potentially dangling sized case. | ||
unsafe { | ||
let offset = data_offset(ptr as *mut T); | ||
set_data_ptr(ptr as *mut T, (ptr as *mut u8).wrapping_offset(offset)) | ||
} | ||
} | ||
|
||
/// Consumes the `Weak<T>` and turns it into a raw pointer. | ||
|
@@ -2270,7 +2274,16 @@ impl<T: ?Sized> AsRef<T> for Arc<T> { | |
#[stable(feature = "pin", since = "1.33.0")] | ||
impl<T: ?Sized> Unpin for Arc<T> {} | ||
|
||
/// Computes the offset of the data field within `ArcInner`. | ||
/// Get the offset within an `ArcInner` for | ||
/// a payload of type described by a pointer. | ||
/// | ||
/// # Safety | ||
/// | ||
/// This has the same safety requirements as `align_of_val_raw`. In effect: | ||
/// | ||
/// - This function is safe for any argument if `T` is sized, and | ||
/// - if `T` is unsized, the pointer must have appropriate pointer metadata | ||
/// aquired from the real instance that you are getting this offset for. | ||
unsafe fn data_offset<T: ?Sized>(ptr: *const T) -> isize { | ||
// Align the unsized value to the end of the `ArcInner`. | ||
// Because it is `?Sized`, it will always be the last field in memory. | ||
|
@@ -2279,13 +2292,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.