битовое поле

[Алексей++]

почему везде упоминается, что в качестве "типа" для битовых полей
должно использоваться int, а вот это компилятор съел:

struct s_byte
{
   BYTE bit1:1;
   BYTE bit2:1;
   BYTE bit3:1;
   BYTE bit4:1;
   BYTE bit5:1;
   BYTE bit6:1;
   BYTE bit7:1;
   BYTE bit8:1;
};

причём sizeof показывает 1 байт , а не 4 (как если бы компилятор сделал его int принудительно)

ещё больше смущает такая штука:

struct s_pole64
{
   unsigned __int64 b1:16;
   unsigned __int64 b2:16;
   unsigned __int64 b3:16;
   unsigned __int64 b4:16;
   //unsigned __int64 b5:1;   // 65-й бит !
};

- тоже прокатывает, причём sizeof показывает 64 бита (8 байт) , а если разремарить
65-й бит - то sizeof показывает 128 битов

вопрос: не нарушаются ли стандарты? Больно уж красиво всё получается

[Finch]

Лёха, а в чем ты видиш нарушение стандарта.

struct s_pole64
{
   unsigned __int64 b1:16;
   unsigned __int64 b2:16;
   unsigned __int64 b3:16;
   unsigned __int64 b4:16;
   //unsigned __int64 b5:1;   // 65-й бит !
};

Тут ты используеш тип __int64 который занимает 64 бита или 8 байт. В первых четыре строках структуры ты уже использовал это пространство 4*16=64. Следовательно компилятор под следуюшее пространство выделит еше 64 бита или 8 байт.
Почему не рекомендуют использовать тип BYTE. Думаю все дело в выравнивании. не все просессоры могут читать невыровненые данные. и вызывают критическую ошибку. Ну еше невыровненные данные процессор читает дольше, чем выровненые. Поэтому компилятор выравнивает данные для 32 разрядных систем на 4 байтовые граници. Тем самым при использовании типа BYTE ты все равно используеш 4 байта памяти.

[Алексей++]

Лёха, а в чем ты видиш нарушение стандарта.

в __int64 - не вижу . Я всё о том же вездесущем упоминании int

если дело именно в выравнивании тогда всё понятно Хотя жаль под байт целых четыре выделять

ну да ладно

[Alf]

почему везде упоминается, что в качестве "типа" для битовых полей должно использоваться int

Я не знаю такого первоисточника - "везде". Поэтому вместо него обратился к MSDN. Вот что там написано:

Classes and structures can contain members that occupy less storage than an integral type. These members are specified as bit fields. The syntax for bit-field member-declarator specification follows:

declarator_opt  : constant-expression

The declarator is the name by which the member is accessed in the program. It must be an integral type (including enumerated types).

(выделение мое). Integral - это не только int, но и его родственнники.

[Finch]

int по стандарту всегда имеет размер разрядности компа. Если комп 16 разрядный. То int будет иметь 16 бит, для 32 разрядных соответственно 32 бита и 64 - 64 бита. Т.е. его рекомендуют использовать из-за переносимости кода без излишней доработки программы.

[Алексей++]

понятно, пасиба