Você não precisa ver todo o corpo de uma função para saber como chamá-la. Você só precisa de uma promessa. Essa promessa é o protótipo da função.
No C moderno, declarar protótipos antecipadamente não é negociável. Diz ao compilador exatamente o que uma função espera: o nome, os tipos de argumento e o valor de retorno. Sem ele, você está voando às cegas. E em C a cegueira custa caro.
O custo oculto dos protótipos ausentes
Considere este trecho. Parece inocente. Ele compila. Ele funciona.
Aqui, add claramente precisa de dois números inteiros. Mas a chamada passa apenas uma. Um compilador estrito deveria gritar. Muitos não. O padrão é assumir que o tipo de retorno é int e ignora totalmente a incompatibilidade de parâmetros.
O resultado? Respostas erradas. Corrupção silenciosa. Você passa horas caçando um inseto que estava bem na sua cara na linha dois.
Isso acontece porque o comportamento legado do C padroniza funções não prototipadas para retornar int. Se a função real retornar float, o compilador interpreta mal os bits. O protótipo corrige isso. Ele faz cumprir o contrato.
Fazendo cumprir o contrato
Coloque o protótipo no topo. Em qualquer lugar antes da primeira chamada.
Agora o compilador sinaliza o erro. Ele sabe que add requer dois argumentos. Ele se recusa a compilar a chamada incompatível. Você economiza horas de depuração.
Estilo antigo vs. C moderno
Compiladores não-ANSI são uma fera diferente. Eles permitem protótipos, mas com um porém. A lista de parâmetros deve estar vazia.
Isso informa ao compilador o nome e o tipo de retorno. Não diz nada sobre argumentos. Nenhuma verificação de erros ocorre. Você está de volta à estaca zero.
C moderno (padrão ANSI) requer tipos explícitos no protótipo. Isso elimina a ambiguidade. Ele detecta incompatibilidades de tipo. Ele captura argumentos ausentes. Ele pega tudo.
Passos Práticos
- Refatore a classificação por bolha. Mova a lógica para uma função. Declare um protótipo. Passe a matriz e o tamanho explicitamente.
- Isole a entrada. Crie uma função dedicada para a entrada do usuário. Não desorganize o
principal. Faça um protótipo. Teste.
Não se trata de pontos de estilo. É uma questão de correção.
Um protótipo é um contrato imposto pelo compilador. Quebre-o e a construção falhará.
Você pode estar se perguntando por que isso é importante se o seu código for executado. É importante porque os erros de tempo de execução são mais difíceis de corrigir do que os erros de tempo de compilação. Um erro de compilação interrompe você. Um erro de tempo de execução está oculto na produção.
A diferença entre um programa robusto e um programa frágil muitas vezes se resume a estas poucas linhas no topo. Não os ignore.
O compilador está lá para ajudar. Ouça.
