O resto da definição da função é chamado de corpo da função. Como qualquer corpo de função, este inicia com um { , termina com um } e contém zero ou mais comandos e declarações. Comandos especificam ações que o programa deve tomar. Declarações definem nomes de variáveis, funções, etc. Cada comando e cada declaração termina com um ponto-e-vírgula (;).
Comandos e declarações frequentemente contém expressões; uma expressão é uma construção cuja execução produz um valor de algum tipo, mas também pode causar ações por meio de "efeitos colaterais" que alteram a execução subsequente. Diferentemente, um comando, não tem um valor; ele afeta a execução do programa somente através das ações que ele gera.
O corpo desta função fib não contém declarações e contém somente um comando, mas este é um comando complexo uma vez que ele contém comandos aninhados. Essa função utiliza dois tipos de comandos:
return
O comando return faz a função retornar imediatamente. Ele normalmente aparece assim:
Seu objetivo é computar o valor da expressão e sair da função, fazendo-a retornar o valor da expressão produzida. Por exemplo:
faz a função retornar o inteiro 1 e
faz a função retornar um valor computado ao fazer a soma dos resultados e duas chamadas de função, como especificado.
if…else
O comando if…else é um condicional. Sempre que ele executa, ele escolhe um dos seus dois sub-comandos para executar e ignora o outro. Veja:
O que ele faz é computar a expressão condicional e, se der "verdadeiro", ele executa o comando-se-verdadeiro. Do contrário, executa o comando-se-falso. Veja .
Dentro do comando if…else, condicional é simplesmente uma expressão. Ela é considerada "verdadeira" se seu valor for diferente de zero. (Uma operação de comparação como em n <= 2, produz o valor 1 se for "verdadeiro" e 0 se for "falso.” Veja .) Portanto,
primeiro testa se o valor de n é menor ou igual a 2. Se sim, a expressão n <= 2 tem valor 1. Daí a execução continua com o comando
Do contrário, a execução continua com o comando:
Cada um desses comandos encerra a execução da função e provê um valor para que ela retorne. Veja Comando return.
Calcular fib(n), que utiliza inteiros, funciona apenas quando n < 47 porque o resultado de fib (47) é muito grande para caber num tipo int. A operação de adição ao tentar somar fib (46) e fib (45) não consegue produzir o resultado correto. Isto é chamado de estouro de inteiro (integer overflow).
Estouros podem se manifestar de várias maneiras, mas uma coisa que eles não fazem é produzir o resultado correto já que este não cabe no espaço reservado para o valor. Veja .
Veja para uma explicação completa sobre funções.