Comment vérifier si un pointeur pointe vers un emplacement mémoire correctement aligné ?

Question

Étant donné un void * vers un espace de stockage, comment vérifier s'il pointe vers un espace de stockage correctement aligné sans aucun comportement défini par l'implémentation ?

Bien sûr, nous avons std::align Mais existe-t-il un moyen plus efficace d'y parvenir ?

template <std::size_t alignment>
inline bool is_aligned(void * ptr) noexcept {
    std::size_t max = 1u;
    return std::align(alignment, 1u, ptr, max);
}

PS : Je dois faire cela d'une manière compatible avec les normes C++, sans dépendre d'aucun hacks spécifiques à la plate-forme (définis par l'implémentation).

PPS : Je m'excuse pour mon anglais (incompréhensible), qui n'est pas ma langue maternelle.

---

ÉDITER (2018.08.24) : J'ai supprimé le terme "efficace" du titre, et j'ai ajouté des termes supplémentaires pour souligner que je ne veux pas de comportement défini par l'implémentation ou spécifique à la plate-forme.

Answer 1

Si le reste n'est pas nul lors de la division de l'adresse avec l'alignement souhaité, l'adresse n'est pas alignée.

inline bool
is_aligned(const void * ptr, std::uintptr_t alignment) noexcept {
    auto iptr = reinterpret_cast<std::uintptr_t>(ptr);
    return !(iptr % alignment);
}

Cela ne peut cependant pas être constexpr, à cause du cast.

En outre, cela repose sur le fait, défini par l'implémentation, que la conversion d'un pointeur en entier doit préserver la représentation numérique de l'adresse. Comme le soulignent les commentaires, cela n'est pas garanti par la norme, de sorte que cette fonction n'est pas nécessairement portable sur toutes les plates-formes. C'est également vrai, car il est facultatif pour l'implémentation de fournir la fonction std::uintptr_t .

---

Je m'attendrais à ce que cela ne soit nécessaire que pour l'alignement d'un type, ce qui serait plus pratique :

template<class T>
bool
is_aligned(const void * ptr) noexcept {
    auto iptr = reinterpret_cast<std::uintptr_t>(ptr);
    return !(iptr % alignof(T));
}