Можно ли выровнять указатели, не нарушая строгий псевдоним? ⇐ C++

[Anonymous]

Поиск следующего правильно выровненного адреса можно выполнить с помощью этого выражения:

Код: Выделить всё

(address + alignment - 1u) & ~(alignment - 1u)

Однако для этого адрес необходимо привести к uintptr_t (

Код: Выделить всё

void*

и char* не подойдут).
Нарушает ли это строгое использование псевдонимов в C и C++? И если да, то как это можно реализовать, не нарушая правила? (Мне известны флаги компилятора, отключающие строгое псевдонимирование. Я спрашиваю о соблюдении правила, а не об его отключении.)

Подробнее здесь: https://stackoverflow.com/questions/791 ... t-aliasing