/rust/registry/src/index.crates.io-1949cf8c6b5b557f/zerocopy-0.8.56/src/wrappers.rs
Line | Count | Source |
1 | | // SPDX-License-Identifier: BSD-2-Clause OR Apache-2.0 OR MIT |
2 | | // |
3 | | // Copyright 2023 The Fuchsia Authors |
4 | | // |
5 | | // Licensed under a BSD-style license <LICENSE-BSD>, Apache License, Version 2.0 |
6 | | // <LICENSE-APACHE or https://www.apache.org/licenses/LICENSE-2.0>, or the MIT |
7 | | // license <LICENSE-MIT or https://opensource.org/licenses/MIT>, at your option. |
8 | | // This file may not be copied, modified, or distributed except according to |
9 | | // those terms. |
10 | | |
11 | | use core::{fmt, hash::Hash}; |
12 | | |
13 | | use super::*; |
14 | | use crate::pointer::{invariant::Valid, SizeEq, TransmuteFrom}; |
15 | | |
16 | | /// A type with no alignment requirement. |
17 | | /// |
18 | | /// An `Unalign` wraps a `T`, removing any alignment requirement. `Unalign<T>` |
19 | | /// has the same size and bit validity as `T`, but not necessarily the same |
20 | | /// alignment [or ABI]. This is useful if a type with an alignment requirement |
21 | | /// needs to be read from a chunk of memory which provides no alignment |
22 | | /// guarantees. |
23 | | /// |
24 | | /// Since `Unalign` has no alignment requirement, the inner `T` may not be |
25 | | /// properly aligned in memory. There are five ways to access the inner `T`: |
26 | | /// - by value, using [`get`] or [`into_inner`] |
27 | | /// - by reference inside of a callback, using [`update`] |
28 | | /// - fallibly by reference, using [`try_deref`] or [`try_deref_mut`]; these can |
29 | | /// fail if the `Unalign` does not satisfy `T`'s alignment requirement at |
30 | | /// runtime |
31 | | /// - unsafely by reference, using [`deref_unchecked`] or |
32 | | /// [`deref_mut_unchecked`]; it is the caller's responsibility to ensure that |
33 | | /// the `Unalign` satisfies `T`'s alignment requirement |
34 | | /// - (where `T: Unaligned`) infallibly by reference, using [`Deref::deref`] or |
35 | | /// [`DerefMut::deref_mut`] |
36 | | /// |
37 | | /// [or ABI]: https://github.com/google/zerocopy/issues/164 |
38 | | /// [`get`]: Unalign::get |
39 | | /// [`into_inner`]: Unalign::into_inner |
40 | | /// [`update`]: Unalign::update |
41 | | /// [`try_deref`]: Unalign::try_deref |
42 | | /// [`try_deref_mut`]: Unalign::try_deref_mut |
43 | | /// [`deref_unchecked`]: Unalign::deref_unchecked |
44 | | /// [`deref_mut_unchecked`]: Unalign::deref_mut_unchecked |
45 | | /// |
46 | | /// # Example |
47 | | /// |
48 | | /// In this example, we need `EthernetFrame` to have no alignment requirement - |
49 | | /// and thus implement [`Unaligned`]. `EtherType` is `#[repr(u16)]` and so |
50 | | /// cannot implement `Unaligned`. We use `Unalign` to relax `EtherType`'s |
51 | | /// alignment requirement so that `EthernetFrame` has no alignment requirement |
52 | | /// and can implement `Unaligned`. |
53 | | /// |
54 | | /// ```rust |
55 | | /// use zerocopy::*; |
56 | | /// # use zerocopy_derive::*; |
57 | | /// # #[derive(FromBytes, KnownLayout, Immutable, Unaligned)] #[repr(C)] struct Mac([u8; 6]); |
58 | | /// |
59 | | /// # #[derive(PartialEq, Copy, Clone, Debug)] |
60 | | /// #[derive(TryFromBytes, KnownLayout, Immutable)] |
61 | | /// #[repr(u16)] |
62 | | /// enum EtherType { |
63 | | /// Ipv4 = 0x0800u16.to_be(), |
64 | | /// Arp = 0x0806u16.to_be(), |
65 | | /// Ipv6 = 0x86DDu16.to_be(), |
66 | | /// # /* |
67 | | /// ... |
68 | | /// # */ |
69 | | /// } |
70 | | /// |
71 | | /// #[derive(TryFromBytes, KnownLayout, Immutable, Unaligned)] |
72 | | /// #[repr(C)] |
73 | | /// struct EthernetFrame { |
74 | | /// src: Mac, |
75 | | /// dst: Mac, |
76 | | /// ethertype: Unalign<EtherType>, |
77 | | /// payload: [u8], |
78 | | /// } |
79 | | /// |
80 | | /// let bytes = &[ |
81 | | /// # 0, 1, 2, 3, 4, 5, |
82 | | /// # 6, 7, 8, 9, 10, 11, |
83 | | /// # /* |
84 | | /// ... |
85 | | /// # */ |
86 | | /// 0x86, 0xDD, // EtherType |
87 | | /// 0xDE, 0xAD, 0xBE, 0xEF // Payload |
88 | | /// ][..]; |
89 | | /// |
90 | | /// // PANICS: Guaranteed not to panic because `bytes` is of the right |
91 | | /// // length, has the right contents, and `EthernetFrame` has no |
92 | | /// // alignment requirement. |
93 | | /// let packet = EthernetFrame::try_ref_from_bytes(&bytes).unwrap(); |
94 | | /// |
95 | | /// assert_eq!(packet.ethertype.get(), EtherType::Ipv6); |
96 | | /// assert_eq!(packet.payload, [0xDE, 0xAD, 0xBE, 0xEF]); |
97 | | /// ``` |
98 | | /// |
99 | | /// # Safety |
100 | | /// |
101 | | /// `Unalign<T>` is guaranteed to have the same size and bit validity as `T`, |
102 | | /// and to have [`UnsafeCell`]s covering the same byte ranges as `T`. |
103 | | /// `Unalign<T>` is guaranteed to have alignment 1. |
104 | | // NOTE: This type is sound to use with types that need to be dropped. The |
105 | | // reason is that the compiler-generated drop code automatically moves all |
106 | | // values to aligned memory slots before dropping them in-place. This is not |
107 | | // well-documented, but it's hinted at in places like [1] and [2]. However, this |
108 | | // also means that `T` must be `Sized`; unless something changes, we can never |
109 | | // support unsized `T`. [3] |
110 | | // |
111 | | // [1] https://github.com/rust-lang/rust/issues/54148#issuecomment-420529646 |
112 | | // [2] https://github.com/google/zerocopy/pull/126#discussion_r1018512323 |
113 | | // [3] https://github.com/google/zerocopy/issues/209 |
114 | | #[allow(missing_debug_implementations)] |
115 | | #[derive(Default, Copy)] |
116 | | #[cfg_attr(any(feature = "derive", test), derive(Immutable, FromBytes, IntoBytes, Unaligned))] |
117 | | #[repr(C, packed)] |
118 | | pub struct Unalign<T>(T); |
119 | | |
120 | | // We do not use `derive(KnownLayout)` on `Unalign`, because the derive is not |
121 | | // smart enough to realize that `Unalign<T>` is always sized and thus emits a |
122 | | // `KnownLayout` impl bounded on `T: KnownLayout.` This is overly restrictive. |
123 | | impl_known_layout!(T => Unalign<T>); |
124 | | |
125 | | // FIXME(https://github.com/rust-lang/rust-clippy/issues/16087): Move these |
126 | | // attributes below the comment once this Clippy bug is fixed. |
127 | | #[cfg_attr( |
128 | | all(__ZEROCOPY_INTERNAL_USE_ONLY_NIGHTLY_FEATURES_IN_TESTS, any(feature = "derive", test)), |
129 | | expect(unused_unsafe) |
130 | | )] |
131 | | #[cfg_attr( |
132 | | all( |
133 | | not(__ZEROCOPY_INTERNAL_USE_ONLY_NIGHTLY_FEATURES_IN_TESTS), |
134 | | any(feature = "derive", test) |
135 | | ), |
136 | | allow(unused_unsafe) |
137 | | )] |
138 | | // SAFETY: |
139 | | // - `Unalign<T>` promises to have alignment 1, and so we don't require that `T: |
140 | | // Unaligned`. |
141 | | // - `Unalign<T>` has the same bit validity as `T`, and so it is `FromZeros`, |
142 | | // `FromBytes`, or `IntoBytes` exactly when `T` is as well. |
143 | | // - `Immutable`: `Unalign<T>` has the same fields as `T`, so it permits |
144 | | // interior mutation exactly when `T` does. |
145 | | // - `TryFromBytes`: `Unalign<T>` has the same the same bit validity as `T`, so |
146 | | // `T::is_bit_valid` is a sound implementation of `is_bit_valid`. |
147 | | // |
148 | | #[allow(clippy::multiple_unsafe_ops_per_block)] |
149 | | const _: () = unsafe { |
150 | | impl_or_verify!(T => Unaligned for Unalign<T>); |
151 | | impl_or_verify!(T: Immutable => Immutable for Unalign<T>); |
152 | | impl_or_verify!( |
153 | | T: TryFromBytes => TryFromBytes for Unalign<T>; |
154 | | |c| T::is_bit_valid(c.transmute::<_, _, BecauseImmutable>()) |
155 | | ); |
156 | | impl_or_verify!(T: FromZeros => FromZeros for Unalign<T>); |
157 | | impl_or_verify!(T: FromBytes => FromBytes for Unalign<T>); |
158 | | impl_or_verify!(T: IntoBytes => IntoBytes for Unalign<T>); |
159 | | }; |
160 | | |
161 | | // Note that `Unalign: Clone` only if `T: Copy`. Since the inner `T` may not be |
162 | | // aligned, there's no way to safely call `T::clone`, and so a `T: Clone` bound |
163 | | // is not sufficient to implement `Clone` for `Unalign`. |
164 | | impl<T: Copy> Clone for Unalign<T> { |
165 | | #[inline(always)] |
166 | | fn clone(&self) -> Unalign<T> { |
167 | | *self |
168 | | } |
169 | | } |
170 | | |
171 | | impl<T> Unalign<T> { |
172 | | /// Constructs a new `Unalign`. |
173 | | #[inline(always)] |
174 | | pub const fn new(val: T) -> Unalign<T> { |
175 | | Unalign(val) |
176 | | } |
177 | | |
178 | | /// Consumes `self`, returning the inner `T`. |
179 | | #[inline(always)] |
180 | 22.8k | pub const fn into_inner(self) -> T { |
181 | | // SAFETY: Since `Unalign` is `#[repr(C, packed)]`, it has the same size |
182 | | // and bit validity as `T`. |
183 | | // |
184 | | // We do this instead of just destructuring in order to prevent |
185 | | // `Unalign`'s `Drop::drop` from being run, since dropping is not |
186 | | // supported in `const fn`s. |
187 | | // |
188 | | // FIXME(https://github.com/rust-lang/rust/issues/73255): Destructure |
189 | | // instead of using unsafe. |
190 | 22.8k | unsafe { crate::util::transmute_unchecked(self) } |
191 | 22.8k | } <zerocopy::wrappers::Unalign<anise::naif::daf::file_record::FileRecord>>::into_inner Line | Count | Source | 180 | 9.80k | pub const fn into_inner(self) -> T { | 181 | | // SAFETY: Since `Unalign` is `#[repr(C, packed)]`, it has the same size | 182 | | // and bit validity as `T`. | 183 | | // | 184 | | // We do this instead of just destructuring in order to prevent | 185 | | // `Unalign`'s `Drop::drop` from being run, since dropping is not | 186 | | // supported in `const fn`s. | 187 | | // | 188 | | // FIXME(https://github.com/rust-lang/rust/issues/73255): Destructure | 189 | | // instead of using unsafe. | 190 | 9.80k | unsafe { crate::util::transmute_unchecked(self) } | 191 | 9.80k | } |
<zerocopy::wrappers::Unalign<anise::naif::daf::name_record::NameRecord>>::into_inner Line | Count | Source | 180 | 6.18k | pub const fn into_inner(self) -> T { | 181 | | // SAFETY: Since `Unalign` is `#[repr(C, packed)]`, it has the same size | 182 | | // and bit validity as `T`. | 183 | | // | 184 | | // We do this instead of just destructuring in order to prevent | 185 | | // `Unalign`'s `Drop::drop` from being run, since dropping is not | 186 | | // supported in `const fn`s. | 187 | | // | 188 | | // FIXME(https://github.com/rust-lang/rust/issues/73255): Destructure | 189 | | // instead of using unsafe. | 190 | 6.18k | unsafe { crate::util::transmute_unchecked(self) } | 191 | 6.18k | } |
<zerocopy::wrappers::Unalign<anise::naif::daf::summary_record::SummaryRecord>>::into_inner Line | Count | Source | 180 | 6.83k | pub const fn into_inner(self) -> T { | 181 | | // SAFETY: Since `Unalign` is `#[repr(C, packed)]`, it has the same size | 182 | | // and bit validity as `T`. | 183 | | // | 184 | | // We do this instead of just destructuring in order to prevent | 185 | | // `Unalign`'s `Drop::drop` from being run, since dropping is not | 186 | | // supported in `const fn`s. | 187 | | // | 188 | | // FIXME(https://github.com/rust-lang/rust/issues/73255): Destructure | 189 | | // instead of using unsafe. | 190 | 6.83k | unsafe { crate::util::transmute_unchecked(self) } | 191 | 6.83k | } |
|
192 | | |
193 | | /// Attempts to return a reference to the wrapped `T`, failing if `self` is |
194 | | /// not properly aligned. |
195 | | /// |
196 | | /// If `self` does not satisfy `align_of::<T>()`, then `try_deref` returns |
197 | | /// `Err`. |
198 | | /// |
199 | | /// If `T: Unaligned`, then `Unalign<T>` implements [`Deref`], and callers |
200 | | /// may prefer [`Deref::deref`], which is infallible. |
201 | | #[inline(always)] |
202 | | pub fn try_deref(&self) -> Result<&T, AlignmentError<&Self, T>> { |
203 | | let inner = Ptr::from_ref(self).transmute(); |
204 | | match inner.try_into_aligned() { |
205 | | Ok(aligned) => Ok(aligned.as_ref()), |
206 | | Err(err) => Err(err.map_src( |
207 | | #[inline(always)] |
208 | | |src| src.into_unalign().as_ref(), |
209 | | )), |
210 | | } |
211 | | } |
212 | | |
213 | | /// Attempts to return a mutable reference to the wrapped `T`, failing if |
214 | | /// `self` is not properly aligned. |
215 | | /// |
216 | | /// If `self` does not satisfy `align_of::<T>()`, then `try_deref` returns |
217 | | /// `Err`. |
218 | | /// |
219 | | /// If `T: Unaligned`, then `Unalign<T>` implements [`DerefMut`], and |
220 | | /// callers may prefer [`DerefMut::deref_mut`], which is infallible. |
221 | | #[inline(always)] |
222 | | pub fn try_deref_mut(&mut self) -> Result<&mut T, AlignmentError<&mut Self, T>> { |
223 | | let inner = Ptr::from_mut(self).transmute::<_, _, (_, (_, _))>(); |
224 | | match inner.try_into_aligned() { |
225 | | Ok(aligned) => Ok(aligned.as_mut()), |
226 | | Err(err) => Err(err.map_src(|src| src.into_unalign().as_mut())), |
227 | | } |
228 | | } |
229 | | |
230 | | /// Returns a reference to the wrapped `T` without checking alignment. |
231 | | /// |
232 | | /// If `T: Unaligned`, then `Unalign<T>` implements[ `Deref`], and callers |
233 | | /// may prefer [`Deref::deref`], which is safe. |
234 | | /// |
235 | | /// # Safety |
236 | | /// |
237 | | /// The caller must guarantee that `self` satisfies `align_of::<T>()`. |
238 | | #[inline(always)] |
239 | | pub const unsafe fn deref_unchecked(&self) -> &T { |
240 | | // SAFETY: `Unalign<T>` is `repr(transparent)`, so there is a valid `T` |
241 | | // at the same memory location as `self`. It has no alignment guarantee, |
242 | | // but the caller has promised that `self` is properly aligned, so we |
243 | | // know that it is sound to create a reference to `T` at this memory |
244 | | // location. |
245 | | // |
246 | | // We use `mem::transmute` instead of `&*self.get_ptr()` because |
247 | | // dereferencing pointers is not stable in `const` on our current MSRV |
248 | | // (1.56 as of this writing). |
249 | | unsafe { mem::transmute(self) } |
250 | | } |
251 | | |
252 | | /// Returns a mutable reference to the wrapped `T` without checking |
253 | | /// alignment. |
254 | | /// |
255 | | /// If `T: Unaligned`, then `Unalign<T>` implements[ `DerefMut`], and |
256 | | /// callers may prefer [`DerefMut::deref_mut`], which is safe. |
257 | | /// |
258 | | /// # Safety |
259 | | /// |
260 | | /// The caller must guarantee that `self` satisfies `align_of::<T>()`. |
261 | | #[inline(always)] |
262 | | pub unsafe fn deref_mut_unchecked(&mut self) -> &mut T { |
263 | | // SAFETY: `self.get_mut_ptr()` returns a raw pointer to a valid `T` at |
264 | | // the same memory location as `self`. It has no alignment guarantee, |
265 | | // but the caller has promised that `self` is properly aligned, so we |
266 | | // know that the pointer itself is aligned, and thus that it is sound to |
267 | | // create a reference to a `T` at this memory location. |
268 | | unsafe { &mut *self.get_mut_ptr() } |
269 | | } |
270 | | |
271 | | /// Gets an unaligned raw pointer to the inner `T`. |
272 | | /// |
273 | | /// # Safety |
274 | | /// |
275 | | /// The returned raw pointer is not necessarily aligned to |
276 | | /// `align_of::<T>()`. Most functions which operate on raw pointers require |
277 | | /// those pointers to be aligned, so calling those functions with the result |
278 | | /// of `get_ptr` will result in undefined behavior if alignment is not |
279 | | /// guaranteed using some out-of-band mechanism. In general, the only |
280 | | /// functions which are safe to call with this pointer are those which are |
281 | | /// explicitly documented as being sound to use with an unaligned pointer, |
282 | | /// such as [`read_unaligned`]. |
283 | | /// |
284 | | /// Even if the caller is permitted to mutate `self` (e.g. they have |
285 | | /// ownership or a mutable borrow), it is not guaranteed to be sound to |
286 | | /// write through the returned pointer. If writing is required, prefer |
287 | | /// [`get_mut_ptr`] instead. |
288 | | /// |
289 | | /// [`read_unaligned`]: core::ptr::read_unaligned |
290 | | /// [`get_mut_ptr`]: Unalign::get_mut_ptr |
291 | | #[inline(always)] |
292 | | pub const fn get_ptr(&self) -> *const T { |
293 | | ptr::addr_of!(self.0) |
294 | | } |
295 | | |
296 | | /// Gets an unaligned mutable raw pointer to the inner `T`. |
297 | | /// |
298 | | /// # Safety |
299 | | /// |
300 | | /// The returned raw pointer is not necessarily aligned to |
301 | | /// `align_of::<T>()`. Most functions which operate on raw pointers require |
302 | | /// those pointers to be aligned, so calling those functions with the result |
303 | | /// of `get_ptr` will result in undefined behavior if alignment is not |
304 | | /// guaranteed using some out-of-band mechanism. In general, the only |
305 | | /// functions which are safe to call with this pointer are those which are |
306 | | /// explicitly documented as being sound to use with an unaligned pointer, |
307 | | /// such as [`read_unaligned`]. |
308 | | /// |
309 | | /// [`read_unaligned`]: core::ptr::read_unaligned |
310 | | // FIXME(https://github.com/rust-lang/rust/issues/57349): Make this `const`. |
311 | | #[inline(always)] |
312 | | pub fn get_mut_ptr(&mut self) -> *mut T { |
313 | | ptr::addr_of_mut!(self.0) |
314 | | } |
315 | | |
316 | | /// Sets the inner `T`, dropping the previous value. |
317 | | // FIXME(https://github.com/rust-lang/rust/issues/57349): Make this `const`. |
318 | | #[inline(always)] |
319 | | pub fn set(&mut self, t: T) { |
320 | | *self = Unalign::new(t); |
321 | | } |
322 | | |
323 | | /// Updates the inner `T` by calling a function on it. |
324 | | /// |
325 | | /// If [`T: Unaligned`], then `Unalign<T>` implements [`DerefMut`], and that |
326 | | /// impl should be preferred over this method when performing updates, as it |
327 | | /// will usually be faster and more ergonomic. |
328 | | /// |
329 | | /// For large types, this method may be expensive, as it requires copying |
330 | | /// `2 * size_of::<T>()` bytes. \[1\] |
331 | | /// |
332 | | /// \[1\] Since the inner `T` may not be aligned, it would not be sound to |
333 | | /// invoke `f` on it directly. Instead, `update` moves it into a |
334 | | /// properly-aligned location in the local stack frame, calls `f` on it, and |
335 | | /// then moves it back to its original location in `self`. |
336 | | /// |
337 | | /// [`T: Unaligned`]: Unaligned |
338 | | #[inline] |
339 | | pub fn update<O, F: FnOnce(&mut T) -> O>(&mut self, f: F) -> O { |
340 | | if mem::align_of::<T>() == 1 { |
341 | | // While we advise callers to use `DerefMut` when `T: Unaligned`, |
342 | | // not all callers will be able to guarantee `T: Unaligned` in all |
343 | | // cases. In particular, callers who are themselves providing an API |
344 | | // which is generic over `T` may sometimes be called by *their* |
345 | | // callers with `T` such that `align_of::<T>() == 1`, but cannot |
346 | | // guarantee this in the general case. Thus, this optimization may |
347 | | // sometimes be helpful. |
348 | | |
349 | | // SAFETY: Since `T`'s alignment is 1, `self` satisfies its |
350 | | // alignment by definition. |
351 | | let t = unsafe { self.deref_mut_unchecked() }; |
352 | | return f(t); |
353 | | } |
354 | | |
355 | | // On drop, this moves `copy` out of itself and uses `ptr::write` to |
356 | | // overwrite `slf`. |
357 | | struct WriteBackOnDrop<T> { |
358 | | copy: ManuallyDrop<T>, |
359 | | slf: *mut Unalign<T>, |
360 | | } |
361 | | |
362 | | impl<T> Drop for WriteBackOnDrop<T> { |
363 | | fn drop(&mut self) { |
364 | | // SAFETY: We never use `copy` again as required by |
365 | | // `ManuallyDrop::take`. |
366 | | let copy = unsafe { ManuallyDrop::take(&mut self.copy) }; |
367 | | // SAFETY: `slf` is the raw pointer value of `self`. We know it |
368 | | // is valid for writes and properly aligned because `self` is a |
369 | | // mutable reference, which guarantees both of these properties. |
370 | | unsafe { ptr::write(self.slf, Unalign::new(copy)) }; |
371 | | } |
372 | | } |
373 | | |
374 | | // SAFETY: We know that `self` is valid for reads, properly aligned, and |
375 | | // points to an initialized `Unalign<T>` because it is a mutable |
376 | | // reference, which guarantees all of these properties. |
377 | | // |
378 | | // Since `T: !Copy`, it would be unsound in the general case to allow |
379 | | // both the original `Unalign<T>` and the copy to be used by safe code. |
380 | | // We guarantee that the copy is used to overwrite the original in the |
381 | | // `Drop::drop` impl of `WriteBackOnDrop`. So long as this `drop` is |
382 | | // called before any other safe code executes, soundness is upheld. |
383 | | // While this method can terminate in two ways (by returning normally or |
384 | | // by unwinding due to a panic in `f`), in both cases, `write_back` is |
385 | | // dropped - and its `drop` called - before any other safe code can |
386 | | // execute. |
387 | | let copy = unsafe { ptr::read(self) }.into_inner(); |
388 | | let mut write_back = WriteBackOnDrop { copy: ManuallyDrop::new(copy), slf: self }; |
389 | | |
390 | | let ret = f(&mut write_back.copy); |
391 | | |
392 | | drop(write_back); |
393 | | ret |
394 | | } |
395 | | } |
396 | | |
397 | | impl<T: Copy> Unalign<T> { |
398 | | /// Gets a copy of the inner `T`. |
399 | | // FIXME(https://github.com/rust-lang/rust/issues/57349): Make this `const`. |
400 | | #[inline(always)] |
401 | | pub fn get(&self) -> T { |
402 | | let Unalign(val) = *self; |
403 | | val |
404 | | } |
405 | | } |
406 | | |
407 | | impl<T: Unaligned> Deref for Unalign<T> { |
408 | | type Target = T; |
409 | | |
410 | | #[inline(always)] |
411 | | fn deref(&self) -> &T { |
412 | | Ptr::from_ref(self).transmute().bikeshed_recall_aligned().as_ref() |
413 | | } |
414 | | } |
415 | | |
416 | | impl<T: Unaligned> DerefMut for Unalign<T> { |
417 | | #[inline(always)] |
418 | | fn deref_mut(&mut self) -> &mut T { |
419 | | Ptr::from_mut(self).transmute::<_, _, (_, (_, _))>().bikeshed_recall_aligned().as_mut() |
420 | | } |
421 | | } |
422 | | |
423 | | impl<T: Unaligned + PartialOrd> PartialOrd<Unalign<T>> for Unalign<T> { |
424 | | #[inline(always)] |
425 | | fn partial_cmp(&self, other: &Unalign<T>) -> Option<Ordering> { |
426 | | PartialOrd::partial_cmp(self.deref(), other.deref()) |
427 | | } |
428 | | } |
429 | | |
430 | | impl<T: Unaligned + Ord> Ord for Unalign<T> { |
431 | | #[inline(always)] |
432 | | fn cmp(&self, other: &Unalign<T>) -> Ordering { |
433 | | Ord::cmp(self.deref(), other.deref()) |
434 | | } |
435 | | } |
436 | | |
437 | | impl<T: Unaligned + PartialEq> PartialEq<Unalign<T>> for Unalign<T> { |
438 | | #[inline(always)] |
439 | | fn eq(&self, other: &Unalign<T>) -> bool { |
440 | | PartialEq::eq(self.deref(), other.deref()) |
441 | | } |
442 | | } |
443 | | |
444 | | impl<T: Unaligned + Eq> Eq for Unalign<T> {} |
445 | | |
446 | | impl<T: Unaligned + Hash> Hash for Unalign<T> { |
447 | | #[inline(always)] |
448 | | fn hash<H>(&self, state: &mut H) |
449 | | where |
450 | | H: Hasher, |
451 | | { |
452 | | self.deref().hash(state); |
453 | | } |
454 | | } |
455 | | |
456 | | impl<T: Unaligned + Debug> Debug for Unalign<T> { |
457 | | #[inline(always)] |
458 | | fn fmt(&self, f: &mut Formatter<'_>) -> fmt::Result { |
459 | | Debug::fmt(self.deref(), f) |
460 | | } |
461 | | } |
462 | | |
463 | | impl<T: Unaligned + Display> Display for Unalign<T> { |
464 | | #[inline(always)] |
465 | | fn fmt(&self, f: &mut Formatter<'_>) -> fmt::Result { |
466 | | Display::fmt(self.deref(), f) |
467 | | } |
468 | | } |
469 | | |
470 | | /// A wrapper type to construct uninitialized instances of `T`. |
471 | | /// |
472 | | /// `MaybeUninit` is identical to the [standard library |
473 | | /// `MaybeUninit`][core-maybe-uninit] type except that it supports unsized |
474 | | /// types. |
475 | | /// |
476 | | /// # Layout |
477 | | /// |
478 | | /// The same layout guarantees and caveats apply to `MaybeUninit<T>` as apply to |
479 | | /// the [standard library `MaybeUninit`][core-maybe-uninit] with one exception: |
480 | | /// for `T: !Sized`, there is no single value for `T`'s size. Instead, for such |
481 | | /// types, the following are guaranteed: |
482 | | /// - Every [valid size][valid-size] for `T` is a valid size for |
483 | | /// `MaybeUninit<T>` and vice versa |
484 | | /// - Given `t: *const T` and `m: *const MaybeUninit<T>` with identical fat |
485 | | /// pointer metadata, `t` and `m` address the same number of bytes (and |
486 | | /// likewise for `*mut`) |
487 | | /// |
488 | | /// [core-maybe-uninit]: core::mem::MaybeUninit |
489 | | /// [valid-size]: crate::KnownLayout#what-is-a-valid-size |
490 | | #[repr(transparent)] |
491 | | #[doc(hidden)] |
492 | | pub struct MaybeUninit<T: ?Sized + KnownLayout>( |
493 | | // SAFETY: `MaybeUninit<T>` has the same size as `T`, because (by invariant |
494 | | // on `T::MaybeUninit`) `T::MaybeUninit` has `T::LAYOUT` identical to `T`, |
495 | | // and because (invariant on `T::LAYOUT`) we can trust that `LAYOUT` |
496 | | // accurately reflects the layout of `T`. By invariant on `T::MaybeUninit`, |
497 | | // it admits uninitialized bytes in all positions. Because `MaybeUninit` is |
498 | | // marked `repr(transparent)`, these properties additionally hold true for |
499 | | // `Self`. |
500 | | T::MaybeUninit, |
501 | | ); |
502 | | |
503 | | #[doc(hidden)] |
504 | | impl<T: ?Sized + KnownLayout> MaybeUninit<T> { |
505 | | /// Constructs a `MaybeUninit<T>` initialized with the given value. |
506 | | #[inline(always)] |
507 | | pub fn new(val: T) -> Self |
508 | | where |
509 | | T: Sized, |
510 | | Self: Sized, |
511 | | { |
512 | | // SAFETY: It is valid to transmute `val` to `MaybeUninit<T>` because it |
513 | | // is both valid to transmute `val` to `T::MaybeUninit`, and it is valid |
514 | | // to transmute from `T::MaybeUninit` to `MaybeUninit<T>`. |
515 | | // |
516 | | // First, it is valid to transmute `val` to `T::MaybeUninit` because, by |
517 | | // invariant on `T::MaybeUninit`: |
518 | | // - For `T: Sized`, `T` and `T::MaybeUninit` have the same size. |
519 | | // - All byte sequences of the correct size are valid values of |
520 | | // `T::MaybeUninit`. |
521 | | // |
522 | | // Second, it is additionally valid to transmute from `T::MaybeUninit` |
523 | | // to `MaybeUninit<T>`, because `MaybeUninit<T>` is a |
524 | | // `repr(transparent)` wrapper around `T::MaybeUninit`. |
525 | | // |
526 | | // These two transmutes are collapsed into one so we don't need to add a |
527 | | // `T::MaybeUninit: Sized` bound to this function's `where` clause. |
528 | | unsafe { crate::util::transmute_unchecked(val) } |
529 | | } |
530 | | |
531 | | /// Constructs an uninitialized `MaybeUninit<T>`. |
532 | | #[must_use] |
533 | | #[inline(always)] |
534 | | pub fn uninit() -> Self |
535 | | where |
536 | | T: Sized, |
537 | | Self: Sized, |
538 | | { |
539 | | let uninit = CoreMaybeUninit::<T>::uninit(); |
540 | | // SAFETY: It is valid to transmute from `CoreMaybeUninit<T>` to |
541 | | // `MaybeUninit<T>` since they both admit uninitialized bytes in all |
542 | | // positions, and they have the same size (i.e., that of `T`). |
543 | | // |
544 | | // `MaybeUninit<T>` has the same size as `T`, because (by invariant on |
545 | | // `T::MaybeUninit`) `T::MaybeUninit` has `T::LAYOUT` identical to `T`, |
546 | | // and because (invariant on `T::LAYOUT`) we can trust that `LAYOUT` |
547 | | // accurately reflects the layout of `T`. |
548 | | // |
549 | | // `CoreMaybeUninit<T>` has the same size as `T` [1] and admits |
550 | | // uninitialized bytes in all positions. |
551 | | // |
552 | | // [1] Per https://doc.rust-lang.org/1.81.0/std/mem/union.MaybeUninit.html#layout-1: |
553 | | // |
554 | | // `MaybeUninit<T>` is guaranteed to have the same size, alignment, |
555 | | // and ABI as `T` |
556 | | unsafe { crate::util::transmute_unchecked(uninit) } |
557 | | } |
558 | | |
559 | | /// Creates a `Box<MaybeUninit<T>>`. |
560 | | /// |
561 | | /// This function is useful for allocating large, uninit values on the heap |
562 | | /// without ever creating a temporary instance of `Self` on the stack. |
563 | | /// |
564 | | /// # Errors |
565 | | /// |
566 | | /// Returns an error on allocation failure. Allocation failure is guaranteed |
567 | | /// never to cause a panic or an abort. |
568 | | #[cfg(feature = "alloc")] |
569 | | #[inline] |
570 | | pub fn new_boxed_uninit(meta: T::PointerMetadata) -> Result<Box<Self>, AllocError> { |
571 | | // SAFETY: `alloc::alloc::alloc_zeroed` is a valid argument of |
572 | | // `new_box`. The referent of the pointer returned by `alloc` (and, |
573 | | // consequently, the `Box` derived from it) is a valid instance of |
574 | | // `Self`, because `Self` is `MaybeUninit` and thus admits arbitrary |
575 | | // (un)initialized bytes. |
576 | | unsafe { crate::util::new_box(meta, alloc::alloc::alloc) } |
577 | | } |
578 | | |
579 | | /// Extracts the value from the `MaybeUninit<T>` container. |
580 | | /// |
581 | | /// # Safety |
582 | | /// |
583 | | /// The caller must ensure that `self` is in an bit-valid state. Depending |
584 | | /// on subsequent use, it may also need to be in a library-valid state. |
585 | | #[inline(always)] |
586 | | pub unsafe fn assume_init(self) -> T |
587 | | where |
588 | | T: Sized, |
589 | | Self: Sized, |
590 | | { |
591 | | // SAFETY: The caller guarantees that `self` is in an bit-valid state. |
592 | | unsafe { crate::util::transmute_unchecked(self) } |
593 | | } |
594 | | } |
595 | | |
596 | | impl<T: ?Sized + KnownLayout> fmt::Debug for MaybeUninit<T> { |
597 | | #[inline] |
598 | | fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result { |
599 | | f.pad(core::any::type_name::<Self>()) |
600 | | } |
601 | | } |
602 | | |
603 | | #[allow(unreachable_pub)] // False positive on MSRV |
604 | | #[doc(hidden)] |
605 | | pub use read_only_def::*; |
606 | | mod read_only_def { |
607 | | /// A read-only wrapper. |
608 | | /// |
609 | | /// A `ReadOnly<T>` disables any interior mutability in `T`, ensuring that |
610 | | /// a `&ReadOnly<T>` is genuinely read-only. Thus, `ReadOnly<T>` is |
611 | | /// [`Immutable`] regardless of whether `T` is. |
612 | | /// |
613 | | /// Note that `&mut ReadOnly<T>` still permits mutation – the read-only |
614 | | /// property only applies to shared references. |
615 | | /// |
616 | | /// [`Immutable`]: crate::Immutable |
617 | | #[repr(transparent)] |
618 | | pub struct ReadOnly<T: ?Sized> { |
619 | | // INVARIANT: `inner` is never mutated through a `&ReadOnly<T>` |
620 | | // reference. |
621 | | inner: T, |
622 | | } |
623 | | |
624 | | impl<T> ReadOnly<T> { |
625 | | /// Creates a new `ReadOnly`. |
626 | | #[must_use] |
627 | | #[inline(always)] |
628 | | pub const fn new(t: T) -> ReadOnly<T> { |
629 | | ReadOnly { inner: t } |
630 | | } |
631 | | |
632 | | /// Returns the inner value. |
633 | | #[must_use] |
634 | | #[inline(always)] |
635 | | pub fn into_inner(r: ReadOnly<T>) -> T { |
636 | | r.inner |
637 | | } |
638 | | } |
639 | | |
640 | | impl<T: ?Sized> ReadOnly<T> { |
641 | | #[inline(always)] |
642 | | pub(crate) fn as_mut(r: &mut ReadOnly<T>) -> &mut T { |
643 | | // SAFETY: `r: &mut ReadOnly`, so this doesn't violate the invariant |
644 | | // that `inner` is never mutated through a `&ReadOnly<T>` reference. |
645 | | &mut r.inner |
646 | | } |
647 | | |
648 | | /// # Safety |
649 | | /// |
650 | | /// The caller promises not to mutate the referent (i.e., via interior |
651 | | /// mutation). |
652 | | pub(crate) const unsafe fn as_ref_unchecked(r: &ReadOnly<T>) -> &T { |
653 | | // SAFETY: The caller promises not to mutate the referent. |
654 | | &r.inner |
655 | | } |
656 | | } |
657 | | } |
658 | | |
659 | | // SAFETY: `ReadOnly<T>` is a `#[repr(transparent)` wrapper around `T`. |
660 | | const _: () = unsafe { |
661 | | unsafe_impl_known_layout!(T: ?Sized + KnownLayout => #[repr(T)] ReadOnly<T>); |
662 | | }; |
663 | | |
664 | | #[allow(clippy::multiple_unsafe_ops_per_block)] |
665 | | // SAFETY: |
666 | | // - `ReadOnly<T>` has the same alignment as `T`, and so it is `Unaligned` |
667 | | // exactly when `T` is as well. |
668 | | // - `ReadOnly<T>` has the same bit validity as `T`, and so this `is_bit_valid` |
669 | | // implementation is correct, and thus the `TryFromBytes` impl is sound. |
670 | | // - `ReadOnly<T>` has the same bit validity as `T`, and so it is `FromZeros`, |
671 | | // `FromBytes`, and `IntoBytes` exactly when `T` is as well. |
672 | | const _: () = unsafe { |
673 | | unsafe_impl!(T: ?Sized + Unaligned => Unaligned for ReadOnly<T>); |
674 | | unsafe_impl!( |
675 | | T: ?Sized + TryFromBytes => TryFromBytes for ReadOnly<T>; |
676 | | |c| T::is_bit_valid(c.cast::<_, <ReadOnly<T> as SizeEq<ReadOnly<ReadOnly<T>>>>::CastFrom, _>()) |
677 | | ); |
678 | | unsafe_impl!(T: ?Sized + FromZeros => FromZeros for ReadOnly<T>); |
679 | | unsafe_impl!(T: ?Sized + FromBytes => FromBytes for ReadOnly<T>); |
680 | | unsafe_impl!(T: ?Sized + IntoBytes => IntoBytes for ReadOnly<T>); |
681 | | }; |
682 | | |
683 | | // SAFETY: By invariant, `inner` is never mutated through a `&ReadOnly<T>` |
684 | | // reference. |
685 | | const _: () = unsafe { |
686 | | unsafe_impl!(T: ?Sized => Immutable for ReadOnly<T>); |
687 | | }; |
688 | | |
689 | | const _: () = { |
690 | | use crate::pointer::cast::CastExact; |
691 | | |
692 | | // SAFETY: `ReadOnly<T>` has the same layout as `T`. |
693 | | define_cast!(unsafe { pub CastFromReadOnly<T: ?Sized> = ReadOnly<T> => T}); |
694 | | // SAFETY: `ReadOnly<T>` has the same layout as `T`. |
695 | | unsafe impl<T: ?Sized> CastExact<ReadOnly<T>, T> for CastFromReadOnly {} |
696 | | // SAFETY: `ReadOnly<T>` has the same layout as `T`. |
697 | | define_cast!(unsafe { pub CastToReadOnly<T: ?Sized> = T => ReadOnly<T>}); |
698 | | // SAFETY: `ReadOnly<T>` has the same layout as `T`. |
699 | | unsafe impl<T: ?Sized> CastExact<T, ReadOnly<T>> for CastToReadOnly {} |
700 | | |
701 | | impl<T: ?Sized> SizeEq<ReadOnly<T>> for T { |
702 | | type CastFrom = CastFromReadOnly; |
703 | | } |
704 | | |
705 | | impl<T: ?Sized> SizeEq<T> for ReadOnly<T> { |
706 | | type CastFrom = CastToReadOnly; |
707 | | } |
708 | | }; |
709 | | |
710 | | // SAFETY: `ReadOnly<T>` is a `#[repr(transparent)]` wrapper around `T`, and so |
711 | | // it has the same bit validity as `T`. |
712 | | unsafe impl<T: ?Sized> TransmuteFrom<T, Valid, Valid> for ReadOnly<T> {} |
713 | | |
714 | | // SAFETY: `ReadOnly<T>` is a `#[repr(transparent)]` wrapper around `T`, and so |
715 | | // it has the same bit validity as `T`. |
716 | | unsafe impl<T: ?Sized> TransmuteFrom<ReadOnly<T>, Valid, Valid> for T {} |
717 | | |
718 | | impl<'a, T: ?Sized + Immutable> From<&'a T> for &'a ReadOnly<T> { |
719 | | #[inline(always)] |
720 | | fn from(t: &'a T) -> &'a ReadOnly<T> { |
721 | | let ro = Ptr::from_ref(t).transmute::<_, _, (_, _)>(); |
722 | | // SAFETY: `ReadOnly<T>` has the same alignment as `T`, and |
723 | | // `Ptr::from_ref` produces an aligned `Ptr`. |
724 | | let ro = unsafe { ro.assume_alignment() }; |
725 | | ro.as_ref() |
726 | | } |
727 | | } |
728 | | |
729 | | impl<T: ?Sized + Immutable> Deref for ReadOnly<T> { |
730 | | type Target = T; |
731 | | |
732 | | #[inline(always)] |
733 | | fn deref(&self) -> &Self::Target { |
734 | | // SAFETY: By `T: Immutable`, `&T` doesn't permit interior mutation. |
735 | | unsafe { ReadOnly::as_ref_unchecked(self) } |
736 | | } |
737 | | } |
738 | | |
739 | | impl<T: ?Sized + Immutable> DerefMut for ReadOnly<T> { |
740 | | #[inline(always)] |
741 | | fn deref_mut(&mut self) -> &mut Self::Target { |
742 | | ReadOnly::as_mut(self) |
743 | | } |
744 | | } |
745 | | |
746 | | impl<T: ?Sized + Immutable + Debug> Debug for ReadOnly<T> { |
747 | | #[inline(always)] |
748 | | fn fmt(&self, f: &mut Formatter<'_>) -> fmt::Result { |
749 | | self.deref().fmt(f) |
750 | | } |
751 | | } |
752 | | |
753 | | // SAFETY: See safety comment on `ProjectToTag`. |
754 | | unsafe impl<T: HasTag + ?Sized> HasTag for ReadOnly<T> { |
755 | | #[allow(clippy::missing_inline_in_public_items)] |
756 | | fn only_derive_is_allowed_to_implement_this_trait() |
757 | | where |
758 | | Self: Sized, |
759 | | { |
760 | | } |
761 | | |
762 | | type Tag = T::Tag; |
763 | | |
764 | | // SAFETY: `<T as SizeEq<ReadOnly<T>>>::CastFrom` is a no-op projection that |
765 | | // produces a pointer with the same referent. By invariant, for any `Ptr<'_, |
766 | | // T, I>` it is sound to use `T::ProjectToTag` to project to a `Ptr<'_, |
767 | | // T::Tag, I>`. Since `ReadOnly<T>` has the same layout and validity as `T`, |
768 | | // the same is true of projecting from a `Ptr<'_, ReadOnly<T>, I>`. |
769 | | type ProjectToTag = crate::pointer::cast::TransitiveProject< |
770 | | T, |
771 | | <T as SizeEq<ReadOnly<T>>>::CastFrom, |
772 | | T::ProjectToTag, |
773 | | >; |
774 | | } |
775 | | |
776 | | // SAFETY: `ReadOnly<T>` is a `#[repr(transparent)]` wrapper around `T`, and so |
777 | | // has the same fields at the same offsets. Thus, it satisfies the safety |
778 | | // invariants of `HasField<Field, VARIANT_ID, FIELD_ID>` for field `f` exactly |
779 | | // when `T` does, as guaranteed by the `T: HasField` bound: |
780 | | // - If `VARIANT_ID` is `STRUCT_VARIANT_ID` or `UNION_VARIANT_ID`, then `T` has |
781 | | // the layout of a struct or union type. Since `ReadOnly<T>` is a transparent |
782 | | // wrapper around `T`, it does too. Otherwise, if `VARIANT_ID` is an enum |
783 | | // variant index, then `T` has the layout of an enum type, and `ReadOnly<T>` |
784 | | // does too. |
785 | | // - By `T: HasField<_, _, FIELD_ID>`: |
786 | | // - `T` has a field `f` with name `n` such that |
787 | | // `FIELD_ID = zerocopy::ident_id!(n)` or at index `i` such that |
788 | | // `FIELD_ID = zerocopy::ident_id!(i)`. |
789 | | // - `Field` has the same visibility as `f`. |
790 | | // - `T::Type` has the same type as `f`. Thus, `ReadOnly<T::Type>` has the |
791 | | // same type as `f`, wrapped in `ReadOnly`. |
792 | | // |
793 | | // `project` satisfies its post-condition – namely, that the returned pointer |
794 | | // refers to a non-strict subset of the bytes of `slf`'s referent, and has the |
795 | | // same provenance as `slf` – because all intermediate operations satisfy those |
796 | | // same conditions. |
797 | | unsafe impl<T, Field, const VARIANT_ID: i128, const FIELD_ID: i128> |
798 | | HasField<Field, VARIANT_ID, FIELD_ID> for ReadOnly<T> |
799 | | where |
800 | | T: HasField<Field, VARIANT_ID, FIELD_ID> + ?Sized, |
801 | | { |
802 | | #[allow(clippy::missing_inline_in_public_items)] |
803 | | fn only_derive_is_allowed_to_implement_this_trait() |
804 | | where |
805 | | Self: Sized, |
806 | | { |
807 | | } |
808 | | |
809 | | type Type = ReadOnly<T::Type>; |
810 | | |
811 | | #[inline(always)] |
812 | | fn project(slf: PtrInner<'_, Self>) -> *mut ReadOnly<T::Type> { |
813 | | slf.project::<_, <T as SizeEq<ReadOnly<T>>>::CastFrom>() |
814 | | .project::<_, crate::pointer::cast::Projection<Field, VARIANT_ID, FIELD_ID>>() |
815 | | .project::<_, <ReadOnly<T::Type> as SizeEq<T::Type>>::CastFrom>() |
816 | | .as_non_null() |
817 | | .as_ptr() |
818 | | } |
819 | | } |
820 | | |
821 | | // SAFETY: `ReadOnly<T>` is a `#[repr(transparent)]` wrapper around `T`, and so |
822 | | // has the same fields at the same offsets. `is_projectable` simply delegates to |
823 | | // `T::is_projectable`, which is sound because a `Ptr<'_, ReadOnly<T>, I>` will |
824 | | // be projectable exactly when a `Ptr<'_, T, I>` referent is. |
825 | | unsafe impl<T, Field, I, const VARIANT_ID: i128, const FIELD_ID: i128> |
826 | | ProjectField<Field, I, VARIANT_ID, FIELD_ID> for ReadOnly<T> |
827 | | where |
828 | | T: ProjectField<Field, I, VARIANT_ID, FIELD_ID> + ?Sized, |
829 | | I: invariant::Invariants, |
830 | | { |
831 | | #[allow(clippy::missing_inline_in_public_items)] |
832 | | fn only_derive_is_allowed_to_implement_this_trait() |
833 | | where |
834 | | Self: Sized, |
835 | | { |
836 | | } |
837 | | |
838 | | type Invariants = T::Invariants; |
839 | | |
840 | | type Error = T::Error; |
841 | | |
842 | | #[inline(always)] |
843 | | fn is_projectable<'a>(ptr: Ptr<'a, Self::Tag, I>) -> Result<(), Self::Error> { |
844 | | T::is_projectable(ptr) |
845 | | } |
846 | | } |
847 | | |
848 | | #[cfg(test)] |
849 | | mod tests { |
850 | | use core::panic::AssertUnwindSafe; |
851 | | |
852 | | use super::*; |
853 | | use crate::util::testutil::*; |
854 | | |
855 | | #[test] |
856 | | fn test_unalign() { |
857 | | // Test methods that don't depend on alignment. |
858 | | let mut u = Unalign::new(AU64(123)); |
859 | | assert_eq!(u.get(), AU64(123)); |
860 | | assert_eq!(u.into_inner(), AU64(123)); |
861 | | assert_eq!(u.get_ptr(), <*const _>::cast::<AU64>(&u)); |
862 | | assert_eq!(u.get_mut_ptr(), <*mut _>::cast::<AU64>(&mut u)); |
863 | | u.set(AU64(321)); |
864 | | assert_eq!(u.get(), AU64(321)); |
865 | | |
866 | | // Test methods that depend on alignment (when alignment is satisfied). |
867 | | let mut u: Align<_, AU64> = Align::new(Unalign::new(AU64(123))); |
868 | | assert_eq!(u.t.try_deref().unwrap(), &AU64(123)); |
869 | | assert_eq!(u.t.try_deref_mut().unwrap(), &mut AU64(123)); |
870 | | // SAFETY: The `Align<_, AU64>` guarantees proper alignment. |
871 | | assert_eq!(unsafe { u.t.deref_unchecked() }, &AU64(123)); |
872 | | // SAFETY: The `Align<_, AU64>` guarantees proper alignment. |
873 | | assert_eq!(unsafe { u.t.deref_mut_unchecked() }, &mut AU64(123)); |
874 | | *u.t.try_deref_mut().unwrap() = AU64(321); |
875 | | assert_eq!(u.t.get(), AU64(321)); |
876 | | |
877 | | // Test methods that depend on alignment (when alignment is not |
878 | | // satisfied). |
879 | | let mut u: ForceUnalign<_, AU64> = ForceUnalign::new(Unalign::new(AU64(123))); |
880 | | assert!(matches!(u.t.try_deref(), Err(AlignmentError { .. }))); |
881 | | assert!(matches!(u.t.try_deref_mut(), Err(AlignmentError { .. }))); |
882 | | |
883 | | // Test methods that depend on `T: Unaligned`. |
884 | | let mut u = Unalign::new(123u8); |
885 | | assert_eq!(u.try_deref(), Ok(&123)); |
886 | | assert_eq!(u.try_deref_mut(), Ok(&mut 123)); |
887 | | assert_eq!(u.deref(), &123); |
888 | | assert_eq!(u.deref_mut(), &mut 123); |
889 | | *u = 21; |
890 | | assert_eq!(u.get(), 21); |
891 | | |
892 | | // Test that some `Unalign` functions and methods are `const`. |
893 | | const _UNALIGN: Unalign<u64> = Unalign::new(0); |
894 | | const _UNALIGN_PTR: *const u64 = _UNALIGN.get_ptr(); |
895 | | const _U64: u64 = _UNALIGN.into_inner(); |
896 | | // Make sure all code is considered "used". |
897 | | // |
898 | | // FIXME(https://github.com/rust-lang/rust/issues/104084): Remove this |
899 | | // attribute. |
900 | | #[allow(dead_code)] |
901 | | const _: () = { |
902 | | let x: Align<_, AU64> = Align::new(Unalign::new(AU64(123))); |
903 | | // Make sure that `deref_unchecked` is `const`. |
904 | | // |
905 | | // SAFETY: The `Align<_, AU64>` guarantees proper alignment. |
906 | | let au64 = unsafe { x.t.deref_unchecked() }; |
907 | | match au64 { |
908 | | AU64(123) => {} |
909 | | _ => const_unreachable!(), |
910 | | } |
911 | | }; |
912 | | } |
913 | | |
914 | | #[test] |
915 | | fn test_unalign_update() { |
916 | | let mut u = Unalign::new(AU64(123)); |
917 | | u.update(|a| a.0 += 1); |
918 | | assert_eq!(u.get(), AU64(124)); |
919 | | |
920 | | // Test that, even if the callback panics, the original is still |
921 | | // correctly overwritten. Use a `Box` so that Miri is more likely to |
922 | | // catch any unsoundness (which would likely result in two `Box`es for |
923 | | // the same heap object, which is the sort of thing that Miri would |
924 | | // probably catch). |
925 | | let mut u = Unalign::new(Box::new(AU64(123))); |
926 | | let res = std::panic::catch_unwind(AssertUnwindSafe(|| { |
927 | | u.update(|a| { |
928 | | a.0 += 1; |
929 | | panic!(); |
930 | | }) |
931 | | })); |
932 | | assert!(res.is_err()); |
933 | | assert_eq!(u.into_inner(), Box::new(AU64(124))); |
934 | | |
935 | | // Test the align_of::<T>() == 1 optimization. |
936 | | let mut u = Unalign::new([0u8, 1]); |
937 | | u.update(|a| a[0] += 1); |
938 | | assert_eq!(u.get(), [1u8, 1]); |
939 | | } |
940 | | |
941 | | #[test] |
942 | | fn test_unalign_copy_clone() { |
943 | | // Test that `Copy` and `Clone` do not cause soundness issues. This test |
944 | | // is mainly meant to exercise UB that would be caught by Miri. |
945 | | |
946 | | // `u.t` is definitely not validly-aligned for `AU64`'s alignment of 8. |
947 | | let u = ForceUnalign::<_, AU64>::new(Unalign::new(AU64(123))); |
948 | | #[allow(clippy::clone_on_copy)] |
949 | | let v = u.t.clone(); |
950 | | let w = u.t; |
951 | | assert_eq!(u.t.get(), v.get()); |
952 | | assert_eq!(u.t.get(), w.get()); |
953 | | assert_eq!(v.get(), w.get()); |
954 | | } |
955 | | |
956 | | #[test] |
957 | | fn test_unalign_trait_impls() { |
958 | | let zero = Unalign::new(0u8); |
959 | | let one = Unalign::new(1u8); |
960 | | |
961 | | assert!(zero < one); |
962 | | assert_eq!(PartialOrd::partial_cmp(&zero, &one), Some(Ordering::Less)); |
963 | | assert_eq!(Ord::cmp(&zero, &one), Ordering::Less); |
964 | | |
965 | | assert_ne!(zero, one); |
966 | | assert_eq!(zero, zero); |
967 | | assert!(!PartialEq::eq(&zero, &one)); |
968 | | assert!(PartialEq::eq(&zero, &zero)); |
969 | | |
970 | | fn hash<T: Hash>(t: &T) -> u64 { |
971 | | let mut h = std::collections::hash_map::DefaultHasher::new(); |
972 | | t.hash(&mut h); |
973 | | h.finish() |
974 | | } |
975 | | |
976 | | assert_eq!(hash(&zero), hash(&0u8)); |
977 | | assert_eq!(hash(&one), hash(&1u8)); |
978 | | |
979 | | assert_eq!(format!("{:?}", zero), format!("{:?}", 0u8)); |
980 | | assert_eq!(format!("{:?}", one), format!("{:?}", 1u8)); |
981 | | assert_eq!(format!("{}", zero), format!("{}", 0u8)); |
982 | | assert_eq!(format!("{}", one), format!("{}", 1u8)); |
983 | | } |
984 | | |
985 | | #[test] |
986 | | #[allow(clippy::as_conversions)] |
987 | | fn test_maybe_uninit() { |
988 | | // int |
989 | | { |
990 | | let input = 42; |
991 | | let uninit = MaybeUninit::new(input); |
992 | | // SAFETY: `uninit` is in an initialized state |
993 | | let output = unsafe { uninit.assume_init() }; |
994 | | assert_eq!(input, output); |
995 | | } |
996 | | |
997 | | // thin ref |
998 | | { |
999 | | let input = 42; |
1000 | | let uninit = MaybeUninit::new(&input); |
1001 | | // SAFETY: `uninit` is in an initialized state |
1002 | | let output = unsafe { uninit.assume_init() }; |
1003 | | assert_eq!(&input as *const _, output as *const _); |
1004 | | assert_eq!(input, *output); |
1005 | | } |
1006 | | |
1007 | | // wide ref |
1008 | | { |
1009 | | let input = [1, 2, 3, 4]; |
1010 | | let uninit = MaybeUninit::new(&input[..]); |
1011 | | // SAFETY: `uninit` is in an initialized state |
1012 | | let output = unsafe { uninit.assume_init() }; |
1013 | | assert_eq!(&input[..] as *const _, output as *const _); |
1014 | | assert_eq!(input, *output); |
1015 | | } |
1016 | | } |
1017 | | #[test] |
1018 | | fn test_maybe_uninit_uninit() { |
1019 | | let _uninit = MaybeUninit::<u8>::uninit(); |
1020 | | // Cannot check value, but can check it compiles and runs |
1021 | | } |
1022 | | |
1023 | | #[test] |
1024 | | #[cfg(feature = "alloc")] |
1025 | | fn test_maybe_uninit_new_boxed_uninit() { |
1026 | | let _boxed = MaybeUninit::<u8>::new_boxed_uninit(()).unwrap(); |
1027 | | } |
1028 | | |
1029 | | #[test] |
1030 | | fn test_maybe_uninit_debug() { |
1031 | | let uninit = MaybeUninit::<u8>::uninit(); |
1032 | | assert!(format!("{:?}", uninit).contains("MaybeUninit")); |
1033 | | } |
1034 | | } |