loops - loop - lua pairs

¿Por qué Lua no tiene una declaración de "continuación"?

Question

He estado lidiando mucho con Lua en los últimos meses, y realmente me gustan la mayoría de las funciones, pero todavía me falta algo entre ellas:

• ¿Por qué no hay continue ?
• ¿Qué soluciones hay para eso?

Answer 1

En Lua 5.2 la mejor solución es usar goto:

-- prints odd numbers in [|1,10|]
for i=1,10 do
  if i % 2 == 0 then goto continue end
  print(i)
  ::continue::
end

Esto es compatible con LuaJIT desde la versión 2.0.1

Answer 2

La forma en que el lenguaje gestiona el alcance léxico crea problemas al incluir tanto goto como continue . Por ejemplo,

local a=0
repeat 
    if f() then
        a=1 --change outer a
    end
    local a=f() -- inner a
until a==0 -- test inner a

La declaración de a local a dentro del cuerpo de bucle enmascara la variable externa denominada a , y el alcance de ese local se extiende a través de la condición de la instrucción until para que la condición pruebe la a más interna.

Si continue existiendo, tendría que restringirse semánticamente para que solo sea válido después de que todas las variables utilizadas en la condición hayan entrado en el alcance. Esta es una condición difícil de documentar para el usuario y hacer cumplir en el compilador. Se han discutido varias propuestas sobre este tema, incluida la respuesta simple de no permitir continue con la repeat ... until estilo del ciclo. Hasta ahora, ninguno ha tenido un caso de uso suficientemente convincente para incluirlos en el lenguaje.

La solución alternativa es invertir la condición que provocaría que se continue ejecutando, y recopilar el resto del cuerpo del bucle en esa condición. Entonces, el siguiente ciclo

-- not valid Lua 5.1 (or 5.2)
for k,v in pairs(t) do
  if isstring(k) then continue end
  -- do something to t[k] when k is not a string
end

podría escribirse

-- valid Lua 5.1 (or 5.2)
for k,v in pairs(t) do
  if not isstring(k) then 
    -- do something to t[k] when k is not a string
  end
end

Es lo suficientemente claro, y por lo general no es una carga a menos que tenga una serie de recortes elaborados que controlan la operación de bucle.

Answer 3

La primera parte se responde en las FAQ como se señala.

En cuanto a una solución alternativa, puede envolver el cuerpo del bucle en una función y return temprano a partir de eso, por ejemplo

-- Print the odd numbers from 1 to 99
for a = 1, 99 do
  (function()
    if a % 2 == 0 then
      return
    end
    print(a)
  end)()
end

O si desea la funcionalidad break y continue , haga que la función local realice la prueba, por ej.

local a = 1
while (function()
  if a > 99 then
    return false; -- break
  end
  if a % 2 == 0 then
    return true; -- continue
  end
  print(a)
  return true; -- continue
end)() do
  a = a + 1
end

Answer 4

Nos encontramos con este escenario muchas veces y simplemente usamos una bandera para simular continuar. Tratamos de evitar el uso de declaraciones goto también.

Ejemplo: el código intenta imprimir los números del 1 al 10, excepto 3. Además, también imprime "inicio de bucle", final de bucle "," si inicio "y" si finaliza "para simular otras declaraciones que existen en su código y declaraciones anidadas.

size = 10
for i=1, size do
    print("loop start")
    if whatever then
        print("if start")
        if (i == 3) then
            print("i is 3")
            --continue
        end
        print(j)
        print("if end")
    end
    print("loop end")
end

se logra al encerrar todas las declaraciones restantes hasta el alcance final del ciclo con un indicador de prueba.

size = 10
for i=1, size do
    print("loop start")
    local continue = false;  -- initialize flag at the start of the loop
    if whatever then
        print("if start")
        if (i == 3) then
            print("i is 3")
            continue = true
        end

        if continue==false then          -- test flag
            print(j)
            print("if end")
        end
    end

    if (continue==false) then            -- test flag
        print("loop end")
    end
end

No digo que este sea el mejor enfoque, pero nos funciona a la perfección.

Answer 5

Nuevamente con la inversión, simplemente podría usar el siguiente código:

for k,v in pairs(t) do
  if not isstring(k) then 
    -- do something to t[k] when k is not a string
end

Answer 6

Nunca antes había usado Lua, pero busqué en Google y se me ocurrió esto:

http://www.luafaq.org/

Ver FAQ .

Esta es una queja común. Los autores de Lua consideraron que continuar era solo uno de los posibles nuevos mecanismos de flujo de control (el hecho de que no puede funcionar con las reglas de alcance de repetir / hasta que fue un factor secundario).

En Lua 5.2, hay una declaración goto que se puede usar fácilmente para hacer el mismo trabajo.

Answer 7

Podemos lograrlo de la siguiente manera, omitirá los números pares

local len = 5
for i = 1, len do
    repeat 
        if i%2 == 0 then break end
        print(" i = "..i)
        break
    until true
end

O / P:

i = 1
i = 3
i = 5

Answer 8

Puede envolver el cuerpo del bucle en repeat until true adicional repeat until true y luego usar do break end inside para el efecto de continuar. Naturalmente, tendrá que configurar indicadores adicionales si también tiene la intención de break realmente el ciclo.

Esto se repetirá 5 veces, imprimiendo 1, 2 y 3 cada vez.

for idx = 1, 5 do
    repeat
        print(1)
        print(2)
        print(3)
        do break end -- goes to next iteration of for
        print(4)
        print(5)
    until true
end

¡Esta construcción incluso traduce literalmente un código de operación JMP en el bytecode de Lua!

$ luac -l continue.lua 

main <continue.lua:0,0> (22 instructions, 88 bytes at 0x23c9530)
0+ params, 6 slots, 0 upvalues, 4 locals, 6 constants, 0 functions
    1   [1] LOADK       0 -1    ; 1
    2   [1] LOADK       1 -2    ; 3
    3   [1] LOADK       2 -1    ; 1
    4   [1] FORPREP     0 16    ; to 21
    5   [3] GETGLOBAL   4 -3    ; print
    6   [3] LOADK       5 -1    ; 1
    7   [3] CALL        4 2 1
    8   [4] GETGLOBAL   4 -3    ; print
    9   [4] LOADK       5 -4    ; 2
    10  [4] CALL        4 2 1
    11  [5] GETGLOBAL   4 -3    ; print
    12  [5] LOADK       5 -2    ; 3
    13  [5] CALL        4 2 1
    14  [6] JMP         6   ; to 21 -- Here it is! If you remove do break end from code, result will only differ by this single line.
    15  [7] GETGLOBAL   4 -3    ; print
    16  [7] LOADK       5 -5    ; 4
    17  [7] CALL        4 2 1
    18  [8] GETGLOBAL   4 -3    ; print
    19  [8] LOADK       5 -6    ; 5
    20  [8] CALL        4 2 1
    21  [1] FORLOOP     0 -17   ; to 5
    22  [10]    RETURN      0 1

Answer 9

Directamente del diseñador de Lua mismo :

Nuestra principal preocupación con "continuar" es que hay varias otras estructuras de control que (en nuestra opinión) son más o menos tan importantes como "continuar" e incluso pueden reemplazarlo. (Por ejemplo, romper con etiquetas [como en Java] o incluso un goto más genérico.) "Continuar" no parece más especial que otros mecanismos de estructura de control, excepto que está presente en más idiomas. (Perl en realidad tiene dos declaraciones "continuar", "siguiente" y "rehacer". Ambas son útiles).