Em uma estrutura bitfield você pode especificar o tamanho em bits de cada membro, mantendo suas características originais. Exemplo:
struct bitfield {
signed int a : 3; // Um inteiro usando complemento de dois com 3 bits. Entre -4 e 3.
unsigned b : 4; // Um inteiro sem sinal. Valores entre 0 e 15.
};
E como não há padding entre os membros1 (apenas no final) é comumente usado em interfaces com hardware ou para ler alguns tipos de arquivos.
O detalhe é que a expressão que denota o tamanho de cada membro não é um literal integral, mas sim uma expressão constante que resulta em um integral2. Sendo assim o seguinte é válido:
struct bitfield {
int a : 1+1;
};
A regra também afirma que se o tamanho for zero o membro não terá nenhum efeito (efetivamente não existirá) e que esse tamanho não pode ser negativo. Posso então criar uma macro assim:
#define ERROR_IF_NEGATIVE(e) struct { int : e; };
Repare a omissão do nome da struct e do membro. Mas é claro, essa macro vai falhar com valores muito grandes (que excedam o tamanho em bits em um int). Podemos melhorar um pouco usando a dupla negação. !!e
é 0
se e
for 0
e 1
se e
for qualquer outro valor. Assim podemos fazer -!!e
para obter um valor negativo se a condição for verdadeira.
#define ERROR_IF(e) struct { int : -!!e; };
Mas repare que essa macro pode ser usada apenas onde definir uma estrutura é válido, mas não no meio de outras expressões. É ai que entra o sizeof
. Em C o sizeof
de uma estrutura vazia é sempre 0
3:
#define ZERO_UNLESS(e) (sizeof(struct { int : -!!e; }));
Agora você pode usar no meio de qualquer expressão. Se a condição for verdadeira você terá um erro de compilação. Caso contrário o resultado será zero.
int a = 4 + ZERO_UNLESS(sizeof(int) > 2);
Esse tipo de macro é similar à assert
, mas a condição deve ser uma expressão constante e será avaliada em tempo de compilação, gerando nenhum custo de performance. A operação é equivalente ao static_assert
do C++11.
Um monte de exceções. A maior parte deve ser definido pela implementação. Sessão 6.7.2.1/11:
An implementation may allocate any addressable storage unit large enough to hold a bitfield. If enough space remains, a bit-field that immediately follows another bit-field in a structure shall be packed into adjacent bits of the same unit. If insufficient space remains, whether a bit-field that does not fit is put into the next unit or overlaps adjacent units is implementation-defined. The order of allocation of bit-fields within a unit (high-order to low-order or low-order to high-order) is implementation-defined. The alignment of the addressable storage unit is unspecified.
Sessão 6.7.2.1/4:
The expression that specifies the width of a bit-field shall be an integer constant expression with a nonnegative value that does not exceed the width of an object of the type that would be specified were the colon and expression omitted. If the value is zero, the declaration shall have no declarator.
Não encontrei uma referência para comprovar isso. Parece ser uma extensão do GCC e não um comportamento definido pelo C, não tenho certeza. Já no C++ o sizeof
de uma estrutura vazia é 1
.