Skip to content

ACP: ptr::is_aligned_for::<U> #588

Closed
@mathisbot

Description

@mathisbot

ACP: ptr::is_aligned_for::<U>

Summary

Introduce ptr::is_aligned_for<U>(self) -> bool on raw pointers (*const, *mut) and NonNull. This method checks whether the pointer is correctly aligned for a target type U, streamlining safe pointer casts without intermediate steps.

Alternatively (preferably?), introduce ptr::try_cast_aligned<U>(self) -> Option<Ptr<U>> on the same types. This method checks alignment and returns a casted pointer if it is correctly aligned.

Motivation

Currently, users that want to perform aligned read/write must cast before checking alignment:

#[repr(C)]
struct Complex {
    // ...
}

let ptr: *mut u8 = /* FFI pointer or any other provenance */ ;

assert!(ptr.cast::<Complex>().is_aligned(), "not aligned");
let complex_ptr = ptr.cast::<Complex>();
  • Clippy lint: clippy::cast_ptr_alignment triggers even when alignment checks are valid.
  • Readability: alignment intent is obscured by the needed cast.

Alternatively, users can use ptr::is_aligned_to, which is still unstable (see #96284) and less verbose.
Here, the problem of invalid alignments discussed in #96284 are not relevant as it would be provided by core::mem::align_of.

API

impl<T: ?Sized> *const T {
    pub fn is_aligned_for<U: Sized>(self) -> bool;
}

impl<T: ?Sized> *mut T { /* same */ }
impl<T: ?Sized> NonNull<T> { /* same */ }

Alternative: try_cast_aligned

As stated and suggested by @hanna-kruppe, it would be wise to combine alignment check and cast as follows:

impl<T: ?Sized> *const T {
    pub fn try_cast_aligned<U: Sized>(self) -> Option<*const U>;
}

impl<T: ?Sized> *mut T { /* same */ }
impl<T: ?Sized> NonNull<T> { /* same */ }

mirroring <[T]>::align_to but at a lower level.
This ensures the pointer is cast to the exact same type as the one used for alignment checks.

Rare cases (such as FFI) where the boolean value is needed, one could use ptr.try_cast_aligned::<SomeType>().is_some().
The implementation would be a combination of is_aligned_to and cast, so it would compile down to the exact same assembly as the hypothetical is_aligned_for.

The only downside of this solution is that it loses the verbosity of is_aligned_for in such cases.

References

Metadata

Metadata

Assignees

No one assigned

    Labels

    ACP-acceptedAPI Change Proposal is accepted (seconded with no objections)T-libs-apiapi-change-proposalA proposal to add or alter unstable APIs in the standard libraries

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions