Funções e passagem de parâmetros

Compreender

Uma função recebe argumentos, trabalha com parâmetros locais e devolve um valor a quem a chamou. Na função de desconto, base 20 e taxa 0,10 produzem 18. Mostrar 18 no ecrã não é o mesmo que devolver 18 para calcular uma fatura. O contrato da função deve também dizer se altera dados externos; neste caso o preço guardado permanece 20.

Com base 20 e taxa 0,10, a função calcula 20 vezes 0,90 e devolve 18. Um teste adicional com taxa zero deve devolver o preço inicial; uma taxa fora do intervalo admitido deve receber tratamento explícito. Imprimir 18 no ecrã não substitui devolver 18 a outra função que precise de construir uma fatura. Os efeitos laterais devem ser deliberados e documentados. A frase «A função deve imprimir o resultado e, por isso, não precisa de devolver valor a quem a chamou.» ultrapassa aquilo que foi demonstrado. Para a corrigir, é necessário explicitar contrato de entradas, saída e efeitos laterais; testar taxa zero e fronteiras admitidas. A decisão resulta da comparação entre o dado, o conceito e a condição que ficou por testar.

No contrato de uma função de desconto, preço-base e taxa são parâmetros formais; 20 e 0,10 são argumentos de uma chamada concreta. A expressão preço-base × (1 − taxa) devolve 18 nessa chamada. Devolver não é imprimir: o programa que chamou a função pode guardar 18 para outra operação. Se a função não altera a lista original, esse efeito lateral ausente deve ser testado, além do valor devolvido. A taxa admissível deve ser definida antes de aceitar entradas arbitrárias.