Claro que um computador pode produzir resultados errados sem um humano errar usando ele. Mas istoisso significa que um humano projetou o computador ou pelo menos algum componente dele de forma errada. Ou a especificação determinou que o erro será possível, e quem for utilizar aquele hardware precisa estar ciente disto e tomar as devidas providências para istoisso não trazer resultados indesejados. Na prática os erros ocorrem mais nos softwares mesmo.
Os programadores cometem muitos erros, frequentemente porque não entendem todos os aspectos do que ele estão fazendo. Isto éÉ normal. Não existe ninguém que sabe tudo de tudo, mesmo que esse tudo seja só sobre desenvolvimento de software.
EsteEsse "problema" específico ocorre por causa da diferença de tipos utilizado do código. Não é muito óbvio mas se procurar na especificação verá que o operador sizeof
retorna um valor de tipo unsigned int
, mais especificamente um size_t
e a comparação no if
está sendo feito com um signed int
ou simplesmente int
. Ou seja, está comparando um tipo que tem sinal com outro que não tem. Por istoisso há uma conversão implícita do tipo sinalizado para o tipo não sinalizado. Nesta conversão há uma mudança na interpretação do dado.
Algumas pessoas vão aproveitar istoisso para criticar a conversão implícita. De fato ela é ruim quando espera-se que a linguagem será usada por programadores que não entendem bem todo funcionamento do que ele está usando ou de quem costuma ter desatenções. Mas acho que mais ajuda que atrapalha.
De uma certa forma istoisso remete ao que eu respondi em outra pergunta. O fato de você não saber o tipo que uma expressão resulta é o real problema do código. Deixar tudo explícito ajudaria a evitar alguns problemas mas deixaria o código mais longo e redundante adicionando um detalhe desnecessário. Ironicamente istoisso pode ser benéfico em linguagens que tem como alvo programadores que não se preocupam com os detalhes.