Skip to main content
1 de 10
Maniero
  • 484,4mil
  • 94
  • 1,3mil
  • 2,2mil

Mesmo que minha mãe e alguns programadores achem que o computador toma suas própria decisões ele só é capaz de fazer o que humanos determinam.

Claro que um computador pode produzir resultados errados sem um humano errar usando ele. Mas isto significa que um humano projetou o computador ou pelo menos algum componente dele de forma errada. 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á fazendo. Isto é normal. Não existe ninguém que sabe tudo de tudo, mesmo que esse tudo seja só sobre desenvolvimento de software.

Este "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 isto há um 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.

Sabendo que o retorno do operador usado é um inteiro sem sinal e que o cast implícito ocorre e que um valor negativo quando convertido para um tipo sem sinal começa a contagem do maior inteiro possível e vai reduzindo quanto mais for o negativo, já que ele ignora o bit de sinal como um sinal e o considera como parte do número, fica fácil entender o que está ocorrendo. E o problema é só uma interpretação errada de um humano. O computador fez o que mandaram ele fazer.

Fica mais fácil entender imprimindo o -1 sem sinal:

#include <stdio.h>

int main(void) {
    printf("tamanho de um inteiro: %d\n", sizeof(int));
    printf("-1 com cast: %u\n", -1);
    if(sizeof(int) > -1) {
        printf("4 é maior que -1");
    } else {
        printf("-1 é maior que 4");
    }
    return 0;
}

Então a mensagem deveria ser "4294967295 é maior que 4".

Veja funcionando no ideone.

Algumas pessoas vão aproveitar isto 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 isto 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 isto pode ser benéfico em linguagens que tem como alvo programadores que não se preocupam com os detalhes.

Este par de pergunta e resposta foi inspirado em uma discussão no Reddit que achei interessante mostrar.

Maniero
  • 484,4mil
  • 94
  • 1,3mil
  • 2,2mil