Question

函数定义的语法如下：

	function ::= function funcbody
	funcbody ::= `(´ [parlist1] `)´ block end

另外定义了一些语法糖简化函数定义的写法：

	stat ::= function funcname funcbody
	stat ::= local function Name funcbody
	funcname ::= Name {`.´ Name} [`:´ Name]

这样的写法：

 function f () body end

被转换成

 f = function () body end

这样的写法：

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

被转换成

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

这样的写法：

 local function f () body end

被转换成

 local f; f = function () body end

注意，并不是转换成

 local f = function () body end

（这个差别只在函数体内需要引用 f 时才有。）

一个函数定义是一个可执行的表达式， 执行结果是一个类型为 function 的值。 当 Lua 预编译一个 chunk 的时候， chunk 作为一个函数，整个函数体也就被预编译了。 那么，无论何时 Lua 执行了函数定义， 这个函数本身就被实例化了（或者说是关闭了）。 这个函数的实例（或者说是 closure（闭包）） 是表达式的最终值。 相同函数的不同实例有可能引用不同的外部局部变量， 也可能拥有不同的环境表。

形参（函数定义需要的参数）是一些由实参（实际传入参数）的值初始化的局部变量：

	parlist1 ::= namelist [`,´ `...´] | `...´

当一个函数被调用， 如果函数没有被定义为接收不定长参数，即在形参列表的末尾注明三个点 ('...')， 那么实参列表就会被调整到形参列表的长度， 变长参数函数不会调整实参列表； 取而代之的是，它将把所有额外的参数放在一起通过变长参数表达式传递给函数， 其写法依旧是三个点。 这个表达式的值是一串实参值的列表，看起来就跟一个可以返回多个结果的函数一样。 如果一个变长参数表达式放在另一个表达式中使用，或是放在另一串表达式的中间， 那么它的返回值就会被调整为单个值。 若这个表达式放在了一系列表达式的最后一个，就不会做调整了（除非用括号给括了起来）。

我们先做如下定义，然后再来看一个例子：

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

下面看看实参到形参数以及可变长参数的映射关系：

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

结果由 return 来返回（参见 §2.4.4）。 如果执行到函数末尾依旧没有遇到任何 return 语句， 函数就不会返回任何结果。

冒号语法可以用来定义方法， 就是说，函数可以有一个隐式的形参 self。 因此，如下写法：

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

是这样一种写法的语法糖：

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