Пусть есть структура S
следующего вида:
struct S
{
short a;
char b;
};
И размер sizeof(short)
равен 2, а размер sizeof(S)
равен 4 (т.е. в структуре есть один padding byte).
Вопрос 1. Является ли корректным с точки зрения стандарта языка такой код:
S st;
st.a = 0; st.b = 0;
unsigned char *p = reinterpret_cast<unsigned char *>(&st);
for (size_t i = 0; i != sizeof(st); ++i)
unsigned int tmp = p[i];
Вопрос 2. Если код корректен, то гарантируется ли, что в ситуации, когда указатель p
указывает на padding byte структуры S
, в переменную tmp
будет записано некоторое целочисленное значение из отрезка [0; UCHAR_MAX]
или допускаются какое-нибудь менее очевидное поведение, например, генерация исключения.
Дополнение.
Действительно, если есть объект тривиально-копируемого типа T
, то составляющие его байты могут быть безопасно скопированы (например, с помощью memcpy
) в массив char
, unsigned char
или std::byte
(и обратно). Также можно скопировать некоторый объект тривиально-копируемого типа в другой объект этого же типа (с помощью того же самого memcpy
, например.)
Однако, в пункте 11.6/12 (n4659) есть занятный пример:
unsigned char c;
unsigned char d = c; // OK, d has an indeterminate value
int e = d; // undefined behavior
Не является ли мой пример, в некотором смысле, эквивалентом этого примера из стандарта?