3.4 – Expressions

The basic expressions in Lua are the following:

  1. exp ::= prefixexp
  2. exp ::= nil | false | true
  3. exp ::= Numeral
  4. exp ::= LiteralString
  5. exp ::= functiondef
  6. exp ::= tableconstructor
  7. exp ::= ...
  8. exp ::= exp binop exp
  9. exp ::= unop exp
  10. prefixexp ::= var | functioncall | ( exp )

Numerals and literal strings are explained in §3.1; variables are explained in §3.2; function definitions are explained in §3.4.11; function calls are explained in §3.4.10; table constructors are explained in §3.4.9. Vararg expressions, denoted by three dots (‘...‘), can only be used when directly inside a vararg function; they are explained in §3.4.11.

Binary operators comprise arithmetic operators (see §3.4.1), bitwise operators (see §3.4.2), relational operators (see §3.4.4), logical operators (see §3.4.5), and the concatenation operator (see §3.4.6). Unary operators comprise the unary minus (see §3.4.1), the unary bitwise NOT (see §3.4.2), the unary logical not (see §3.4.5), and the unary length operator (see §3.4.7).

Both function calls and vararg expressions can result in multiple values. If a function call is used as a statement (see §3.3.6), then its return list is adjusted to zero elements, thus discarding all returned values. If an expression is used as the last (or the only) element of a list of expressions, then no adjustment is made (unless the expression is enclosed in parentheses). In all other contexts, Lua adjusts the result list to one element, either discarding all values except the first one or adding a single nil if there are no values.

Here are some examples:

  1. f() -- adjusted to 0 results
  2. g(f(), x) -- f() is adjusted to 1 result
  3. g(x, f()) -- g gets x plus all results from f()
  4. a,b,c = f(), x -- f() is adjusted to 1 result (c gets nil)
  5. a,b = ... -- a gets the first vararg argument, b gets
  6. -- the second (both a and b can get nil if there
  7. -- is no corresponding vararg argument)
  8.  
  9. a,b,c = x, f() -- f() is adjusted to 2 results
  10. a,b,c = f() -- f() is adjusted to 3 results
  11. return f() -- returns all results from f()
  12. return ... -- returns all received vararg arguments
  13. return x,y,f() -- returns x, y, and all results from f()
  14. {f()} -- creates a list with all results from f()
  15. {...} -- creates a list with all vararg arguments
  16. {f(), nil} -- f() is adjusted to 1 result

Any 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.)

3.4.1 – Arithmetic Operators

Lua supports the following arithmetic operators:

  • +: addition
  • -: subtraction
  • *: multiplication
  • /: float division
  • //: floor division
  • %: modulo
  • ^: exponentiation
  • -: unary minus

With the exception of exponentiation and float division, the arithmetic operators work as follows: If both operands are integers, the operation is performed over integers and the result is an integer. Otherwise, if both operands are numbers or strings that can be converted to numbers (see §3.4.3), then they are converted to floats, the operation is performed following the usual rules for floating-point arithmetic (usually the IEEE 754 standard), and the result is a float.

Exponentiation and float division (/) always convert their operands to floats and the result is always a float. Exponentiation uses the ISO C function pow, so that it works for non-integer exponents too.

Floor division (//) is a division that rounds the quotient towards minus infinity, that is, the floor of the division of its operands.

Modulo is defined as the remainder of a division that rounds the quotient towards minus infinity (floor division).

In case of overflows in integer arithmetic, all operations wrap around, according to the usual rules of two-complement arithmetic. (In other words, they return the unique representable integer that is equal modulo 264 to the mathematical result.)

3.4.2 – Bitwise Operators

Lua supports the following bitwise operators:

  • &: bitwise AND
  • |: bitwise OR
  • ~: bitwise exclusive OR
  • >>: right shift
  • <<: left shift
  • ~: unary bitwise NOT

All bitwise operations convert its operands to integers (see §3.4.3), operate on all bits of those integers, and result in an integer.

Both right and left shifts fill the vacant bits with zeros. Negative displacements shift to the other direction; displacements with absolute values equal to or higher than the number of bits in an integer result in zero (as all bits are shifted out).

3.4.3 – Coercions and Conversions

Lua provides some automatic conversions between some types and representations at run time. Bitwise operators always convert float operands to integers. Exponentiation and float division always convert integer operands to floats. All other arithmetic operations applied to mixed numbers (integers and floats) convert the integer operand to a float; this is called the usual rule. The C API also converts both integers to floats and floats to integers, as needed. Moreover, string concatenation accepts numbers as arguments, besides strings.

Lua also converts strings to numbers, whenever a number is expected.

In a conversion from integer to float, if the integer value has an exact representation as a float, that is the result. Otherwise, the conversion gets the nearest higher or the nearest lower representable value. This kind of conversion never fails.

The conversion from float to integer checks whether the float has an exact representation as an integer (that is, the float has an integral value and it is in the range of integer representation). If it does, that representation is the result. Otherwise, the conversion fails.

The conversion from strings to numbers goes as follows: First, the string is converted to an integer or a float, following its syntax and the rules of the Lua lexer. (The string may have also leading and trailing spaces and a sign.) Then, the resulting number (float or integer) is converted to the type (float or integer) required by the context (e.g., the operation that forced the conversion).

All conversions from strings to numbers accept both a dot and the current locale mark as the radix character. (The Lua lexer, however, accepts only a dot.)

The conversion from numbers to strings uses a non-specified human-readable format. For complete control over how numbers are converted to strings, use the format function from the string library (see string.format).

3.4.4 – Relational Operators

Lua supports the following relational operators:

  • ==: equality
  • ~=: inequality
  • <: less than
  • >: greater than
  • <=: less or equal
  • >=: greater or equal

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. Strings are compared in the obvious way. Numbers are equal if they denote the same mathematical value.

Tables, userdata, and threads 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 thread), this new object is different from any previously existing object. A closure is always equal to itself. Closures with any detectable difference (different behavior, different definition) are always different. Closures created at different times but with no detectable differences may be classified as equal or not (depending on internal caching details).

You can change the way that Lua compares tables and userdata by using the “eq” metamethod (see §2.4).

Equality comparisons do not convert strings to numbers or vice versa. 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 according to their mathematical values (regardless of their subtypes). 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 §2.4). A comparison a > b is translated to b < a and a >= b is translated to b <= a.

Following the IEEE 754 standard, NaN is considered neither smaller than, nor equal to, nor greater than any value (including itself).

3.4.5 – Logical Operators

The logical operators in Lua are and, or, and not. Like the control structures (see §3.3.4), all logical operators consider both false and nil as false and anything else as true.

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-circuit evaluation; that is, the second operand is evaluated only if necessary. Here are some examples:

  1. 10 or 20 --> 10
  2. 10 or error() --> 10
  3. nil or "a" --> "a"
  4. nil and 10 --> nil
  5. false and error() --> false
  6. false and nil --> false
  7. false or nil --> nil
  8. 10 and 20 --> 20

(In this manual, --> indicates the result of the preceding expression.)

3.4.6 – Concatenation

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 described in §3.4.3. Otherwise, the __concat metamethod is called (see §2.4).

3.4.7 – The Length Operator

The length operator is denoted by the unary prefix 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 operator applied on a table returns a border in that table. A border in a table t is any natural number that satisfies the following condition:

  1. (border == 0 or t[border] ~= nil) and t[border + 1] == nil

In words, a border is any (natural) index in a table where a non-nil value is followed by a nil value (or zero, when index 1 is nil).

A table with exactly one border is called a sequence. For instance, the table {10, 20, 30, 40, 50} is a sequence, as it has only one border (5). The table {10, 20, 30, nil, 50} has two borders (3 and 5), and therefore it is not a sequence. The table {nil, 20, 30, nil, nil, 60, nil} has three borders (0, 3, and 6), so it is not a sequence, too. The table {} is a sequence with border 0. Note that non-natural keys do not interfere with whether a table is a sequence.

When t is a sequence, #t returns its only border, which corresponds to the intuitive notion of the length of the sequence. When t is not a sequence, #t can return any of its borders. (The exact one depends on details of the internal representation of the table, which in turn can depend on how the table was populated and the memory addresses of its non-numeric keys.)

The computation of the length of a table has a guaranteed worst time of O(log n), where n is the largest natural key in the table.

A program can modify the behavior of the length operator for any value but strings through the __len metamethod (see §2.4).

3.4.8 – Precedence

Operator precedence in Lua follows the table below, from lower to higher priority:

  1. or
  2. and
  3. < > <= >= ~= ==
  4. |
  5. ~
  6. &
  7. << >>
  8. ..
  9. + -
  10. * / // %
  11. unary operators (not # - ~)
  12. ^

As usual, you can use parentheses to change the precedences of an expression. The concatenation (‘..‘) and exponentiation (‘^‘) operators are right associative. All other binary operators are left associative.

3.4.9 – Table Constructors

Table constructors are expressions that create tables. Every time a constructor is evaluated, a new table is created. A constructor can be used to create an empty table or to create a table and initialize some of its fields. The general syntax for constructors is

  1. tableconstructor ::= { [fieldlist] }
  2. fieldlist ::= field {fieldsep field} [fieldsep]
  3. field ::= [ exp ] = exp | Name = exp | exp
  4. 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 integers starting with 1. Fields in the other formats do not affect this counting. For example,

  1. a = { [f(1)] = g; "x", "y"; x = 1, f(x), [30] = 23; 45 }

is equivalent to

  1. do
  2. local t = {}
  3. t[f(1)] = g
  4. t[1] = "x" -- 1st exp
  5. t[2] = "y" -- 2nd exp
  6. t.x = 1 -- t["x"] = 1
  7. t[3] = f(x) -- 3rd exp
  8. t[30] = 23
  9. t[4] = 45 -- 4th exp
  10. a = t
  11. end

The order of the assignments in a constructor is undefined. (This order would be relevant only when there are repeated keys.)

If the last field in the list has the form exp and the expression is a function call or a vararg expression, then all values returned by this expression enter the list consecutively (see §3.4.10).

The field list can have an optional trailing separator, as a convenience for machine-generated code.

3.4.10 – Function Calls

A function call in Lua has the following syntax:

  1. 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 argument the value of prefixexp, followed by the original call arguments (see §2.4).

The form

  1. 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:

  1. args ::= ( [explist] )
  2. args ::= tableconstructor
  3. args ::= LiteralString

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.

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:

  1. return (f(x)) -- results adjusted to 1
  2. return 2 * f(x)
  3. return x, f(x) -- additional results
  4. f(x); return -- results discarded
  5. return x or f(x) -- results adjusted to 1

3.4.11 – Function Definitions

The syntax for function definition is

  1. functiondef ::= function funcbody
  2. funcbody ::= ( [parlist] ) block end

The following syntactic sugar simplifies function definitions:

  1. stat ::= function funcname funcbody
  2. stat ::= local function Name funcbody
  3. funcname ::= Name {‘. Name} [‘: Name]

The statement

  1. function f () body end

translates to

  1. f = function () body end

The statement

  1. function t.a.b.c.f () body end

translates to

  1. t.a.b.c.f = function () body end

The statement

  1. local function f () body end

translates to

  1. local f; f = function () body end

not to

  1. local f = function () body end

(This only makes a difference when the body of the function contains references to f.)

A function definition is an executable expression, whose value has type function. When Lua precompiles a chunk, all its function bodies are precompiled 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.

Parameters act as local variables that are initialized with the argument values:

  1. parlist ::= namelist [‘, ...’] | ...

When a function is called, the list of arguments is adjusted to the length of the list of parameters, unless the function is a vararg function, which is indicated by three dots (‘...‘) at the end of its parameter list. A vararg function does not adjust its argument list; instead, it collects all extra arguments and supplies them to the function through a vararg expression, which is also written as three dots. The value of this expression is a list of all actual extra arguments, similar to a function with multiple results. If a vararg expression is used inside another expression or in the middle of a list of expressions, then its return list is adjusted to one element. If the expression is used as the last element of a list of expressions, then no adjustment is made (unless that last expression is enclosed in parentheses).

As an example, consider the following definitions:

  1. function f(a, b) end
  2. function g(a, b, ...) end
  3. function r() return 1,2,3 end

Then, we have the following mapping from arguments to parameters and to the vararg expression:

  1. CALL PARAMETERS
  2.  
  3. f(3) a=3, b=nil
  4. f(3, 4) a=3, b=4
  5. f(3, 4, 5) a=3, b=4
  6. f(r(), 10) a=1, b=10
  7. f(r()) a=1, b=2
  8.  
  9. g(3) a=3, b=nil, ... --> (nothing)
  10. g(3, 4) a=3, b=4, ... --> (nothing)
  11. g(3, 4, 5, 8) a=3, b=4, ... --> 5 8
  12. g(5, r()) a=5, b=1, ... --> 2 3

Results are returned using the return statement (see §3.3.4). If control reaches the end of a function without encountering a return statement, then the function returns with no results.

There is a system-dependent limit on the number of values that a function may return. This limit is guaranteed to be larger than 1000.

The colon syntax is used for defining methods, that is, functions that have an implicit extra parameter self. Thus, the statement

  1. function t.a.b.c:f (params) body end

is syntactic sugar for

  1. t.a.b.c.f = function (self, params) body end