-
Notifications
You must be signed in to change notification settings - Fork 5
/
lua51refvim.txt
5617 lines (4399 loc) · 224 KB
/
lua51refvim.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
*luarefvim.txt* Lua 5.1 Reference Manual for Vim
Vim version 7.0
*luaref* *Lua-Reference*
Lua Reference for Vim
=========================
Version 0.2.0
November, 25th, 2006
(c) 2006 by Luis Carvalho
<lexcarvalho at gmail dot com>
Adapted from "Lua: 5.1 reference manual"
R. Ierusalimschy, L. H. de Figueiredo, W. Celes
Copyright (c) 2006 Lua.org, PUC-Rio.
See |lrv-doc| for information on this manual.
See |lrv-copyright| for copyright and licenses.
CONTENTS
============
1 INTRODUCTION........................|lrv-intro|
2 THE LANGUAGE........................|lrv-language|
2.1 Lexical Conventions...............|lrv-langLexConv|
2.2 Values and Types..................|lrv-langValTypes|
2.2.1 Coercion........................|lrv-langCoercion|
2.3 Variables.........................|lrv-langVariables|
2.4 Statements........................|lrv-langStats|
2.4.1 Chunks..........................|lrv-langChunks|
2.4.2 Blocks..........................|lrv-langBlocks|
2.4.3 Assignment......................|lrv-langAssign|
2.4.4 Control Structures..............|lrv-langContStructs|
2.4.5 For Statement...................|lrv-langForStat|
2.4.6 Function Calls as Statements....|lrv-langFuncStat|
2.4.7 Local Declarations..............|lrv-langLocalDec|
2.5 Expressions.......................|lrv-langExpressions|
2.5.1 Arithmetic Operators............|lrv-langArithOp|
2.5.2 Relational Operators............|lrv-langRelOp|
2.5.3 Logical Operators...............|lrv-langLogOp|
2.5.4 Concatenation...................|lrv-langConcat|
2.5.5 The Length Operator.............|lrv-langLength|
2.5.6 Precedence......................|lrv-langPrec|
2.5.7 Table Constructors..............|lrv-langTableConst|
2.5.8 Function Calls..................|lrv-langFuncCalls|
2.5.9 Function Definitions............|lrv-langFuncDefs|
2.6 Visibility Rules..................|lrv-langVisibRules|
2.7 Error Handling....................|lrv-langError|
2.8 Metatables........................|lrv-langMetatables|
2.9 Environments......................|lrv-langEnvironments|
2.10 Garbage Collection...............|lrv-langGC|
2.10.1 Garbage-Collection Metamethods.|lrv-langGCMeta|
2.10.2 Weak Tables....................|lrv-langWeaktables|
2.11 Coroutines.......................|lrv-langCoro|
3 THE APPLICATION PROGRAM INTERFACE...|lrv-api|
3.1 The Stack.........................|lrv-apiStack|
3.2 Stack Size........................|lrv-apiStackSize|
3.3 Pseudo-Indices....................|lrv-apiPseudoIndices|
3.4 C Closures........................|lrv-apiCClosures|
3.5 Registry..........................|lrv-apiRegistry|
3.6 Error Handling in C...............|lrv-apiError|
3.7 Functions and Types...............|lrv-apiFunctions|
3.8 The Debug Interface...............|lrv-apiDebug|
4 THE AUXILIARY LIBRARY...............|lrv-aux|
4.1 Functions and Types...............|lrv-auxFunctions|
5 STANDARD LIBRARIES..................|lrv-lib|
5.1 Basic Functions...................|lrv-libBasic|
5.2 Coroutine Manipulation............|lrv-libCoro|
5.3 Modules...........................|lrv-libModule|
5.4 String Manipulation...............|lrv-libString|
5.4.1 Patterns........................|lrv-libStringPat|
5.5 Table Manipulation................|lrv-libTable|
5.6 Mathematical Functions............|lrv-libMath|
5.7 Input and Output Facilities.......|lrv-libIO|
5.8 Operating System Facilities.......|lrv-libOS|
5.9 The Debug Library.................|lrv-libDebug|
6 LUA STAND-ALONE.....................|lrv-LuaSA|
A INDEX...............................|lrv-index|
B BIBLIOGRAPHY........................|lrv-bibliography|
C COPYRIGHT & LICENSES................|lrv-copyright|
D LUAREFVIM DOC.......................|lrv-doc|
D.1 Installation.......................|lrv-docInstall|
D.2 Usage..............................|lrv-docUsage|
==============================================================================
1 INTRODUCTION *lrv-intro*
==============================================================================
Lua is an extension programming language designed to support general
procedural programming with data description facilities. It also offers good
support for object-oriented programming, functional programming, and
data-driven programming. Lua is intended to be used as a powerful,
light-weight scripting language for any program that needs one. Lua is
implemented as a library, written in@clean@C (that is, in the common subset
of ANSI C and C++).
Being an extension language, Lua has no notion of a "main" program: it only
works@embedded@in a host client, called the@embedding program@or simply
the@host@. This host program can invoke functions to execute a piece of Lua
code, can write and read Lua variables, and can register C functions to be
called by Lua code. Through the use of C functions, Lua can be augmented to
cope with a wide range of different domains, thus creating customized
programming languages sharing a syntactical framework.
The Lua distribution includes a sample host program called$lua$, which uses
the Lua library to offer a complete, stand-alone Lua interpreter.
Lua is free software, and is provided as usual with no guarantees, as stated
in its license. The implementation described in this manual is available at
Lua's official web site,$www.lua.org$.
Like any other reference manual, this document is dry in places. For a
discussion of the decisions behind the design of Lua, see references at
|lrv-bibliography|. For a detailed introduction to programming in Lua, see
Roberto's book,@Programming in Lua@.
Lua means "moon" in Portuguese and is pronounced LOO-ah.
==============================================================================
2 THE LANGUAGE *lrv-language*
==============================================================================
This section describes the lexis, the syntax, and the semantics of Lua. In
other words, this section describes which tokens are valid, how they can be
combined, and what their combinations mean.
The language constructs will be explained using the usual extended BNF
notation, in which {@a@} means 0 or more@a@'s, and [@a@] means an optional@a@.
Non-terminals are shown in@italics@, keywords are shown in#bold#, and other
terminal symbols are shown in$typewriter$color, enclosed in single quotes.
==============================================================================
2.1 Lexical Conventions *lrv-langLexConv*
*lrv-names* *lrv-identifiers*
@Names@(also called@identifiers@) in Lua can be any string of letters, digits,
and underscores, not beginning with a digit. This coincides with the
definition of identifiers in most languages. (The definition of letter depends
on the current locale: any character considered alphabetic by the current
locale can be used in an identifier.) Identifiers are used to name variables
and table fields.
The following@keywords@are reserved and cannot be used as names:
>
and break do else elseif
end false for function if
in local nil not or
repeat return then true until while
<
Lua is a case-sensitive language:$and$is a reserved word, but$And$and$AND$are
two different, valid names. As a convention, names starting with an underscore
followed by uppercase letters (such as$_VERSION$) are reserved for internal
global variables used by Lua.
The following strings denote other tokens:
>
+ - * / % ^ #
== ~= <= >= < > =
( ) { } [ ]
; : , . .. ...
>
*lrv-literal*
@Literal strings@can be delimited by matching single or double quotes, and can
contain the following C-like escape sequences:
#o#$\a$: bell
#o#$\b$: backspace
#o#$\f$: form feed
#o#$\n$: newline
#o#$\r$: carriage return
#o#$\t$: horizontal tab
#o#$\v$: vertical tab
#o#$\\$: backslash
#o#$\"$: quotation mark (double quote)
#o#$\'$: apostrophe (single quote)
Moreover, a backslash followed by a real newline results in a newline in the
string. A character in a string may also be specified by its numerical value
using the escape sequence$`\ddd'$, where@ddd@is a sequence of up to three
decimal digits. (Note that if a numerical escape is to be followed by a digit,
it must be expressed using exactly three digits.) Strings in Lua may contain
any 8-bit value, including embedded zeros, which can be specified as$`\0'$.
To put a double (single) quote, a newline, a backslash, or an embedded zero
inside a literal string enclosed by double (single) quotes you must use an
escape sequence. Any other character may be directly inserted into the
literal. (Some control characters may cause problems for the file system, but
Lua has no problem with them.)
Literal strings can also be defined using a long format enclosed by
@long brackets@. We define an@opening long bracket of level n@as an opening
square bracket followed by@n@ equal signs followed by another opening square
bracket. So, an opening long bracket of level 0 is written as$[[$, an opening
long bracket of level 1 is written as$[=[$, and so on.
A@closing long bracket@is defined similarly; for instance, a closing long
bracket of level 4 is written as$]====]$. A long string starts with an opening
long bracket of any level and ends at the first closing long bracket of the
same level. Literals in this bracketed form may run for several lines, do not
interpret any escape sequences, and ignore long brackets of any other level.
They may contain anything except a closing bracket of the proper level.
For convenience, when the opening long bracket is immediately followed by a
newline, the newline is not included in the string. As an example, in a system
using ASCII (in which$`a'$is coded as 97, newline is coded as 10, and $`1'$is
coded as 49), the five literals below denote the same string:
>
a = 'alo\n123"'
a = "alo\n123\""
a = '\97lo\10\04923"'
a = [[alo
123"]]
a = [==[
alo
123"]==]
>
*lrv-numconstant*
A@numerical constant@may be written with an optional decimal part and an
optional decimal exponent. Lua also accepts integer hexadecimal constants, by
prefixing them with$0x$. Examples of valid numerical constants are
>
3 3.0 3.1416 314.16e-2 0.31416E1 0xff 0x56
>
*lrv-comment*
A@comment@starts with a double hyphen ($--$) anywhere outside a string. If the
text immediately after$--$is not an opening long bracket, the comment is
a@short comment@, which runs until the end of the line. Otherwise, it is
a@long comment@, which runs until the corresponding closing long bracket. Long
comments are frequently used to disable code temporarily.
==============================================================================
2.2 Values and Types *lrv-langValTypes*
Lua is a@dynamically typed language@. This means that variables do not have
types; only values do. There are no type definitions in the language. All
values carry their own type.
All values in Lua are@first-class values@. This means that all values can be
stored in variables, passed as arguments to other functions, and returned as
results.
*lrv-types* *lrv-nil* *lrv-true* *lrv-false* *lrv-number* *lrv-string*
There are eight basic types in Lua:@nil@,@boolean@,@number@,@string@,
@function@,@userdata@,@thread@, and@table@.@Nil@is the type of the value#nil#,
whose main property is to be different from any other value; it usually
represents the absence of a useful value.@Boolean@is the type of the
values#false#and#true#. Both#nil#and#false#make a condition false; any other
value makes it true.@Number@represents real (double-precision floating-point)
numbers. (It is easy to build Lua interpreters that use other internal
representations for numbers, such as single-precision float or long
integers; see file$luaconf.h$.)@String@represents arrays of characters. Lua is
8-bit clean: strings may contain any 8-bit character, including embedded zeros
($'\0'$) (see |lrv-literal|).
Lua can call (and manipulate) functions written in Lua and functions written
in C (see |lrv-langFuncCalls|).
*lrv-userdatatype*
The type@userdata@is provided to allow arbitrary C data to be stored in Lua
variables. This type corresponds to a block of raw memory and has no
pre-defined operations in Lua, except assignment and identity test. However,
by using@metatables@, the programmer can define operations for userdata values
(see |lrv-langMetatables|). Userdata values cannot be created or modified in
Lua, only through the C API. This guarantees the integrity of data owned by
the host program.
*lrv-thread*
The type@thread@represents independent threads of execution and it is used to
implement coroutines (see |lrv-langCoro|). Do not confuse Lua threads with
operating-system threads. Lua supports coroutines on all systems, even those
that do not support threads.
*lrv-table*
The type@table@implements associative arrays, that is, arrays that can be
indexed not only with numbers, but with any value (except#nil#). Tables can
be@heterogeneous@; that is, they can contain values of all types
(except#nil#). Tables are the sole data structuring mechanism in Lua; they may
be used to represent ordinary arrays, symbol tables, sets, records, graphs,
trees, etc. To represent records, Lua uses the field name as an index. The
language supports this representation by providing$a.name$as syntactic sugar
for$a["name"]$. There are several convenient ways to create tables in Lua (see
|lrv-langTableConst|).
Like indices, the value of a table field can be of any type (except#nil#). In
particular, because functions are first-class values, table fields may contain
functions. Thus tables may also carry@methods@(see |lrv-langFuncDefs|).
Tables, functions, threads and (full) userdata values are@objects@: variables
do not actually@contain@these values, only@references@to them. Assignment,
parameter passing, and function returns always manipulate references to such
values; these operations do not imply any kind of copy.
The library function$type$returns a string describing the type of a given
value (see |lrv-type|).
------------------------------------------------------------------------------
2.2.1 Coercion *lrv-langCoercion*
Lua provides automatic conversion between string and number values at run
time. Any arithmetic operation applied to a string tries to convert that
string to a number, following the usual conversion rules. Conversely, whenever
a number is used where a string is expected, the number is converted to a
string, in a reasonable format. For complete control of how numbers are
converted to strings, use the$format$function from the string library (see
|lrv-string.format|).
==============================================================================
2.3 Variables *lrv-langVariables*
Variables are places that store values. There are three kinds of variables in
Lua: global variables, local variables, and table fields.
A single name can denote a global variable or a local variable (or a
function's formal parameter, which is a particular form of local variable):
>
var ::= Name
>
Name denotes identifiers, as defined in |lrv-langLexConv|.
Any variable is assumed to be global unless explicitly declared as a local
(see |lrv-langLocalDec|). Local variables are@lexically scoped@: local
variables can be freely accessed by functions defined inside their scope (see
|lrv-langVisibRules|).
Before the first assignment to a variable, its value is#nil#.
Square brackets are used to index a table:
$var ::= prefixexp$#`['#$exp$#`]'#
The first expression (@prefixexp@) should result in a table value; the second
expression (@exp@) identifies a specific entry inside that table. The
expression denoting the table to be indexed has a restricted syntax; see
|lrv-langExpressions| for details.
The syntax$var.NAME$is just syntactic sugar for$var["NAME"]$:
$var ::= prefixexp$#`.'#$Name$
All global variables live as fields in ordinary Lua tables, called
@environment tables@or simply@environments@(see |lrv-langEnvironments|).
Each function has its own reference to an environment, so that all global
variables in this function will refer to this environment table. When a
function is created, it inherits the environment from the function that
created it. To get the environment table of a Lua function, you
call$getfenv$(see |lrv-getfenv|). To replace it, you call$setfenv$(see
|lrv-setfenv|). (You can only manipulate the environment of C functions
through the debug library; see |lrv-libDebug|.)
An access to a global variable$x$is equivalent to$_env.x$, which in turn is
equivalent to
>
gettable_event(_env, "x")
>
where$_env$is the environment of the running function. (The$_env$variable is
not defined in Lua. We use it here only for explanatory purposes.)
The meaning of accesses to global variables and table fields can be changed
via metatables. An access to an indexed variable$t[i]$is equivalent to a
call$gettable_event(t,i)$. (See |lrv-langMetatables| for a complete
description of the$gettable_event$function. This function is not defined or
callable in Lua. We use it here only for explanatory purposes.)
==============================================================================
2.4 Statements *lrv-langStats*
Lua supports an almost conventional set of statements, similar to those in
Pascal or C. This set includes assignment, control structures, function
calls, and variable declarations.
------------------------------------------------------------------------------
2.4.1 Chunks *lrv-chunk* *lrv-langChunks*
The unit of execution of Lua is called a@chunk@. A chunk is simply a sequence
of statements, which are executed sequentially. Each statement can be
optionally followed by a semicolon:
$chunk ::= {stat [$#`;'#$]}$
There are no empty statements and thus$`;;'$is not legal.
Lua handles a chunk as the body of an anonymous function with a variable
number of arguments (see |lrv-langFuncDefs|). As such, chunks can define local
variables, receive arguments, and return values.
A chunk may be stored in a file or in a string inside the host program. When a
chunk is executed, first it is pre-compiled into instructions for a virtual
machine, and then the compiled code is executed by an interpreter for the
virtual machine.
Chunks may also be pre-compiled into binary form; see program$luac$for
details. Programs in source and compiled forms are interchangeable; Lua
automatically detects the file type and acts accordingly.
------------------------------------------------------------------------------
2.4.2 Blocks *lrv-block* *lrv-langBlocks*
A block is a list of statements; syntactically, a block is the same as a
chunk:
>
block ::= chunk
>
*lrv-do* *lrv-end*
A block may be explicitly delimited to produce a single statement:
$stat ::=$#do#$block$#end#
Explicit blocks are useful to control the scope of variable declarations.
Explicit blocks are also sometimes used to add a#return#or#break#statement in
the middle of another block (see |lrv-langContStructs|).
------------------------------------------------------------------------------
2.4.3 Assignment *lrv-langAssign*
Lua allows multiple assignment. Therefore, the syntax for assignment defines a
list of variables on the left side and a list of expressions on the right
side. The elements in both lists are separated by commas:
$stat ::= varlist1$#`='#$explist1$
$varlist1 ::= var {$#`,'#$var }$
$explist1 ::= exp {$#`,'#$exp }$
Expressions are discussed in |lrv-langExpressions|.
Before the assignment, the list of values is@adjusted@to the length of the
list of variables. If there are more values than needed, the excess values are
thrown away. If there are fewer values than needed, the list is extended with
as many#nil#'s as needed. If the list of expressions ends with a function
call, then all values returned by this call enter in the list of values,
before the adjustment (except when the call is enclosed in parentheses; see
|lrv-langExpressions|).
The assignment statement first evaluates all its expressions and only then are
the assignments performed. Thus the code
>
i = 3
i, a[i] = i+1, 20
>
sets$a[3]$to 20, without affecting$a[4]$because the$i$in$a[i]$is evaluated (to
3) before it is assigned 4. Similarly, the line
>
x, y = y, x
>
exchanges the values of$x$and$y$.
The meaning of assignments to global variables and table fields can be changed
via metatables. An assignment to an indexed variable$t[i] = val$is equivalent
to$settable_event(t,i,val)$. (See |lrv-langMetatables| for a complete
description of the$settable_event$function. This function is not defined or
callable in Lua. We use it here only for explanatory purposes.)
An assignment to a global variable$x = val$is equivalent to the
assignment$_env.x = val$, which in turn is equivalent to
>
settable_event(_env, "x", val)
>
where$_env$is the environment of the running function. (The$_env$variable is
not defined in Lua. We use it here only for explanatory purposes.)
------------------------------------------------------------------------------
2.4.4 Control Structures *lrv-langContStructs*
*lrv-if* *lrv-then* *lrv-else* *lrv-elseif*
*lrv-while* *lrv-repeat* *lrv-until*
The control structures#if#,#while#, and#repeat#have the usual meaning and
familiar syntax:
$stat ::=$#while#$exp$#do#$block$#end#
$stat ::=$#repeat#$block$#until#$exp$
$stat ::=$#if#$exp$#then#$block {$#elseif#$exp$#then#$block }$
$[$#else#$block ]$#end#
Lua also has a#for#statement, in two flavors (see |lrv-langForStat|).
The condition expression of a control structure may return any value.
Both#false#and#nil#are considered false. All values different
from#nil#and#false#are considered true (in particular, the number 0 and the
empty string are also true).
In the#repeat-until#loop, the inner block does not end at the#until#keyword,
but only after the condition. So, the condition can refer to local variables
declared inside the loop block.
*lrv-return*
The#return#statement is used to return values from a function or a chunk
(which is just a function). Functions and chunks may return more than one
value, so the syntax for the#return#statement is
$stat ::=$#return#$[explist1]$
*lrv-break*
The#break#statement is used to terminate the execution of a#while#,#repeat#,
or#for#loop, skipping to the next statement after the loop:
$stat ::=$#break#
A#break#ends the innermost enclosing loop.
The#return#and#break#statements can only be written as the@last@statement of a
block. If it is really necessary to#return#or#break#in the middle of a block,
then an explicit inner block can be used, as in the idioms
$`do return end'$and$`do break end'$, because now#return#and#break#are the
last statements in their (inner) blocks.
------------------------------------------------------------------------------
2.4.5 For Statement *lrv-for* *lrv-langForStat*
The#for#statement has two forms: one numeric and one generic.
The numeric#for#loop repeats a block of code while a control variable runs
through an arithmetic progression. It has the following syntax:
$stat ::=$#for#$Name$#`='#$exp$#`,'#$exp [$#`,'#$exp ]$#do#$block$#end#
The@block@is repeated for@name@starting at the value of the first@exp@, until
it passes the second@exp@by steps of the third@exp@. More precisely,
a#for#statement like
$for var =$@e1, e2, e3@$do$@block@$end$
is equivalent to the code:
$do$
$local$@var, limit, step@$= tonumber(e1), tonumber(e2), tonumber(e3)$
$if not ($@var@$and$@limit@$and$@step@$) then error() end$
$while ($@step@$>0 and$@var@$<=$@limit@$)$
$or ($@step@$<=0 and$@var@$>=$@limit@$) do$
$block$
@var@$=$@var@$+$@step@
$end$
$end$
Note the following:
#o#All three control expressions are evaluated only once, before the loop
starts. They must all result in numbers.
#o#@var@,@limit@and@step@are invisible variables. The names are here for
explanatory purposes only.
#o#If the third expression (the step) is absent, then a step of 1 is used.
#o#You can use#break#to exit a#for#loop.
#o#The loop variable$var$is local to the loop; you cannot use its value
after the#for#ends or is broken. If you need this value, assign it to
another variable before breaking or exiting the loop.
*lrv-in*
The generic#for#statement works over functions, called@iterators@. On each
iteration, the iterator function is called to produce a new value, stopping
when this new value is#nil#. The generic#for#loop has the following syntax:
$stat ::=$#for#$namelist$#in#$explist1$#do#$block$#end#
$namelist ::= Name {$#`,'#$Name }$
A#for#statement like
$for$@var1, ..., varn@$in$@explist@$do$@block@$end$
is equivalent to the code:
$do$
$local$@f, s, var@$=$@explist@
$while true do$
$local$@var1, ..., varn@$=$@f(s, var)@
@var@$=$@var1@
$if$@var@$== nil then break end$
@block@
$end$
$end$
Note the following:
#o#@explist@is evaluated only once. Its results are an@iterator@function,
a@state@, and an initial value for the first@iterator variable@.
#o#@f@,@s@, and@var@are invisible variables. The names are here for
explanatory purposes only.
#o#You can use#break#to exit a#for#loop.
#o#The loop variables@var1, ..., varn@are local to the loop; you cannot use
their values after the#for#ends. If you need these values, then assign
them to other variables before breaking or exiting the loop.
------------------------------------------------------------------------------
2.4.6 Function Calls as Statements *lrv-langFuncStat*
To allow possible side-effects, function calls can be executed as statements:
>
stat ::= functioncall
>
In this case, all returned values are thrown away. Function calls are
explained in |lrv-langFuncCalls|.
------------------------------------------------------------------------------
2.4.7 Local Declarations *lrv-local* *lrv-langLocalDec*
Local variables may be declared anywhere inside a block. The declaration may
include an initial assignment:
$stat ::=$#local#$namelist [$#`='#$explist1 ]$
$namelist ::= Name {$#`,'#$Name }$
If present, an initial assignment has the same semantics of a multiple
assignment (see |lrv-langAssign|). Otherwise, all variables are initialized
with#nil#.
A chunk is also a block (see |lrv-langChunks|), and so local variables can be
declared in a chunk outside any explicit block. The scope of such local
variables extends until the end of the chunk.
The visibility rules for local variables are explained in
|lrv-langVisibRules|.
==============================================================================
2.5 Expressions *lrv-langExpressions*
The basic expressions in Lua are the following:
$exp ::= prefixexp$
$exp ::=$#nil#$|$#false#$|$#true#
$exp ::= Number$
$exp ::= String$
$exp ::= function$
$exp ::= tableconstructor$
$exp ::=$#`...'#
$exp ::= exp binop exp$
$exp ::= unop exp$
$prefixexp ::= var | functioncall |$#`('#$exp$#`)'#
Numbers and literal strings are explained in |lrv-langLexConv|; variables are
explained in |lrv-langVariables|; function definitions are explained in
|lrv-langFuncDefs|; function calls are explained in |lrv-langFuncCalls|;
table constructors are explained in |lrv-langTableConst|. Vararg expressions,
denoted by three dots ($`...'$), can only be used inside vararg functions;
they are explained in |lrv-langFuncDefs|.
Binary operators comprise arithmetic operators (see |lrv-langArithOp|),
relational operators (see |lrv-langRelOp|), logical operators (see
|lrv-langLogOp|), and the concatenation operator (see |lrv-langConcat|).
Unary operators comprise the unary minus (see |lrv-labgArithOp|), the unary
#not# (see |lrv-langLogOp|), and the unary@length operator@(see
|lrv-langLength|).
Both function calls and vararg expressions may result in multiple values. If
the expression is used as a statement (see |lrv-langFuncStat|)
(only possible for function calls), then its return list is adjusted to zero
elements, thus discarding all returned values. If the expression is used as
the last (or the only) element of a list of expressions, then no adjustment is
made (unless the call is enclosed in parentheses). In all other contexts, Lua
adjusts the result list to one element, discarding all values except the first
one.
Here are some examples:
>
f() -- adjusted to 0 results
g(f(), x) -- f() is adjusted to 1 result
g(x, f()) -- g gets x plus all results from f()
a,b,c = f(), x -- f() is adjusted to 1 result (c gets nil)
a,b = ... -- a gets the first vararg parameter, b gets
-- the second (both a and b may get nil if there
-- is no corresponding vararg parameter)
a,b,c = x, f() -- f() is adjusted to 2 results
a,b,c = f() -- f() is adjusted to 3 results
return f() -- returns all results from f()
return ... -- returns all received vararg parameters
return x,y,f() -- returns x, y, and all results from f()
{f()} -- creates a list with all results from f()
{...} -- creates a list with all vararg parameters
{f(), nil} -- f() is adjusted to 1 result
>
An expression enclosed in parentheses always results in only one value. Thus,
$(f(x,y,z))$is always a single value, even if$f$returns several values.
(The value of$(f(x,y,z))$is the first value returned by$f$or#nil#if$f$does not
return any values.)
------------------------------------------------------------------------------
2.5.1 Arithmetic Operators *lrv-langArithOp*
Lua supports the usual arithmetic operators: the binary$+$(addition),
$-$(subtraction),$*$(multiplication),$/$(division),$%$(modulo)
and$^$(exponentiation); and unary$-$(negation). If the operands are numbers,
or strings that can be converted to numbers (see |lrv-langCoercion|), then all
operations have the usual meaning. Exponentiation works for any exponent. For
instance,$x^(-0.5)$computes the inverse of the square root of$x$. Modulo is
defined as
>
a % b == a - math.floor(a/b)*b
>
That is, it is the remainder of a division that rounds the quotient towards
minus infinity.
------------------------------------------------------------------------------
2.5.2 Relational Operators *lrv-langRelOp*
The relational operators in Lua are
>
== ~= < > <= >=
>
These operators always result in#false#or#true#.
Equality ($==$) first compares the type of its operands. If the types are
different, then the result is#false#. Otherwise, the values of the operands
are compared. Numbers and strings are compared in the usual way. Objects
(tables, userdata, threads, and functions) are compared by@reference@: two
objects are considered equal only if they are the@same@object. Every time you
create a new object (a table, userdata, or function), this new object is
different from any previously existing object.
You can change the way that Lua compares tables and userdata using the "eq"
metamethod (see |lrv-langMetatables|).
The conversion rules of coercion |lrv-langCoercion|@do not@apply to equality
comparisons. Thus,$"0"==0$evaluates to#false#, and$t[0]$and$t["0"]$denote
different entries in a table.
The operator$~=$is exactly the negation of equality ($==$).
The order operators work as follows. If both arguments are numbers, then they
are compared as such. Otherwise, if both arguments are strings, then their
values are compared according to the current locale. Otherwise, Lua tries to
call the "lt" or the "le" metamethod (see |lrv-langMetatables|).
------------------------------------------------------------------------------
2.5.3 Logical Operators *lrv-langLogOp*
The logical operators in Lua are
>
and or not
>
Like the control structures (see |lrv-langContStructs|), all logical operators
consider both#false#and#nil#as false and anything else as true.
*lrv-not* *lrv-and* *lrv-or*
The negation operator#not#always returns#false#or#true#. The conjunction
operator#and#returns its first argument if this value is#false#or#nil#;
otherwise,#and#returns its second argument. The disjunction
operator#or#returns its first argument if this value is different
from#nil#and#false#; otherwise,#or#returns its second argument.
Both#and#and#or#use short-cut evaluation, that is, the second operand is
evaluated only if necessary. Here are some examples:
>
10 or 20 --> 10
10 or error() --> 10
nil or "a" --> "a"
nil and 10 --> nil
false and error() --> false
false and nil --> false
false or nil --> nil
10 and 20 --> 20
>
(In this manual,$-->$indicates the result of the preceding expression.)
------------------------------------------------------------------------------
2.5.4 Concatenation *lrv-langConcat*
The string concatenation operator in Lua is denoted by two dots ($`..'$).
If both operands are strings or numbers, then they are converted to strings
according to the rules mentioned in |lrv-langCoercion|. Otherwise, the
"concat" metamethod is called (see |lrv-langMetatables|).
------------------------------------------------------------------------------
2.5.5 The Length Operator *lrv-langLength*
The length operator is denoted by the unary operator$#$. The length of a
string is its number of bytes (that is, the usual meaning of string length
when each character is one byte).
The length of a table$t$is defined to be any integer index$n$such that$t[n]$is
not#nil#and$t[n+1]$is#nil#; moreover, if$t[1]$is#nil#,$n$may be zero. For a
regular array, with non-nil values from 1 to a given$n$, its length is exactly
that$n$, the index of its last value. If the array has "holes" (that
is,#nil#values between other non-nil values), then$#t$may be any of the
indices that directly precedes a#nil#value (that is, it may consider any
such#nil#value as the end of the array).
------------------------------------------------------------------------------
2.5.6 Precedence *lrv-langPrec*
Operator precedence in Lua follows the table below, from lower to higher
priority:
>
or
and
< > <= >= ~= ==
..
+ -
* /
not # - (unary)
^
>
As usual, you can use parentheses to change the precedences in an expression.
The concatenation ($`..'$) and exponentiation ($`^'$) operators are right
associative. All other binary operators are left associative.
------------------------------------------------------------------------------
2.5.7 Table Constructors *lrv-langTableConst*
Table constructors are expressions that create tables. Every time a
constructor is evaluated, a new table is created. Constructors can be used to
create empty tables, or to create a table and initialize some of its fields.
The general syntax for constructors is
$tableconstructor ::=$#`{'#$[ fieldlist ]$#`}'#
$fieldlist ::= field { fieldsep field } [ fieldsep ]$
$field ::=$#`['#$exp$#`]' `='#$exp | Name$#`='#$exp | exp$
$fieldsep ::=$ #`,'#$|$ #`;'#
Each field of the form$[exp1] = exp2$adds to the new table an entry with
key$exp1$and value$exp2$. A field of the form$name = exp$is equivalent to
$["name"] = exp$. Finally, fields of the form$exp$are equivalent to
$[i] = exp$, where$i$are consecutive numerical integers, starting with 1.
Fields in the other formats do not affect this counting. For example,
>
a = { [f(1)] = g; "x", "y"; x = 1, f(x), [30] = 23; 45 }
>
is equivalent to
>
do
local t = {}
t[f(1)] = g
t[1] = "x" -- 1st exp
t[2] = "y" -- 2nd exp
t.x = 1 -- temp["x"] = 1
t[3] = f(x) -- 3rd exp
t[30] = 23
t[4] = 45 -- 4th exp
a = t
end
>
If the last field in the list has the form$exp$and the expression is a
function call, then all values returned by the call enter the list
consecutively (see |lrv-langFuncCalls|). To avoid this, enclose the function
call in parentheses (see |lrv-langExpressions|).
The field list may have an optional trailing separator, as a convenience for
machine-generated code.
------------------------------------------------------------------------------
2.5.8 Function Calls *lrv-function* *lrv-langFuncCalls*
A function call in Lua has the following syntax:
>
functioncall ::= prefixexp args
>
In a function call, first@prefixexp@and@args@are evaluated. If the value
of@prefixexp@has type@function@, then this function is called with the given
arguments. Otherwise, the@prefixexp@"call" metamethod is called, having as
first parameter the value of@prefixexp@, followed by the original call
arguments (see |lrv-langMetatables|).
The form
$functioncall ::= prefixexp$#`:'#$Name args$
can be used to call "methods". A call$v:name($@args@$)$is syntactic sugar
for$v.name(v,$@args@$)$, except that$v$is evaluated only once.
Arguments have the following syntax:
$args ::= $#`('#$[ explist1 ]$#`)'#
$args ::= tableconstructor$
$args ::= String$
All argument expressions are evaluated before the call. A call of the
form$f{$@fields@$}$is syntactic sugar for $f({$@fields@$})$, that is, the
argument list is a single new table. A call of the form$f'$@string@$'$
(or$f"$@string@$"$or$f[[$@string@$]]$) is syntactic sugar for
$f('$@string@$')$, that is, the argument list is a single literal string.
As an exception to the free-format syntax of Lua, you cannot put a line break
before the$'('$ in a function call. This restriction avoids some ambiguities
in the language. If you write
>
a = f
(g).x(a)
>
Lua would see that as a single statement,$a = f(g).x(a)$. So, if you want two
statements, you must add a semi-colon between them. If you actually want to
call$f$, you must remove the line break before$(g)$.
*lrv-tailcall*
A call of the form$return$@functioncall@is called a@tail call@. Lua
implements@proper tail calls@(or@proper tail recursion@): in a tail call, the
called function reuses the stack entry of the calling function. Therefore,
there is no limit on the number of nested tail calls that a program can
execute. However, a tail call erases any debug information about the calling
function. Note that a tail call only happens with a particular syntax, where
the#return#has one single function call as argument; this syntax makes the
calling function return exactly the returns of the called function. So, none
of the following examples are tail calls:
>
return (f(x)) -- results adjusted to 1
return 2 * f(x)
return x, f(x) -- additional results
f(x); return -- results discarded
return x or f(x) -- results adjusted to 1
>
------------------------------------------------------------------------------
2.5.9 Function Definitions *lrv-langFuncDefs*
The syntax for function definition is
$function ::=$#function#$funcbody$
$funcbody ::=$#`('#$[ parlist1 ]$#`)'#$block$#end#
The following syntactic sugar simplifies function definitions:
$stat ::=$#function#$funcname funcbody$
$stat ::=$#local function#$Name funcbody$
$funcname ::= Name {$#`.'#$Name } [$#`:'#$Name ]$
The statement
$function f ()$@body@$end$
translates to
$f = function ()$@body@$end$
The statement
$function t.a.b.c.f ()$@body@$end$
translates to
$t.a.b.c.f = function ()$@body@$end$
The statement
$local function f ()$@body@$end$
translates to
$local f; f = function f ()$@body@$end$
@not@to
$local f = function f ()$@body@$end$
(This only makes a difference when the body of the function contains
references to$f$.)
*lrv-closure*
A function definition is an executable expression, whose value has
type@function@. When Lua pre-compiles a chunk, all its function bodies are
pre-compiled too. Then, whenever Lua executes the function definition, the
function is@instantiated@(or@closed@). This function instance (or@closure@)
is the final value of the expression. Different instances of the same
function may refer to different external local variables and may have
different environment tables.
Parameters act as local variables that are initialized with the argument