Чтобы уточнить ответ, предоставленный Энгью, цитирующим стандарт, касающийся анонимных объединений и структур, я подумал предоставить образец исходного кода C с выводом, сгенерированным этим образцом, показывающим, как значения распределяются в struct
и union
, состоящих из struct
и union
компоненты.
Стандарт, цитируемый Энгью:
В целях поиска имени после определения анонимного объединения члены анонимного объединения считаются определенными в области действия, в которой объявлено анонимное объединение.
Исходный код struct
, состоящего из именованных и анонимных структур и объединений, выглядит следующим образом. Здесь используется Visual Studio 2005, а #pragma (pack, 1)
используется для выравнивания всего на char
границе, чтобы не было дыр в памяти. Существует также простой макрос препроцессора C, который делает вывод более разборчивым и упрощает кодирование.
typedef unsigned char UCHAR;
// use of Microsoft Visual Studio pragma to force char alignment for the struct.
#pragma pack(push, 1)
const struct {
union {
const UCHAR myArray[]; // this array shares memory with struct following
struct {
const UCHAR iOne;
const UCHAR iTwo;
const UCHAR iThree;
}; // anonymous struct accessed by specifying Things.
}; // anonymous union accessed by specifying Things.
// const UCHAR myArray[]; // will cause error - "error C2020: 'myArray' : 'struct' member redefinition"
union {
const UCHAR myArray[]; // this array shares memory with struct following
struct {
const UCHAR iOne;
const UCHAR iTwo;
const UCHAR iThree;
} s; // named struct accessed by specifying Things.u.s
} u; // named union accessed by specifying Things.u
} Things = {1, 2, 4, 8, 9, 10, 22, 23, 24, 25};
#pragma pack(pop)
// a little helper macro to make the output easier to code.
#define PRINTF_VAL(x) printf ("%s %d \n", #x, x)
int itSelf (UCHAR iMask)
{
int iMatch = -1;
int jj = 0;
jj = Things.myArray[0]; PRINTF_VAL(Things.myArray[0]);
jj = Things.myArray[1]; PRINTF_VAL(Things.myArray[1]);
jj = Things.myArray[2]; PRINTF_VAL(Things.myArray[2]);
jj = Things.myArray[3]; PRINTF_VAL(Things.myArray[3]);
jj = Things.myArray[4]; PRINTF_VAL(Things.myArray[4]);
jj = Things.iOne; PRINTF_VAL(Things.iOne);
jj = Things.iTwo; PRINTF_VAL(Things.iTwo);
jj = Things.iThree; PRINTF_VAL(Things.iThree);
jj = Things.u.myArray[0]; PRINTF_VAL(Things.u.myArray[0]);
jj = Things.u.myArray[1]; PRINTF_VAL(Things.u.myArray[1]);
jj = Things.u.myArray[2]; PRINTF_VAL(Things.u.myArray[2]);
jj = Things.u.myArray[3]; PRINTF_VAL(Things.u.myArray[3]);
jj = Things.u.myArray[4]; PRINTF_VAL(Things.u.myArray[4]);
jj = Things.u.s.iOne; PRINTF_VAL(Things.u.s.iOne);
jj = Things.u.s.iTwo; PRINTF_VAL(Things.u.s.iTwo);
jj = Things.u.s.iThree; PRINTF_VAL(Things.u.s.iThree);
return iMatch + 1;
}
Результат, сгенерированный этой функцией, выглядит так:
Things.myArray[0] 1
Things.myArray[1] 2
Things.myArray[2] 4
Things.myArray[3] 8
Things.myArray[4] 9
Things.iOne 1
Things.iTwo 2
Things.iThree 4
Things.u.myArray[0] 8
Things.u.myArray[1] 9
Things.u.myArray[2] 10
Things.u.myArray[3] 22
Things.u.myArray[4] 23
Things.u.s.iOne 8
Things.u.s.iTwo 9
Things.u.s.iThree 10
Выходные данные показывают перекрытие между различными компонентами главного struct
, Things
, вызванное использованием объединений. Вы также можете увидеть, как упоминаются компоненты анонимных struct
и union
по сравнению с компонентами именованных struct
и union
.
Также ради забавы я попытался добавить определение массива const UCHAR myArray[];
после анонимного union
, содержащего const UCHAR myArray[];
, чтобы посмотреть, что произойдет. Компилятор пожаловался на ошибку error C2020: 'myArray' : 'struct' member redefinition
. Добавление закомментировано в определении struct
для Things
выше. Однако, поскольку второе использование const UCHAR myArray[];
находится в названном union
, компиляция работает, потому что второе использование доступно путем указания имени объединения.
person
Richard Chambers
schedule
14.02.2016