template< std::size_t N, class T >
bool is_sufficiently_aligned( T* ptr );

Checks whether the pointer ptr points to an object whose alignment has a value of at least N.

The behavior is undefined if ptr does not point to an object of type T (ignoring cv-qualification at every level).

Return value

true if ptr points to an object that has alignment at least N; otherwise false.

Exceptions

Throws nothing.

Notes

std::is_sufficiently_aligned can be used as a precondition to std::assume_aligned.

Possible implementation

template<std::size_t N, class T>
bool is_sufficiently_aligned(T* ptr)
{
    return std::bit_cast<std::uintptr_t>(ptr) % N == 0;
}

Example

See also