@@ -172,7 +172,10 @@ mod _external {
172172/// Methods for converting to and from `Ptr` and Rust's safe reference types.
173173mod _conversions {
174174 use super :: * ;
175- use crate :: util:: { AlignmentVariance , Covariant , TransparentWrapper , ValidityVariance } ;
175+ use crate :: {
176+ pointer:: transmute:: { CastFrom , TransmuteFromAlignment , TransmuteFromPtr } ,
177+ util:: { AlignmentVariance , Covariant , TransparentWrapper , ValidityVariance } ,
178+ } ;
176179
177180 /// `&'a T` → `Ptr<'a, T>`
178181 impl < ' a , T : ?Sized > Ptr < ' a , Valid < T > , ( Shared , Aligned ) > {
@@ -338,6 +341,54 @@ mod _conversions {
338341 }
339342 }
340343
344+ /// `Ptr<'a, T>` → `Ptr<'a, U>`
345+ impl < ' a , V , I > Ptr < ' a , V , I >
346+ where
347+ V : Validity ,
348+ I : Invariants ,
349+ {
350+ /// # Safety
351+ /// - TODO: `UnsafeCell` agreement
352+ /// - The caller promises that the returned `Ptr` satisfies alignment
353+ /// `A`
354+ /// - The caller promises that the returned `Ptr` satisfies validity `V`
355+ pub ( crate ) unsafe fn transmute_unchecked < U , A > ( self ) -> Ptr < ' a , U , ( I :: Aliasing , A ) >
356+ where
357+ A : Alignment ,
358+ U : Validity ,
359+ U :: Inner : CastFrom < V :: Inner > ,
360+ {
361+ // SAFETY:
362+ // - By invariant on `CastFrom::cast_from`:
363+ // - This cast preserves address and referent size, and thus the
364+ // returned pointer addresses the same bytes as `p`
365+ // - This cast preserves provenance
366+ // - TODO: `UnsafeCell` agreement
367+ let ptr =
368+ unsafe { self . cast_unsized_unchecked :: < U :: Inner , _ > ( |p| U :: Inner :: cast_from ( p) ) } ;
369+ // SAFETY: The caller promises that alignment is satisfied.
370+ let ptr = unsafe { ptr. assume_alignment ( ) } ;
371+ // SAFETY: The caller promises that validity is satisfied.
372+ let ptr = unsafe { ptr. assume_validity :: < U > ( ) } ;
373+ ptr. unify_validity ( )
374+ }
375+
376+ pub ( crate ) fn transmute < U , A , RT , RA > ( self ) -> Ptr < ' a , U , ( I :: Aliasing , A ) >
377+ where
378+ A : Alignment ,
379+ U : TransmuteFromPtr < V , I :: Aliasing , RT > ,
380+ U :: Inner : TransmuteFromAlignment < U :: Inner , I :: Alignment , A , RA > + CastFrom < V :: Inner > ,
381+ {
382+ // SAFETY:
383+ // - TODO: `UnsafeCell` agreement
384+ // - By invariant on `TransmuteFromPtr`, it is sound to treat the
385+ // resulting pointer as having alignment `A`
386+ // - By invariant on `TransmuteFromPtr`, it is sound to treat the
387+ // resulting pointer as having validity `V`
388+ unsafe { self . transmute_unchecked ( ) }
389+ }
390+ }
391+
341392 /// `Ptr<'a, T = Wrapper<U>>` → `Ptr<'a, U>`
342393 impl < ' a , V , I > Ptr < ' a , V , I >
343394 where
@@ -427,7 +478,11 @@ mod _conversions {
427478/// State transitions between invariants.
428479mod _transitions {
429480 use super :: * ;
430- use crate :: { AlignmentError , TryFromBytes , ValidityError } ;
481+ use crate :: {
482+ error:: TryCastError ,
483+ pointer:: transmute:: { CastFrom , TransmuteFromPtr , TryTransmuteFromPtr } ,
484+ AlignmentError , TryFromBytes , ValidityError ,
485+ } ;
431486
432487 impl < ' a , V , I > Ptr < ' a , V , I >
433488 where
@@ -648,6 +703,22 @@ mod _transitions {
648703 }
649704 }
650705
706+ impl < ' a , V , I > Ptr < ' a , V , I >
707+ where
708+ V : Validity ,
709+ I : Invariants ,
710+ I :: Aliasing : Reference ,
711+ {
712+ /// Forgets that `self` is an `Exclusive` pointer, downgrading it to a
713+ /// `Shared` pointer.
714+ #[ doc( hidden) ]
715+ #[ must_use]
716+ #[ inline]
717+ pub const fn forget_exclusive ( self ) -> Ptr < ' a , V , I :: WithAliasing < Shared > > {
718+ unsafe { self . assume_invariants ( ) }
719+ }
720+ }
721+
651722 impl < ' a , T , I > Ptr < ' a , Initialized < T > , I >
652723 where
653724 T : ?Sized ,
@@ -659,14 +730,11 @@ mod _transitions {
659730 #[ inline]
660731 // TODO(#859): Reconsider the name of this method before making it
661732 // public.
662- pub const fn bikeshed_recall_valid ( self ) -> Ptr < ' a , Valid < T > , I >
733+ pub fn bikeshed_recall_valid ( self ) -> Ptr < ' a , Valid < T > , I >
663734 where
664- T : crate :: FromBytes ,
735+ T : crate :: FromBytes + crate :: IntoBytes ,
665736 {
666- // SAFETY: The bound `T: FromBytes` ensures that any initialized
667- // sequence of bytes is bit-valid for `T`. `V = Initialized<T>`
668- // ensures that all of the referent bytes are initialized.
669- unsafe { self . assume_valid ( ) }
737+ self . transmute ( ) . unify_invariants ( )
670738 }
671739
672740 /// Checks that `self`'s referent is validly initialized for `T`,
@@ -686,7 +754,12 @@ mod _transitions {
686754 mut self ,
687755 ) -> Result < Ptr < ' a , Valid < T > , I > , ValidityError < Self , T > >
688756 where
689- T : TryFromBytes + Read < I :: Aliasing , R > ,
757+ T : TryFromBytes , // + Read<I::Aliasing, R>,
758+ Valid < T > : TryTransmuteFromPtr < Initialized < T > , I :: Aliasing , R > ,
759+ // NOTE: This bound ought to be implied, but leaving it out causes
760+ // Rust to infinite loop during trait solving.
761+ <Valid < T > as Validity >:: Inner :
762+ crate :: pointer:: transmute:: CastFrom < <Initialized < T > as Validity >:: Inner > ,
690763 I :: Aliasing : Reference ,
691764 {
692765 // This call may panic. If that happens, it doesn't cause any soundness
@@ -701,6 +774,64 @@ mod _transitions {
701774 }
702775 }
703776 }
777+
778+ impl < ' a , V , I > Ptr < ' a , V , I >
779+ where
780+ V : Validity ,
781+ I : Invariants ,
782+ {
783+ /// Attempts to transmute a `Ptr<T>` into a `Ptr<U>`.
784+ ///
785+ /// # Panics
786+ ///
787+ /// This method will panic if
788+ /// [`U::is_bit_valid`][TryFromBytes::is_bit_valid] panics.
789+ ///
790+ /// # Safety
791+ ///
792+ /// On error, unsafe code may rely on this method's returned
793+ /// `ValidityError` containing `self`.
794+ #[ inline]
795+ pub ( crate ) fn try_transmute < U , A , R , RR > (
796+ mut self ,
797+ ) -> Result < Ptr < ' a , U , I :: WithAlignment < A > > , TryCastError < Self , U :: Inner > >
798+ where
799+ U : Validity + TryTransmuteFromPtr < V , I :: Aliasing , R > ,
800+ U :: Inner : TryFromBytes + CastFrom < V :: Inner > ,
801+ Initialized < U :: Inner > : TransmuteFromPtr < V , I :: Aliasing , RR > ,
802+ // TODO: The `Sized` bound here is only required in order to call
803+ // `.bikeshed_try_into_aligned`. There are other ways of getting the
804+ // alignment of a type, and we could use these if we need to drop
805+ // this bound.
806+ <Initialized < U :: Inner > as Validity >:: Inner : Sized + CastFrom < V :: Inner > ,
807+ I :: Aliasing : Reference ,
808+ A : Alignment ,
809+ {
810+ // TODO: Validate alignment
811+ if true {
812+ todo ! ( )
813+ }
814+
815+ let is_bit_valid = {
816+ let ptr = self . reborrow ( ) ;
817+ let mut ptr = ptr. transmute :: < Initialized < U :: Inner > , Unknown , _ , _ > ( ) ;
818+ if let Err ( err) = ptr. reborrow ( ) . bikeshed_try_into_aligned ( ) {
819+ return Err ( todo ! ( ) ) ;
820+ }
821+ // This call may panic. If that happens, it doesn't cause any
822+ // soundness issues, as we have not generated any invalid state
823+ // which we need to fix before returning.
824+ <U :: Inner as TryFromBytes >:: is_bit_valid ( ptr)
825+ } ;
826+
827+ if is_bit_valid {
828+ let ptr = unsafe { self . transmute_unchecked ( ) } ;
829+ Ok ( ptr. unify_invariants ( ) )
830+ } else {
831+ Err ( ValidityError :: new ( self ) . into ( ) )
832+ }
833+ }
834+ }
704835}
705836
706837/// Casts of the referent type.
0 commit comments