X-Git-Url: https://git.chrismorgan.info/anymap/blobdiff_plain/8e413e20653077a3a2172158fc5433fa387cd46b..93511917c3be355cf2696ca97fd21ff180dc5f47:/src/any.rs diff --git a/src/any.rs b/src/any.rs index 87028fb..636cb92 100644 --- a/src/any.rs +++ b/src/any.rs @@ -1,160 +1,145 @@ -//! The different types of `Any` for use in a map. -//! -//! This stuff is all based on `std::any`, but goes a little further, with `CloneAny` being a -//! cloneable `Any` and with the `Send` and `Sync` bounds possible on both `Any` and `CloneAny`. - -use std::mem; -use std::fmt; -use std::any::Any as StdAny; +use core::fmt; +use core::any::{Any, TypeId}; +#[cfg(not(feature = "std"))] +use alloc::boxed::Box; #[doc(hidden)] pub trait CloneToAny { - /// Clone `self` into a new `Box` object. - fn clone_to_any(&self) -> Box; - - /// Clone `self` into a new `Box` object. - fn clone_to_any_send(&self) -> Box where Self: Send; - - /// Clone `self` into a new `Box` object. - fn clone_to_any_sync(&self) -> Box where Self: Sync; - - /// Clone `self` into a new `Box` object. - fn clone_to_any_send_sync(&self) -> Box where Self: Send + Sync; + /// Clone `self` into a new `Box` object. + fn clone_to_any(&self) -> Box; } impl CloneToAny for T { - fn clone_to_any(&self) -> Box { - Box::new(self.clone()) - } - - fn clone_to_any_send(&self) -> Box where Self: Send { - Box::new(self.clone()) - } - - fn clone_to_any_sync(&self) -> Box where Self: Sync { - Box::new(self.clone()) - } - - fn clone_to_any_send_sync(&self) -> Box where Self: Send + Sync { + #[inline] + fn clone_to_any(&self) -> Box { Box::new(self.clone()) } } -macro_rules! define { - (CloneAny) => { - /// A type to emulate dynamic typing. - /// - /// Every type with no non-`'static` references implements `Any`. - define!(CloneAny remainder); - }; - (Any) => { - /// A type to emulate dynamic typing with cloning. - /// - /// Every type with no non-`'static` references that implements `Clone` implements `Any`. - define!(Any remainder); - }; - ($t:ident remainder) => { - /// See the [`std::any` documentation](https://doc.rust-lang.org/std/any/index.html) for - /// more details on `Any` in general. - /// - /// This trait is not `std::any::Any` but rather a type extending that for this library’s - /// purposes so that it can be combined with marker traits like - /// Send and - /// Sync. - /// - define!($t trait); - }; - (CloneAny trait) => { - /// See also [`Any`](trait.Any.html) for a version without the `Clone` requirement. - pub trait CloneAny: Any + CloneToAny { } - impl CloneAny for T { } - }; - (Any trait) => { - /// See also [`CloneAny`](trait.CloneAny.html) for a cloneable version of this trait. - pub trait Any: StdAny { } - impl Any for T { } - }; -} - macro_rules! impl_clone { - ($t:ty, $method:ident) => { + ($t:ty) => { impl Clone for Box<$t> { + #[inline] fn clone(&self) -> Box<$t> { - (**self).$method() + // SAFETY: this dance is to reapply any Send/Sync marker. I’m not happy about this + // approach, given that I used to do it in safe code, but then came a dodgy + // future-compatibility warning where_clauses_object_safety, which is spurious for + // auto traits but still super annoying (future-compatibility lints seem to mean + // your bin crate needs a corresponding allow!). Although I explained my plight¹ + // and it was all explained and agreed upon, no action has been taken. So I finally + // caved and worked around it by doing it this way, which matches what’s done for + // core::any², so it’s probably not *too* bad. + // + // ¹ https://github.com/rust-lang/rust/issues/51443#issuecomment-421988013 + // ² https://github.com/rust-lang/rust/blob/e7825f2b690c9a0d21b6f6d84c404bb53b151b38/library/alloc/src/boxed.rs#L1613-L1616 + let clone: Box = (**self).clone_to_any(); + let raw: *mut dyn CloneAny = Box::into_raw(clone); + unsafe { Box::from_raw(raw as *mut $t) } } } - } -} - -#[cfg(feature = "unstable")] -use std::raw::TraitObject; -#[cfg(not(feature = "unstable"))] -#[repr(C)] -#[derive(Copy, Clone)] -struct TraitObject { - pub data: *mut (), - pub vtable: *mut (), + impl fmt::Debug for $t { + #[inline] + fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result { + f.pad(stringify!($t)) + } + } + } } -#[allow(missing_docs)] // Bogus warning (it’s not public outside the crate), ☹ -pub trait UncheckedAnyExt: Any { - unsafe fn downcast_ref_unchecked(&self) -> &T; - unsafe fn downcast_mut_unchecked(&mut self) -> &mut T; - unsafe fn downcast_unchecked(self: Box) -> Box; +/// Methods for downcasting from an `Any`-like trait object. +/// +/// This should only be implemented on trait objects for subtraits of `Any`, though you can +/// implement it for other types and it’ll work fine, so long as your implementation is correct. +pub trait Downcast { + /// Gets the `TypeId` of `self`. + fn type_id(&self) -> TypeId; + + // Note the bound through these downcast methods is 'static, rather than the inexpressible + // concept of Self-but-as-a-trait (where Self is `dyn Trait`). This is sufficient, exceeding + // TypeId’s requirements. Sure, you *can* do CloneAny.downcast_unchecked::() and the + // type system won’t protect you, but that doesn’t introduce any unsafety: the method is + // already unsafe because you can specify the wrong type, and if this were exposing safe + // downcasting, CloneAny.downcast::() would just return an error, which is just as + // correct. + // + // Now in theory we could also add T: ?Sized, but that doesn’t play nicely with the common + // implementation, so I’m doing without it. + + /// Downcast from `&Any` to `&T`, without checking the type matches. + /// + /// # Safety + /// + /// The caller must ensure that `T` matches the trait object, on pain of *undefined behaviour*. + unsafe fn downcast_ref_unchecked(&self) -> &T; + + /// Downcast from `&mut Any` to `&mut T`, without checking the type matches. + /// + /// # Safety + /// + /// The caller must ensure that `T` matches the trait object, on pain of *undefined behaviour*. + unsafe fn downcast_mut_unchecked(&mut self) -> &mut T; + + /// Downcast from `Box` to `Box`, without checking the type matches. + /// + /// # Safety + /// + /// The caller must ensure that `T` matches the trait object, on pain of *undefined behaviour*. + unsafe fn downcast_unchecked(self: Box) -> Box; } -#[doc(hidden)] /// A trait for the conversion of an object into a boxed trait object. -pub trait IntoBox: Any { +pub trait IntoBox: Any { /// Convert self into the appropriate boxed form. fn into_box(self) -> Box; } macro_rules! implement { - ($base:ident, $(+ $bounds:ident)*) => { - impl fmt::Debug for $base $(+ $bounds)* { - fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result { - f.pad(stringify!($base $(+ $bounds)*)) + ($any_trait:ident $(+ $auto_traits:ident)*) => { + impl Downcast for dyn $any_trait $(+ $auto_traits)* { + #[inline] + fn type_id(&self) -> TypeId { + self.type_id() } - } - impl UncheckedAnyExt for $base $(+ $bounds)* { + #[inline] unsafe fn downcast_ref_unchecked(&self) -> &T { - mem::transmute(mem::transmute::<_, TraitObject>(self).data) + &*(self as *const Self as *const T) } + #[inline] unsafe fn downcast_mut_unchecked(&mut self) -> &mut T { - mem::transmute(mem::transmute::<_, TraitObject>(self).data) + &mut *(self as *mut Self as *mut T) } + #[inline] unsafe fn downcast_unchecked(self: Box) -> Box { - mem::transmute(mem::transmute::<_, TraitObject>(self).data) + Box::from_raw(Box::into_raw(self) as *mut T) } } - impl IntoBox<$base $(+ $bounds)*> for T { - fn into_box(self) -> Box<$base $(+ $bounds)*> { + impl IntoBox for T { + #[inline] + fn into_box(self) -> Box { Box::new(self) } } } } -define!(Any); -implement!(Any,); -implement!(Any, + Send); -implement!(Any, + Sync); -implement!(Any, + Send + Sync); -implement!(CloneAny,); -implement!(CloneAny, + Send); -implement!(CloneAny, + Sync); -implement!(CloneAny, + Send + Sync); - -define!(CloneAny); -impl_clone!(CloneAny, clone_to_any); -impl_clone!((CloneAny + Send), clone_to_any_send); -impl_clone!((CloneAny + Sync), clone_to_any_sync); -impl_clone!((CloneAny + Send + Sync), clone_to_any_send_sync); +implement!(Any); +implement!(Any + Send); +implement!(Any + Send + Sync); + +/// [`Any`], but with cloning. +/// +/// Every type with no non-`'static` references that implements `Clone` implements `CloneAny`. +/// See [`core::any`] for more details on `Any` in general. +pub trait CloneAny: Any + CloneToAny { } +impl CloneAny for T { } +implement!(CloneAny); +implement!(CloneAny + Send); +implement!(CloneAny + Send + Sync); +impl_clone!(dyn CloneAny); +impl_clone!(dyn CloneAny + Send); +impl_clone!(dyn CloneAny + Send + Sync);