Escopo: o quintal privado de cada função

O que nasce na função fica na função

Imagine que cada função tem um quintal cercado. Tudo que ela planta ali dentro, as variáveis que cria durante seu trabalho, é dela e só dela. Esse quintal se chama escopo local. Quando você cria uma variável dentro de uma função, como um total que ela usa para somar, essa variável existe apenas durante a execução da função: nasce quando a função é chamada e é apagada quando a função termina e devolve o resultado. Fora dali, ninguém sabe que ela existiu. Isso pode parecer uma limitação, mas é uma das melhores ideias da programação: mantém a bagunça de cada função contida, sem vazar para o resto do programa.

A consequência mais prática do escopo local é que funções diferentes podem usar variáveis de mesmo nome sem colidir. Duas funções podem, cada uma, ter uma variável chamada total, e elas não se misturam: são dois totais em dois quintais diferentes. Isso liberta você de inventar nomes únicos no programa inteiro; dentro de cada função, você escolhe os nomes que fizerem sentido ali, sem se preocupar com o que outras funções usam. Some isso ao fato de que o parâmetro também é uma variável local, só que já chega preenchida com o argumento, e você tem o retrato completo: cada função é um mundinho isolado, com suas próprias variáveis, que faz seu trabalho e vai embora sem deixar rastro.

Por que o isolamento é tão bom

O isolamento do escopo local é o que permite construir programas grandes sem enlouquecer. Sem ele, toda variável seria compartilhada por todo o código, e mudar uma variável dentro de uma função poderia, sem querer, estragar o valor que outra parte do programa estava usando. Seria como cozinhar numa cozinha em que qualquer pessoa pode mexer nas suas panelas a qualquer momento. Com o escopo local, cada função cozinha na sua própria cozinha: o que ela faz lá dentro não afeta as outras. Isso torna o código previsível (você sabe que uma função não vai bagunçar variáveis de fora) e fácil de testar (dá para verificar a função sozinha, sem se preocupar com o resto). É a base do código organizado, e conecta direto com a ideia de funções puras da próxima aula.

função processa()
  x <- 10
  x <- x + 5
  retorne x
fim

resultado <- processa()
escreva(resultado)

Uma palavra sobre variáveis globais

Existe o oposto do local: a variável global, criada fora de qualquer função, que em muitas linguagens pode ser lida de dentro das funções. Parece conveniente ter um valor acessível de todo lugar, e às vezes é (uma configuração fixa, uma constante). Mas usar variáveis globais para o vaivém de dados, em vez de passar por parâmetros e receber por retorno, costuma ser uma armadilha. Quando qualquer função pode mudar uma variável global, fica difícil rastrear quem mudou o quê, e bugs se escondem nesse compartilhamento. A boa prática, que você vai ver reforçada no código limpo do módulo 14, é preferir a comunicação explícita: a função recebe o que precisa por parâmetro e devolve o resultado por retorno, mantendo o escopo local como regra e o global como exceção rara e consciente.