O que é isso e para que serve?
Tentarei responder o mais claro possível.
Como Prisma, na verdade, é uma modificação dos fontes Lua 5.2, ela herda vários traços positivos e negativos da sua linguagem base. Um ponto positivo é a questão dos closures.
Lembra que em Prisma até mesmo as funções são variáveis e com elas podemos fazer praticamente o mesmo que fazemos com as outras variáveis: podemos passar funções como argumentos para outras funções, podemos reatribuir funções em outra variável, podemos retornar funções de dentro de outras funções. É esse último aspecto que quero ressaltar aqui.
Closure nada mais é do que você criar uma função dentro de outra função e assim a função interna mantém seu escopo léxico fechado. Isso significa que as variáveis locais sempre poderão ser acessadas pela função interna, mesmo fora da função externa.
Para entender melhor vejamos um simples exemplo, vamos criar um contador:
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 |
//usando closure funcao contador() local i = 0; retorne funcao() i = i + 1; retorne i; //retorna valor atual de i; fim fim c1 = contador(); c2 = contador(); imprima('c1: '.. c1() , '\nc1: ' .. c1()); para i = 1 , 10 inicio imprima('c1: ' .. c1(),' c2: ' .. c2()); fim |
|
1 |
funcao contador() |
Criamos a função externa: contador();
|
1 |
local i = 0; |
Criamos a variável local i dentro da função contador();
|
1 2 3 4 |
retorne funcao() i = i + 1; retorne i; //retorna valor atual de i; fim |
Retornamos da função contador uma outra função, note que não damos nome à função retornada, e nem precisa já que ela será atribuída a uma variável. A função sem nome é chamada de função anônima.
Note que realizamos operações com a variável i dentro da função retornada.
|
1 2 |
c1 = contador(); c2 = contador(); |
Retornamos a função closure para as variáveis c1 e c2, embora seja a mesma implementação os retornos são duas closures diferentes com escopos léxicos independentes, sendo assim teremos a variável local ‘i’ em c1 e outra variável local ‘i’ em c2. O que torna isso possível é o fato de a função retornada e a variável local ‘i’ estarem no mesmo escopo ao serem criadas quando a função contador é chamada. E, é claro, graças a implementação do mecanismo de interpretação dessa característica em C.
|
1 |
imprima('c1: '.. c1() , '\nc1: ' .. c1()); |
Note que a cada chamada de c1 o valor de ‘i’ é preservado internamente em seu escopo léxico fechado e incrementado o valor 1.
–> 1, 2, 3, 4 ….
|
1 2 3 |
para i = 1 , 10 inicio imprima('c1: ' .. c1(),' c2: ' .. c2()); fim |
Veja que, realmente, cada closure tem seu escopo léxico fechado independente, tanto que quando a função c2 é chamada pela primeira vez, ela começa do 1 e não da continuidade de c1;
Esse foi só um exemplo simples, mas com essa característica da linguagem você conseguirá fazer coisas poderosas como: percorrer e/ou analisar dados, contadores, temporizadores, callbacks, iteradores a serem usados no comando ‘para’ etc…
Bom, por enquanto é isso, até mais…