Examinei recentemente P4313 R1, uma proposta de padrão adicionando operações de máscara de bits para enums via uma anotação C++26. O conceito central usa `[[=std::bitmask_type]]` para gerar automaticamente operadores bitwise, eliminando a implementação manual. Embora os compiladores C++ calculem operações bitwise em tipos inteiros, um detalhe crítico envolve a promoção inteira.
Tipos menores que `int`, como `short`, sofrem promoção para `int` antes da operação. Isso significa que o tipo de resultado de operações em tipos menores é `int` por padrão, exigindo um `static_cast` de volta ao tipo original para evitar comportamentos inesperados. Além disso, `bool` apresenta riscos únicos.
A conversão booleana não truncada padrões de bits; em vez disso, mapeia qualquer valor não zero para `true` (valor inteiro 1) e zero para `false`. Combinando essas regras revela um estranho fenômeno: o complemento de `true` (`~true`) promove `true` para `int` (valor 1), calcula o resultado do complemento de dois como `-2`, e como `-2` é não zero, a conversão booleana retorna `true`. Portanto, `static_cast(~true) == true`.
Este comportamento se estende a enums baseados em `bool`, como aqueles definidos com `[[=std::bitmask_type]]`, destacando a importância de entender essas conversões implícitas para o desenvolvimento robusto em C++.
Fonte: Hacker News · Resumido por HeadlinesBriefing