cppreference documentation for reinterpret_cast has also an entry about aliasing rules:
Type aliasing
Type accessibility
Если тип t_ref аналогичен любому из следующих типов, объект динамического типа t_obj доступен типом через LVALUE (до C ++ 11) GLVALUE (С момента C ++ 11) типа T_REF: < /p>
char
unsigned char
std :: byte (так как C ++ 17)
T_obj
Подписанный или неподписанный тип, соответствующий t_obj < /p>
< /blockquote>
Я бы просто хотел знать, каковы соответствующие разделы Стандарт (например, C ++ 20).
Подробнее здесь: https://stackoverflow.com/questions/794 ... e-standard