231

I have been dealing a lot with Lua in the past few months, and I really like most of the features but I'm still missing something among those:

  • Why is there no continue?
  • What workarounds are there for it?
1
  • 18
    Since this question was asked, Lua got a goto statement which can be used to implement continue. See the answers below. Commented Dec 11, 2012 at 17:25

12 Answers 12

154

In Lua 5.2 and upwards the best workaround is to use goto:

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

This is supported in LuaJIT since version 2.0.1

Sign up to request clarification or add additional context in comments.

7 Comments

I hope they include an actual continue one day. The goto replacement doesn't look very nice and needs more lines. Also, wouldn't that create trouble if you had more than one loop doing this in one function, both with ::continue::? Making up a name per loop doesn't sound like a decent thing to do.
The goto gives expressiveness to the language, since continue continues to where? Instead continue 2 or continue 3 when nesting loops, a named goto makes clearer, and even powerful giving the choice to the coder. Maybe the price paid is to write one more line of code, but still it implements a really "one way to go" instead of some languages that implements a thing now and as it is not so abrangent needs to implement N ways to do the same thing in obscure ways.
That argument can be extended to break and even return, break to where? and return to where? Also, the break functionality can be achieved with a goto as well just fine, creating more than "one way to go". But Lua has those two keywords and are quite useful.
@Arkt8 Usually, languages solve the problem that continue/break within nested loops can be ambiguous with named statements (e.g. Java or Swift). These are more powerful than plain continue and break but do not break assumptions about control transfer between basic blocks that are necessary for type inference and/or guaranteed initialization (which Java's and Swift's compiler rely on as well as static analyzers/type checkers for Lua).
@Arkt8 There is one difference: A break and continue will only ever leave one or more lexical scopes, but never enter them. That may or may not make your live harder as a compiler/static analyzer.
|
90

The way that the language manages lexical scope creates issues with including both goto and continue. For example,

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

The declaration of local a inside the loop body masks the outer variable named a, and the scope of that local extends across the condition of the until statement so the condition is testing the innermost a.

If continue existed, it would have to be restricted semantically to be only valid after all of the variables used in the condition have come into scope. This is a difficult condition to document to the user and enforce in the compiler. Various proposals around this issue have been discussed, including the simple answer of disallowing continue with the repeat ... until style of loop. So far, none have had a sufficiently compelling use case to get them included in the language.

The work around is generally to invert the condition that would cause a continue to be executed, and collect the rest of the loop body under that condition. So, the following loop

-- 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 

could be written

-- 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 

It is clear enough, and usually not a burden unless you have a series of elaborate culls that control the loop operation.

14 Comments

Coming from a python background this is a confusing answer because every scope there already knows what are its local variables before running. I.e. I expected an unbound local variable error in the case of reaching until....
There was a lot of discussion of this in the Lua community before the introduction of goto into Lua 5.2. Naturally, goto has the same issue. They eventually decided that whatever the runtime and/or code generation costs were to protect against it were worth the benefits of having a flexible goto that can be used to emulate both continue and multi-level break. You'd have to search the Lua list archives for the relevant threads to get the details. Since they did introduce goto, it obviously was not insurmountable.
There's nothing "clear enough" about writing code without continue. It's a novice mistake to nest code inside a conditional where a continue should have been used, and the need to write ugly code like that shouldn't receive any sympathy. There's absolutely no excuse.
This explanation makes no sense. local is compiler-only directive - it doesn't matter what runtime insructions are between local and variable usage - you don't need to change anything in compiler to maintain same scoping behavior. Yes, this might be not so obvious and need some additional documentation, but, to reiterate again, it requires ZERO changes in compiler. repeat do break end until true example in my answer already generates exactly the same bytecode that compiler would with continue, the only difference is that with continue you wouldn't need ugly extra syntax to use it.
That you can test the inner variable speaks about flawed design. The condition is outside the inner scope and it should not have access to the variables within it. Consider the equivalent in C: do{int i=0;}while (i == 0); fails, or in C++: do int i=0;while (i==0); also fails ("was not declared in this scope"). Too late to change that now in Lua, unfortunately.
|
83

You can wrap loop body in additional repeat until true and then use break inside for effect of continue. Naturally, you'll need to set up additional flags if you also intend to really break out of loop as well.

This will loop 5 times, printing 1, 2, and 3 each time.

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 

The break is wrapped in do and end to keep Lua from complaining about the unreachable code below it. This isn't necessary if the break is wrapped in an if condition, as will be the case in most real-world code.

This construction even translates to literal one opcode JMP in Lua bytecode!

$ 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 

3 Comments

This answer is nice, but still requires 3 lines instead of just one. (if "continue" was properly supported) It's a bit prettier and safer than a goto label though, since for that name clashes might need to be avoided for nested loops.
it does, however, avoid the "real" problem with goto in that you don't have to invent a new identifier/label for each psuedo-continue and that it is less error prone as code is modified over time. i agree that continue would be useful, but this IMO is the next best thing (and it really requires two lines for the repeat/until vs. a more formal "continue;".. and even then, if you were that concerned with line counts you could always write "do repeat" and "until true end", for example: gist.github.com/wilson0x4d/f8410719033d1e0ef771)
Nice to see people actually consider performance and even provide luac output on SO! Have a well deserved upvote :)
26

Straight from the designer of Lua himself:

Our main concern with "continue" is that there are several other control structures that (in our view) are more or less as important as "continue" and may even replace it. (E.g., break with labels [as in Java] or even a more generic goto.) "continue" does not seem more special than other control-structure mechanisms, except that it is present in more languages. (Perl actually has two "continue" statements, "next" and "redo". Both are useful.)

9 Comments

I love the admittance: "Both are useful" right after an explanation of "we're not going to do it"
It was to note the scope that they were looking to address when they did do it, by adding a "goto" construct in 5.2 (which hadn't been released when this answer was written). See this answer from 2012, after 5.2.0 was released.
Right - because 'goto' is well-recognized to be a decent programming construct. (end sarcasm) Ah well.
But it did not sound more reasonable than "I just forgot to put continue into Lua, sorry."
The Ada language, used for mission-critical applications, also does not have continue nor break. See this [stackoverflow.com/questions/28787843/… discussion.
|
23

The first part is answered in the FAQ as slain pointed out.

As for a workaround, you can wrap the body of the loop in a function and return early from that, e.g.

-- 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 

Or if you want both break and continue functionality, have the local function perform the test, e.g.

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 

3 Comments

Please don't. You create closure environment on each iteration and this is HUGE waste of memory and GC cycles.
go check collectgarbage("count") even after your simple 100 tries and then we'll talk. Such "premature" optimization saved one highload project from rebooting every minute last week.
@OlegV.Volkov while this example does put a relatively high load on the GC, it does not leak - All the temporary closures will be collected. I don't know about your project but IME most repeating reboots are due to leaks.
18

I've never used Lua before, but I Googled it and came up with this:

http://www.luafaq.org/

Check question 1.26.

This is a common complaint. The Lua authors felt that continue was only one of a number of possible new control flow mechanisms (the fact that it cannot work with the scope rules of repeat/until was a secondary factor.)

In Lua 5.2, there is a goto statement which can be easily used to do the same job.

Comments

15

Lua is a lightweight scripting language which aims to be as small as possible. For example, many unary operators such as pre/post increment, are not available.

Instead of continue, you can use goto:

arr = {1,2,3,45,6,7,8} for key,val in ipairs(arr) do if val > 6 then goto skip_to_next end # perform some calculation ::skip_to_next:: end 

1 Comment

For understanding others, things need to be simple and readable. For usage, everyone has their own approach for the same action.
8

We can achieve it as below, it will skip even numbers

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 

Comments

6

We encountered this scenario many times and we simply use a flag to simulate continue. We try to avoid the use of goto statements as well.

Example: The code intends to print the statements from i=1 to i=10 except i=3. In addition it also prints "loop start", loop end", "if start", and "if end" to simulate other nested statements that exist in your code.

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 

is achieved by enclosing all remaining statements until the end scope of the loop with a test flag.

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 

I'm not saying that this is the best approach but it works perfectly to us.

Comments

4

Again with the inverting, you could simply use the following code:

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

1 Comment

The problem with inversion is that more often than not there are multiple conditionals in a series (such as to validate user input). And because there might need to be a short circuit at any point along the way, inversion means having to nest the conditionals continuously (instead of "is this bad? then escape; else is this bad? then escape", which is very straightforward, you end up with code like "is this okay? then is this okay? then is this okay? then do this" which is very excessive.
-2

Funnily enough, I've just posted a YouTube video that is relevant to this: https://youtu.be/qL2VsAjGRnY.

The point I make in the video is that you should not be needing to continue from inside a loop.

You should aim to make the data correct before iterating over it. In Lua, this looks like this:

-- prints odd numbers in [|1,10|] local items = {} -- make the table for i = 1, 10 do table.insert(items, i) end --now filter out even numbers local odds = {} for i = 1, #items do if items[i] % 2 ~= 0 then table.insert(odds, items[i]) end end -- now we can print the odds for _, v in ipairs(odds) do print(v) end 

This demonstrates the principal of getting the data right BEFORE processing it rather than during the processing.

1 Comment

This is shortsighted at best. You might be loading data from disk that is far too large to fit into memory all at once, for example. Just use if x then process(y) end as the loop body instead of an equivalent if !x then continue end process(y).
-23

Why is there no continue?

Because it's unnecessary¹. There's very few situations where a dev would need it.

A) When you have a very simple loop, say a 1- or 2-liner, then you can just turn the loop condition around and it's still plenty readable.

B) When you're writing simple procedural code (aka. how we wrote code in the last century), you should also be applying structured programming (aka. how we wrote better code in the last century)

C) If you're writing object-oriented code, your loop body should consist of no more than one or two method calls unless it can be expressed in a one- or two-liner (in which case, see A)

D) If you're writing functional code, just return a plain tail-call for the next iteration.

The only case when you'd want to use a continue keyword is if you want to code Lua like it's python, which it just isn't.²

What workarounds are there for it?

Unless A) applies, in which case there's no need for any workarounds, you should be doing Structured, Object-Oriented or Functional programming. Those are the paradigms that Lua was built for, so you'd be fighting against the language if you go out of your way to avoid their patterns.³


Some clarification:

¹ Lua is a very minimalistic language. It tries to have as few features as it can get away with, and a continue statement isn't an essential feature in that sense.

I think this philosophy of minimalism is captured well by Roberto Ierusalimschy in this 2019 interview:

add that and that and that, put that out, and in the end we understand the final conclusion will not satisfy most people and we will not put all the options everybody wants, so we don’t put anything. In the end, strict mode is a reasonable compromise.

² There seems to be a large number of programmers coming to Lua from other languages because whatever program they're trying to script for happens to use it, and many of them want don't seem to want to write anything other than their language of choice, which leads to many questions like "Why doesn't Lua have X feature?"

Matz described a similar situation with Ruby in a recent interview:

The most popular question is: "I’m from the language X community; can’t you introduce a feature from the language X to Ruby?", or something like that. And my usual answer to these requests is… "no, I wouldn’t do that", because we have different language design and different language development policies.

³ There's a few ways to hack your way around this; some users have suggested using goto, which is a good enough aproximation in most cases, but gets very ugly very quickly and breaks completely with nested loops. Using gotos also puts you in danger of having a copy of SICP thrown at you whenever you show your code to anybody else.

9 Comments

I downvoted because the very first sentence is obviously false, and the rest of the answer is unhelpful.
Unhelpful? Maybe; it's a somewhat opinion-based answer. The first sentence is obviously true though; continue might be a convenient feature, but that doesn't make it necessary. Lots of people use Lua just fine without it, so there's really no case for it being anything else than a neat feature that's not essential to any programming Language.
That’s not an argument: you can’t argue that people are "fine without it" when they don’t have any choice.
repeat/until is not necessary either. Neither is for loop, string concat operator, named function syntax, and countless others. To consider whether the feature is "unnecessary" in the sense mentioned is simply off topic.
"necessary". No high level language is "necessary", you can do everything in machine language. But when you do have a high level language, other factors come into play. For example, readability.
|

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.