Na verdade a estrutura pode ter o mesmo tamanho que a soma de seus membros. Depende do alinhamento. Se os membros permitem montar a estrutura de forma alinhada terá o mesmo tamanho.
O caso apresentado realmente obriga alinhar o tipo char
para uma palavra, então há um desperdício de espaço. Isso é chamado de padding. Os bytes usados para o padding não são usados, indicam nada. E não há problema algum nisso, é o normal. É feito assim por questões de performance. Na maioria dos casos o compilador sabe fazer melhor que o programador.
Se precisar de algo diferente pode ser resolvido com #pragma pack(1)
ou __attribute__((packed))
. Mais informações podem ser obtidas na resposta linkada acima. Raramente isso é realmente necessário e é melhor não mexer nisto se não entender todas as implicações que terá.