mirror of
https://github.com/rust-lang/rust.git
synced 2026-04-28 03:07:24 +03:00
add unchecked downcast methods
This commit is contained in:
+103
-28
@@ -1482,8 +1482,6 @@ fn try_from(boxed_slice: Box<[T]>) -> Result<Self, Self::Error> {
|
||||
}
|
||||
|
||||
impl<A: Allocator> Box<dyn Any, A> {
|
||||
#[inline]
|
||||
#[stable(feature = "rust1", since = "1.0.0")]
|
||||
/// Attempt to downcast the box to a concrete type.
|
||||
///
|
||||
/// # Examples
|
||||
@@ -1501,21 +1499,46 @@ impl<A: Allocator> Box<dyn Any, A> {
|
||||
/// print_if_string(Box::new(my_string));
|
||||
/// print_if_string(Box::new(0i8));
|
||||
/// ```
|
||||
#[inline]
|
||||
#[stable(feature = "box_send_sync_any_downcast", since = "1.51.0")]
|
||||
pub fn downcast<T: Any>(self) -> Result<Box<T, A>, Self> {
|
||||
if self.is::<T>() {
|
||||
unsafe {
|
||||
let (raw, alloc): (*mut dyn Any, _) = Box::into_raw_with_allocator(self);
|
||||
Ok(Box::from_raw_in(raw as *mut T, alloc))
|
||||
}
|
||||
} else {
|
||||
Err(self)
|
||||
if self.is::<T>() { unsafe { Ok(self.downcast_unchecked::<T>()) } } else { Err(self) }
|
||||
}
|
||||
|
||||
/// Downcasts the box to a concrete type.
|
||||
///
|
||||
/// For a safe alternative see [`downcast`].
|
||||
///
|
||||
/// # Examples
|
||||
///
|
||||
/// ```
|
||||
/// #![feature(downcast_unchecked)]
|
||||
///
|
||||
/// use std::any::Any;
|
||||
///
|
||||
/// let x: Box<dyn Any> = Box::new(1_usize);
|
||||
///
|
||||
/// unsafe {
|
||||
/// assert_eq!(*x.downcast_unchecked::<usize>(), 1);
|
||||
/// }
|
||||
/// ```
|
||||
///
|
||||
/// # Safety
|
||||
///
|
||||
/// The contained value must be of type `T`. Calling this method
|
||||
/// with the incorrect type is *undefined behavior*.
|
||||
#[inline]
|
||||
#[unstable(feature = "downcast_unchecked", issue = "none")]
|
||||
pub unsafe fn downcast_unchecked<T: Any>(self) -> Box<T, A> {
|
||||
debug_assert!(self.is::<T>());
|
||||
unsafe {
|
||||
let (raw, alloc): (*mut dyn Any, _) = Box::into_raw_with_allocator(self);
|
||||
Box::from_raw_in(raw as *mut T, alloc)
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
impl<A: Allocator> Box<dyn Any + Send, A> {
|
||||
#[inline]
|
||||
#[stable(feature = "rust1", since = "1.0.0")]
|
||||
/// Attempt to downcast the box to a concrete type.
|
||||
///
|
||||
/// # Examples
|
||||
@@ -1533,21 +1556,46 @@ impl<A: Allocator> Box<dyn Any + Send, A> {
|
||||
/// print_if_string(Box::new(my_string));
|
||||
/// print_if_string(Box::new(0i8));
|
||||
/// ```
|
||||
#[inline]
|
||||
#[stable(feature = "box_send_sync_any_downcast", since = "1.51.0")]
|
||||
pub fn downcast<T: Any>(self) -> Result<Box<T, A>, Self> {
|
||||
if self.is::<T>() {
|
||||
unsafe {
|
||||
let (raw, alloc): (*mut (dyn Any + Send), _) = Box::into_raw_with_allocator(self);
|
||||
Ok(Box::from_raw_in(raw as *mut T, alloc))
|
||||
}
|
||||
} else {
|
||||
Err(self)
|
||||
if self.is::<T>() { unsafe { Ok(self.downcast_unchecked::<T>()) } } else { Err(self) }
|
||||
}
|
||||
|
||||
/// Downcasts the box to a concrete type.
|
||||
///
|
||||
/// For a safe alternative see [`downcast`].
|
||||
///
|
||||
/// # Examples
|
||||
///
|
||||
/// ```
|
||||
/// #![feature(downcast_unchecked)]
|
||||
///
|
||||
/// use std::any::Any;
|
||||
///
|
||||
/// let x: Box<dyn Any + Send> = Box::new(1_usize);
|
||||
///
|
||||
/// unsafe {
|
||||
/// assert_eq!(*x.downcast_unchecked::<usize>(), 1);
|
||||
/// }
|
||||
/// ```
|
||||
///
|
||||
/// # Safety
|
||||
///
|
||||
/// The contained value must be of type `T`. Calling this method
|
||||
/// with the incorrect type is *undefined behavior*.
|
||||
#[inline]
|
||||
#[unstable(feature = "downcast_unchecked", issue = "none")]
|
||||
pub unsafe fn downcast_unchecked<T: Any>(self) -> Box<T, A> {
|
||||
debug_assert!(self.is::<T>());
|
||||
unsafe {
|
||||
let (raw, alloc): (*mut (dyn Any + Send), _) = Box::into_raw_with_allocator(self);
|
||||
Box::from_raw_in(raw as *mut T, alloc)
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
impl<A: Allocator> Box<dyn Any + Send + Sync, A> {
|
||||
#[inline]
|
||||
#[stable(feature = "box_send_sync_any_downcast", since = "1.51.0")]
|
||||
/// Attempt to downcast the box to a concrete type.
|
||||
///
|
||||
/// # Examples
|
||||
@@ -1565,15 +1613,42 @@ impl<A: Allocator> Box<dyn Any + Send + Sync, A> {
|
||||
/// print_if_string(Box::new(my_string));
|
||||
/// print_if_string(Box::new(0i8));
|
||||
/// ```
|
||||
#[inline]
|
||||
#[stable(feature = "box_send_sync_any_downcast", since = "1.51.0")]
|
||||
pub fn downcast<T: Any>(self) -> Result<Box<T, A>, Self> {
|
||||
if self.is::<T>() {
|
||||
unsafe {
|
||||
let (raw, alloc): (*mut (dyn Any + Send + Sync), _) =
|
||||
Box::into_raw_with_allocator(self);
|
||||
Ok(Box::from_raw_in(raw as *mut T, alloc))
|
||||
}
|
||||
} else {
|
||||
Err(self)
|
||||
if self.is::<T>() { unsafe { Ok(self.downcast_unchecked::<T>()) } } else { Err(self) }
|
||||
}
|
||||
|
||||
/// Downcasts the box to a concrete type.
|
||||
///
|
||||
/// For a safe alternative see [`downcast`].
|
||||
///
|
||||
/// # Examples
|
||||
///
|
||||
/// ```
|
||||
/// #![feature(downcast_unchecked)]
|
||||
///
|
||||
/// use std::any::Any;
|
||||
///
|
||||
/// let x: Box<dyn Any + Send + Sync> = Box::new(1_usize);
|
||||
///
|
||||
/// unsafe {
|
||||
/// assert_eq!(*x.downcast_unchecked::<usize>(), 1);
|
||||
/// }
|
||||
/// ```
|
||||
///
|
||||
/// # Safety
|
||||
///
|
||||
/// The contained value must be of type `T`. Calling this method
|
||||
/// with the incorrect type is *undefined behavior*.
|
||||
#[inline]
|
||||
#[unstable(feature = "downcast_unchecked", issue = "none")]
|
||||
pub unsafe fn downcast_unchecked<T: Any>(self) -> Box<T, A> {
|
||||
debug_assert!(self.is::<T>());
|
||||
unsafe {
|
||||
let (raw, alloc): (*mut (dyn Any + Send + Sync), _) =
|
||||
Box::into_raw_with_allocator(self);
|
||||
Box::from_raw_in(raw as *mut T, alloc)
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
+170
-8
@@ -164,7 +164,7 @@ fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
|
||||
}
|
||||
|
||||
impl dyn Any {
|
||||
/// Returns `true` if the boxed type is the same as `T`.
|
||||
/// Returns `true` if the inner type is the same as `T`.
|
||||
///
|
||||
/// # Examples
|
||||
///
|
||||
@@ -195,7 +195,7 @@ pub fn is<T: Any>(&self) -> bool {
|
||||
t == concrete
|
||||
}
|
||||
|
||||
/// Returns some reference to the boxed value if it is of type `T`, or
|
||||
/// Returns some reference to the inner value if it is of type `T`, or
|
||||
/// `None` if it isn't.
|
||||
///
|
||||
/// # Examples
|
||||
@@ -221,13 +221,13 @@ pub fn downcast_ref<T: Any>(&self) -> Option<&T> {
|
||||
// SAFETY: just checked whether we are pointing to the correct type, and we can rely on
|
||||
// that check for memory safety because we have implemented Any for all types; no other
|
||||
// impls can exist as they would conflict with our impl.
|
||||
unsafe { Some(&*(self as *const dyn Any as *const T)) }
|
||||
unsafe { Some(self.downcast_ref_unchecked()) }
|
||||
} else {
|
||||
None
|
||||
}
|
||||
}
|
||||
|
||||
/// Returns some mutable reference to the boxed value if it is of type `T`, or
|
||||
/// Returns some mutable reference to the inner value if it is of type `T`, or
|
||||
/// `None` if it isn't.
|
||||
///
|
||||
/// # Examples
|
||||
@@ -257,15 +257,77 @@ pub fn downcast_mut<T: Any>(&mut self) -> Option<&mut T> {
|
||||
// SAFETY: just checked whether we are pointing to the correct type, and we can rely on
|
||||
// that check for memory safety because we have implemented Any for all types; no other
|
||||
// impls can exist as they would conflict with our impl.
|
||||
unsafe { Some(&mut *(self as *mut dyn Any as *mut T)) }
|
||||
unsafe { Some(self.downcast_mut_unchecked()) }
|
||||
} else {
|
||||
None
|
||||
}
|
||||
}
|
||||
|
||||
/// Returns a reference to the inner value as type `dyn T`.
|
||||
///
|
||||
/// For a safe alternative see [`downcast_ref`].
|
||||
///
|
||||
/// # Examples
|
||||
///
|
||||
/// ```
|
||||
/// #![feature(downcast_unchecked)]
|
||||
///
|
||||
/// use std::any::Any;
|
||||
///
|
||||
/// let x: Box<dyn Any> = Box::new(1_usize);
|
||||
///
|
||||
/// unsafe {
|
||||
/// assert_eq!(*x.downcast_ref_unchecked::<usize>(), 1);
|
||||
/// }
|
||||
/// ```
|
||||
///
|
||||
/// # Safety
|
||||
///
|
||||
/// The contained value must be of type `T`. Calling this method
|
||||
/// with the incorrect type is *undefined behavior*.
|
||||
#[unstable(feature = "downcast_unchecked", issue = "none")]
|
||||
#[inline]
|
||||
pub unsafe fn downcast_ref_unchecked<T: Any>(&self) -> &T {
|
||||
debug_assert!(self.is::<T>());
|
||||
// SAFETY: caller guarantees that T is the correct type
|
||||
unsafe { &*(self as *const dyn Any as *const T) }
|
||||
}
|
||||
|
||||
/// Returns a mutable reference to the inner value as type `dyn T`.
|
||||
///
|
||||
/// For a safe alternative see [`downcast_mut`].
|
||||
///
|
||||
/// # Examples
|
||||
///
|
||||
/// ```
|
||||
/// #![feature(downcast_unchecked)]
|
||||
///
|
||||
/// use std::any::Any;
|
||||
///
|
||||
/// let mut x: Box<dyn Any> = Box::new(1_usize);
|
||||
///
|
||||
/// unsafe {
|
||||
/// *x.downcast_mut_unchecked::<usize>() += 1;
|
||||
/// }
|
||||
///
|
||||
/// assert_eq!(*x.downcast_ref::<usize>().unwrap(), 2);
|
||||
/// ```
|
||||
///
|
||||
/// # Safety
|
||||
///
|
||||
/// The contained value must be of type `T`. Calling this method
|
||||
/// with the incorrect type is *undefined behavior*.
|
||||
#[unstable(feature = "downcast_unchecked", issue = "none")]
|
||||
#[inline]
|
||||
pub unsafe fn downcast_mut_unchecked<T: Any>(&mut self) -> &mut T {
|
||||
debug_assert!(self.is::<T>());
|
||||
// SAFETY: caller guarantees that T is the correct type
|
||||
unsafe { &mut *(self as *mut dyn Any as *mut T) }
|
||||
}
|
||||
}
|
||||
|
||||
impl dyn Any + Send {
|
||||
/// Forwards to the method defined on the type `Any`.
|
||||
/// Forwards to the method defined on the type `dyn Any`.
|
||||
///
|
||||
/// # Examples
|
||||
///
|
||||
@@ -289,7 +351,7 @@ pub fn is<T: Any>(&self) -> bool {
|
||||
<dyn Any>::is::<T>(self)
|
||||
}
|
||||
|
||||
/// Forwards to the method defined on the type `Any`.
|
||||
/// Forwards to the method defined on the type `dyn Any`.
|
||||
///
|
||||
/// # Examples
|
||||
///
|
||||
@@ -313,7 +375,7 @@ pub fn downcast_ref<T: Any>(&self) -> Option<&T> {
|
||||
<dyn Any>::downcast_ref::<T>(self)
|
||||
}
|
||||
|
||||
/// Forwards to the method defined on the type `Any`.
|
||||
/// Forwards to the method defined on the type `dyn Any`.
|
||||
///
|
||||
/// # Examples
|
||||
///
|
||||
@@ -340,6 +402,60 @@ pub fn downcast_ref<T: Any>(&self) -> Option<&T> {
|
||||
pub fn downcast_mut<T: Any>(&mut self) -> Option<&mut T> {
|
||||
<dyn Any>::downcast_mut::<T>(self)
|
||||
}
|
||||
|
||||
/// Forwards to the method defined on the type `dyn Any`.
|
||||
///
|
||||
/// # Examples
|
||||
///
|
||||
/// ```
|
||||
/// #![feature(downcast_unchecked)]
|
||||
///
|
||||
/// use std::any::Any;
|
||||
///
|
||||
/// let x: Box<dyn Any> = Box::new(1_usize);
|
||||
///
|
||||
/// unsafe {
|
||||
/// assert_eq!(*x.downcast_ref_unchecked::<usize>(), 1);
|
||||
/// }
|
||||
/// ```
|
||||
///
|
||||
/// # Safety
|
||||
///
|
||||
/// Same as the method on the type `dyn Any`.
|
||||
#[unstable(feature = "downcast_unchecked", issue = "none")]
|
||||
#[inline]
|
||||
pub unsafe fn downcast_ref_unchecked<T: Any>(&self) -> &T {
|
||||
// SAFETY: guaranteed by caller
|
||||
unsafe { <dyn Any>::downcast_ref_unchecked::<T>(self) }
|
||||
}
|
||||
|
||||
/// Forwards to the method defined on the type `dyn Any`.
|
||||
///
|
||||
/// # Examples
|
||||
///
|
||||
/// ```
|
||||
/// #![feature(downcast_unchecked)]
|
||||
///
|
||||
/// use std::any::Any;
|
||||
///
|
||||
/// let mut x: Box<dyn Any> = Box::new(1_usize);
|
||||
///
|
||||
/// unsafe {
|
||||
/// *x.downcast_mut_unchecked::<usize>() += 1;
|
||||
/// }
|
||||
///
|
||||
/// assert_eq!(*x.downcast_ref::<usize>().unwrap(), 2);
|
||||
/// ```
|
||||
///
|
||||
/// # Safety
|
||||
///
|
||||
/// Same as the method on the type `dyn Any`.
|
||||
#[unstable(feature = "downcast_unchecked", issue = "none")]
|
||||
#[inline]
|
||||
pub unsafe fn downcast_mut_unchecked<T: Any>(&mut self) -> &mut T {
|
||||
// SAFETY: guaranteed by caller
|
||||
unsafe { <dyn Any>::downcast_mut_unchecked::<T>(self) }
|
||||
}
|
||||
}
|
||||
|
||||
impl dyn Any + Send + Sync {
|
||||
@@ -418,6 +534,52 @@ pub fn downcast_ref<T: Any>(&self) -> Option<&T> {
|
||||
pub fn downcast_mut<T: Any>(&mut self) -> Option<&mut T> {
|
||||
<dyn Any>::downcast_mut::<T>(self)
|
||||
}
|
||||
|
||||
/// Forwards to the method defined on the type `Any`.
|
||||
///
|
||||
/// # Examples
|
||||
///
|
||||
/// ```
|
||||
/// #![feature(downcast_unchecked)]
|
||||
///
|
||||
/// use std::any::Any;
|
||||
///
|
||||
/// let x: Box<dyn Any> = Box::new(1_usize);
|
||||
///
|
||||
/// unsafe {
|
||||
/// assert_eq!(*x.downcast_ref_unchecked::<usize>(), 1);
|
||||
/// }
|
||||
/// ```
|
||||
#[unstable(feature = "downcast_unchecked", issue = "none")]
|
||||
#[inline]
|
||||
pub unsafe fn downcast_ref_unchecked<T: Any>(&self) -> &T {
|
||||
// SAFETY: guaranteed by caller
|
||||
unsafe { <dyn Any>::downcast_ref_unchecked::<T>(self) }
|
||||
}
|
||||
|
||||
/// Forwards to the method defined on the type `Any`.
|
||||
///
|
||||
/// # Examples
|
||||
///
|
||||
/// ```
|
||||
/// #![feature(downcast_unchecked)]
|
||||
///
|
||||
/// use std::any::Any;
|
||||
///
|
||||
/// let mut x: Box<dyn Any> = Box::new(1_usize);
|
||||
///
|
||||
/// unsafe {
|
||||
/// *x.downcast_mut_unchecked::<usize>() += 1;
|
||||
/// }
|
||||
///
|
||||
/// assert_eq!(*x.downcast_ref::<usize>().unwrap(), 2);
|
||||
/// ```
|
||||
#[unstable(feature = "downcast_unchecked", issue = "none")]
|
||||
#[inline]
|
||||
pub unsafe fn downcast_mut_unchecked<T: Any>(&mut self) -> &mut T {
|
||||
// SAFETY: guaranteed by caller
|
||||
unsafe { <dyn Any>::downcast_mut_unchecked::<T>(self) }
|
||||
}
|
||||
}
|
||||
|
||||
///////////////////////////////////////////////////////////////////////////////
|
||||
|
||||
Reference in New Issue
Block a user