Союзов для извлечения данных

Question

Не будут ли объединение в this вопроса вызывает UB, когда используются как это:

union Data 
{ 
    unsigned int intValue; 
    unsigned char argbBytes[4]; 
}; 
Data data; 
data.intValue = 1235347; 
unsigned char alpha = data.argbBytes[0]; //UB? 

Я думаю о 9.5/1 в стандарте:

В союзе , не более одного из данных членов могут быть активны в любое время, , то есть значение не более одного из элементов данных может быть сохранено в союзе в любое время.

Answer 1

В общем, вы правы, записывая значение одного типа в объединение, а затем считывая его как другой тип - это неопределенное поведение. с другой стороны, в стандарте явным образом допускается, чтобы что-либо использовалось как массив символов. он никогда не был на 100% понятен мне, который имеет приоритет, но все реализации, которые я когда-либо использовал, позволяют делать кастинг в любом случае.

Answer 2

Я полагаю, что это было бы неопределенным, поскольку то, что вы сделали, зависит от платформы. alpha будет в конечном итоге как другое значение в зависимости от того, является ли ваша платформа большой или маленькой.

Но техника, которую вы показываете, в значительной степени эквивалентна выполнению reinterpret_cast.

Я думаю, что стандарт указывает, что вы не можете хранить разные значения в обоих элементах (поскольку они перекрываются в памяти).

Настоящая причина, по которой профсоюз был изобретен, состоял в том, чтобы позволить людям подбирать больше данных в меньшем объеме памяти. Традиционно, наряду с объединением, вы бы сохранили некоторый маркер (возможно, бит или два, хранящиеся в битовой маске) ​​вне союза, чтобы помнить, какой член союза активен. Используя этот маркер, вы тщательно кодируете обращения к объединению, чтобы вы только читали активный член.

Answer 3

Непонятно из сообщения, что такое размер 'int' на платформе. Предположим, что 32-битный целочисленный и 8-битный символ, т. Е. Sizeof (int) == 4.

Также неясно, что такое конечная машина. Предположим, что маленький конец.

С этой undertanding, 0x12D993 (десятичное 1235347) будет сохранен как

0x93 0xd9 0x12 0x00 (увеличение адрес)

Когда эта память доступна через 'argbBytes', значение argbBytes [0] действительно зависит от конечности машины. Следовательно, это не неопределенное поведение, а поведение, определяемое реализацией.