@@ -172,7 +172,10 @@ mod _external {
172
172
/// Methods for converting to and from `Ptr` and Rust's safe reference types.
173
173
mod _conversions {
174
174
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
+ } ;
176
179
177
180
/// `&'a T` → `Ptr<'a, T>`
178
181
impl < ' a , T : ?Sized > Ptr < ' a , Valid < T > , ( Shared , Aligned ) > {
@@ -338,6 +341,54 @@ mod _conversions {
338
341
}
339
342
}
340
343
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
+
341
392
/// `Ptr<'a, T = Wrapper<U>>` → `Ptr<'a, U>`
342
393
impl < ' a , V , I > Ptr < ' a , V , I >
343
394
where
@@ -427,7 +478,11 @@ mod _conversions {
427
478
/// State transitions between invariants.
428
479
mod _transitions {
429
480
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
+ } ;
431
486
432
487
impl < ' a , V , I > Ptr < ' a , V , I >
433
488
where
@@ -648,6 +703,22 @@ mod _transitions {
648
703
}
649
704
}
650
705
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
+
651
722
impl < ' a , T , I > Ptr < ' a , Initialized < T > , I >
652
723
where
653
724
T : ?Sized ,
@@ -659,14 +730,11 @@ mod _transitions {
659
730
#[ inline]
660
731
// TODO(#859): Reconsider the name of this method before making it
661
732
// 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 >
663
734
where
664
- T : crate :: FromBytes ,
735
+ T : crate :: FromBytes + crate :: IntoBytes ,
665
736
{
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 ( )
670
738
}
671
739
672
740
/// Checks that `self`'s referent is validly initialized for `T`,
@@ -686,7 +754,12 @@ mod _transitions {
686
754
mut self ,
687
755
) -> Result < Ptr < ' a , Valid < T > , I > , ValidityError < Self , T > >
688
756
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 > ,
690
763
I :: Aliasing : Reference ,
691
764
{
692
765
// This call may panic. If that happens, it doesn't cause any soundness
@@ -701,6 +774,64 @@ mod _transitions {
701
774
}
702
775
}
703
776
}
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
+ }
704
835
}
705
836
706
837
/// Casts of the referent type.
0 commit comments