Lua极简入门指南(一):函数篇

Lua 和其他很多语言一样,函数调用时参数列表被包裹在括号中:

print('Hello World')

特别的情况是,如果函数调用时只有一个参数,并且此参数为字符串 literal(字面量)或者 table 构造器(constructor)时,包裹参数的括号可以省略:

print 'Hello World' <--> print('Hello World')
type{}              <--> type({})

Lua 为面向对象的调用提供了特殊的语法:

o:foo(x) <--> o.foo(o, x)

Lua 调用的函数可能被定义在 Lua 中,也可能被定义在 C 中(Lua 标准库中的所有函数都使用 C 编写)。

函数的定义

function add(a)
    local sum = 0
    for i = 1, #a do
        sum = sum + a[i]
    end
    return sum
end
 
print(add{1, 2, 3})

函数调用时,实参(arguments)和形参(parameters)个数可以不匹配,多余的实参会被丢弃,多余的形参值为 nil,例如:

function f(a, b) print(a, b) end
f(3)         --> 3 nil
f(3, 4)      --> 3 4
f(3, 4, 5)   --> 3 4

函数多值返回

在 Lua 中函数可以返回多个值。例如:

function maximum(a)
    local mi = 1
    local m = a[mi]
    for i = 1, #a do
        if a[i] > m then
            mi = i; m = a[i]
        end
    end
    return m, mi
end
 
print(maximum{8, 10, 23, 12, 5})

在多赋值时,多余的值会被丢弃,不足时变量值为 nil:

x, y = 1        --> x == 1, y == nil
x, y = 1, 2, 3  --> x == 1, y == 2

在函数调用时形参的值处理上,在函数返回值的获取上,都遵循这个规则。例如:

function foo0() end
function foo1() return 'a' end
function foo2() return 'a', 'b' end
 
x, y = foo2()         --> x == 'a', y == 'b'
x = foo2()            --> x == 'a'
x, y, z = 10, foo2()  --> x == 10, y == 'a', z == 'b'
 
t = { foo2() }        --> {'a', 'b'}

再看一个例子:

function foo2() return 'a', 'b' end
x, y = foo2(), 20    --> x == 'a', y == 20

这里,由于函数调用不是在列表的最后一个位置,这时候函数只提供一个值。一个更有意义的例子:

function foo2() return 'a', 'b' end
 
print(foo2())     --> a b
print(foo2(), 1)  --> a 1

如果函数调用在列表的最后一个位置,同时使用 () 包裹函数调用,这时候函数也只提供一个值:

function foo2() return 'a', 'b' end
 
print(foo2())     --> a b
print((foo2()))   --> a

一个比较有用的利用函数多值返回的特性的函数是 table.unpack,它接受一个数组作为参数,返回数组中的所有元素:

print({10, 20, 30})               --> table: 00000000005BBE00
print(table.unpack{10, 20, 30})   --> 10 20 30

变长参数

我们在使用 print 函数的时候可以传递任意数目的参数。Lua 提供了 … 表示参数列表,让我们实现类似 print 的函数:

function add(...)
    local s = 0
    for _, v in ipairs{...} do
        s = s + v
    end
    return s
end
 
print(add(3, 4, 5))  --> 12

再一个例子:

function test(...)
    local a, b = ...
    print(a, b)
end
 
test(1, 2, 3)  --> 1 2

还有一个特殊情况,我们需要注意:

function p(...)
    for _, v in ipairs{...} do
        print(v)
    end
end
 
p(1, nil, 3)      --> 1
print(1, nil, 3)  --> 1 nil 3

上例可以看到,我们的 p 函数在参数中存在 nil 时并非按我们的意愿输出了结果。Lua 提供了一个 table.pack 函数,用于获取其调用参数(包括 nil 参数)并返回一个包含所有参数的 table,此 table 存在一个额外的域 n,用于表示参数的数量:

function p(...)
    local arg = table.pack(...)
    for i = 1, arg.n do
        print(arg[i])
    end
end
 
p(1, nil, 3, nil)  --> 1 nil 3 nil

不过需要注意的是,{…} 相比 table.pack(…) 来说更加高效,我们可以在确保没有 nil 参数的时候使用。

函数是第一类值(first-class values)

我们能够像使用其他变量一样的使用函数:

a = { p = print }
a.p('Hello World')  --> Hello World
print = math.sin
a.p(print(1))       --> 0.8414709848079

类似于 {} 作为 table 的构造器,我们可以认为 function(x) end 为函数的构造器:

local add = function(a, b)
    return a + b
end
 
print(add(1, 2))
 
-- 另一种写法
local function add(a, b)
    return a + b
end

table.sort 函数用于排序,它可以接受一个排序函数作为参数:

network = {
    { name = "grauna", IP = "210.26.30.34" },
    { name = "arraial", IP = "210.26.30.23" },
    { name = "lua", IP = "210.26.23.12" },
    { name = "derain", IP = "210.26.23.20" },
}
 
print('--------------')
for _, v in ipairs(network) do
    print(v.name)
end
 
table.sort(network, function(a, b)
    return a.name > b.name
end)
 
print('--------------')
for _, v in ipairs(network) do
    print(v.name)
end

输出结果为:

--------------
grauna
arraial
lua
derain
--------------
lua
grauna
derain
arraial

在此例中,我们提供的排序函数作为一个参数传递给 table.sort 函数,像此排序函数这样没有名字的函数被叫做匿名函数。

闭包(closures)

很多语言都支持闭包(Golang、JavaScript 等)。一个函数和其访问的外部变量组成一个闭包。看一个例子:

function newCounter()
    local i = 0
    return function()
        i = i + 1
        return i
    end
end
 
c1 = newCounter()
print(c1())   --> 1
print(c1())   --> 2

这里的 c1 就是一个闭包(外部变量为 i),每次调用 newCounter 都会创建一个闭包(并创建一个新的变量 i):

c2 = newCounter()
print(c2())   --> 1
print(c1())   --> 3
print(c2())   --> 2