Primero, partes de una premisa falsa, **`mask3` no es igual que `eightflags`**, al hacer:

    bool eightflags = mask3;

tiene lugar un **casting implícito** de tu `char` (8) a `bool`, quedando `eightflags` como `true` (1).

La conversión a `bool` considera cero (para los tipos numéricos) y el puntero nulo como `false` y cualquier otro valor como`true`.

Dado que operas a nivel de bits, lo relevante es la representación binaria de ambas:

>     eightflags -> 0000 0001    
>     mask       -> 0000 1000

A continuación haces:

     eightflags &= mask3; 

lo que es lo mismo que:

     eightflags = eightflags & mask3; 

pero recuerda que no usas un `and` lógico (`&&`), que si resultaría en `true`, estás operando a nivel de bits, por lo que el `and` se aplica bit a bit:

>0 & 0 es 0    
>0 & 1 es 0    
>1 & 0 es 0    
>1 & 1 es 1   

lo cual, gráficamente en tu caso podemos representar algo así:
  
>     eightflags -> 0000 0001   
>       &           &&&& &&&&
>     mask       -> 0000 1000
>       ↓           ↓↓↓↓ ↓↓↓↓
>     eightflags -> 0000 0000 

por lo que `eightflags` termina siendo `false` (0).

>**Observación**: a diferencia de `char` cuyo tamaño es siempre uno,  `bool` no tiene un tamaño  definido en el estándar, pudiendo variar según la implementación. Comúnmente es 1 también (unidad mínima de memoria direccionable del sistema, comúnmente 1 byte/8 bits), pero no podemos dar por sentado esto.