Lua极简入门指南（一）：基础知识篇

本文是《Programming in Lua 3rd》读书笔记。

Chunks

一个 Chunk 就是一组被执行的语句，例如一个文件或者交互模式下的一行。

标识符（identifiers）

我们应该避免使用以 _ 开头并跟上一个或者多个大写字母的字符串来作标识符，它们被保留作特殊的用途（例如：_VERSION）。

注释

单行注释使用

--

多行注释使用

--[[ 和 --]]

类型简介

Lua 存在的数据类型包括：

1.nil。此类型只有一个值 nil。用于表示“空”值。全局变量默认为 nil，删除一个已经赋值的全局变量只需要将其赋值为 nil（对比 JavaScript，赋值 null 并不能完全删除对象的属性，属性还存在，值为 null）

2.boolean。此类型有两个值 true 和 false。在 Lua 中，false 和 nil 都表示条件假，其他值都表示条件真（区别于 C/C++ 等语言的是，0 是真）

3.number。双精浮点数（IEEE 754 标准），Lua 没有整数类型

4.string。你可以保存任意的二进制数据到字符串中（包括 0）。字符串中的字符是不可以改变的（需要改变时，你只能创建一个新的字符串）。获取字符串的长度，可以使用 # 操作符（长度操作符）。例如：print(#”hello”)。字符串可以使用单引号，也可以使用双引号包裹，对于多行的字符串还可以使用 [[ 和 ]] 包裹。字符串中可以使用转义字符，例如 \n \r 等。使用 [[ 和 ]] 包裹的字符串中的转义字符不会被转义

5.userdata。用于保存任意的 C 数据。userdata 只能支持赋值操作和比较测试

6.function。函数是第一类值（first-class value），我们能够像使用其他变量一样的使用函数（函数能够保存在变量中，可以作为参数传递给函数）

7.thread。区别于我们常常说的系统级线程

8.table。被实现为关联数组（associative arrays），可以通过任何值来进行索引（nil 除外）。和全局变量一样，table 中未赋值的域为 nil，删除一个域只需要将其赋值为 nil（实际上，全局变量就是被放置在一个 table 中）

type 函数用于返回值的类型：

print(type("Hello World")) --> string

print(type(10.4*3))        --> number

print(type(print))         --> function

print(type(type(X)))       --> string

在 Lua 中，任何的变量都可以保存任何的值。

table 使用简介

使用构造表达式可以创建一个 table：

-- 创建一个空的 table

a = {}

 

-- 创建并初始化一个 table，这里

-- days[1] == "Sunday"

-- days[2] == "Monday"

-- ...

days = { "Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday" }

 

-- 创建并初始化一个 table，这里

-- a["x"] == 10

-- a["y"] == 20

a = { x = 10, y = 20 }

使用 [] 操作符访问 table 的域：

a = {}

k = "x"

a[k] = 10

a["x"] = 20

print(a["y"]) --> nil

a.x = 30

注意，a.name 的语法等价于 a["name"]。

table 可以用于表示数组，这时候索引为整数，并且从 1（而非 0）开始，例如：

a = { 'a', 'b' }

a[1] == 'a'

a[2] == 'b'

长度操作符可以获取 table 数组部分的长度：

a = {}

a[1] = 1

a[2] = 2

print(#a) --> 2

 

a.a = 1

a.b = 2

print(#a) --> 2

 

a = {}

a.a = 1

a.b = 2

print(#a) --> 0

表达式

算术操作符

1.+（加）
2.-（减）
3.*（乘）
4./（除）
5.^（幂）
6.%（取模）

任何算术操作符都试图将操作数转换为数值类型，例如：

print(10 + '1') --> 11

关系操作符

1.<（小于）
2.>（大于）
3.<=（小于等于）
4.>=（大于等于）
5.==（等于）
6.~=（不等于）

两个不同类型的值是不相等的，例如：

nil ~= false

table、userdata 类型是通过引用进行比较的，例如：

a = {}; a.x = 1; a.y = 0

b = {}; b.x = 1; b.y = 0

c = a

这里 a 和 c 引用一个相同的对象，因此 a == c，但是 a ~= b（即便 a、b 内容相同）。

逻辑操作符

1.and
2.or
3.not

逻辑操作符有返回值。对于 and 操作来说，如果第一个操作数为 false 时返回此操作数，否则返回第二个操作数。对于 or 操作来说，如果第一个操作数不为 false 时返回此操作数，否则返回第二个操作数。

连接操作符

字符串连接可以使用连接操作符 “..”，例如：

print("Hello " .. "World")

连接操作符试图将操作数转化为字符串，例如：

print("number: " .. 1)

语句

多赋值（multiple assignment）支持，例如：

a, b = 1, 2

print(a) --> 1

print(b) --> 2

多赋值的一个惯用法就是交换两个变量的值：

x, y = 1, 2

x, y = y, x

print(x) --> 2

print(y) --> 1

创建局部变量使用 local：

j = 10       -- 全局变量 j

local i = 10 -- 局部变量 i

局部变量的作用域限制于他们声明的块（block）。块（block）包括：

1.控制结构的主体部分
2.函数体
3.chunk
4.do-end

范例：

if true then

    local x = 20

    print(x) --> 20

end

 

print(x) --> nil

我们可以使用 do-end 关键字来构造一个块：

do

    local x = 20

    print(x) --> 20

end

 

print(x) --> nil

访问局部变量要快于访问全局变量。在 Lua 中有一个习惯用法：

local foo = foo

用于创建一个局部变量并初始化为同名的全局变量。这样做常常出于两个原因：

1.避免某些类型的全局变量被修改
2.提高访问速度

控制结构

if then elseif else

if a < 0 then

    a = 0

end

 

if a < b then

    return a

else

    return b

end

 

if op == '+' then

    r = a + b

elseif op == '-' then

    r = a - b

elseif op == '*' then

    r = a * b

elseif op == '/' then

    r = a / b

else

    error('invalid operation')

end

Lua 中没有 switch 语句。

while

local i = 1

while a[i] do

    print(a[i])

    i = i + 1

end

repeat

repeat

    line = io.read()

until line ~= ''

print(line)

区别于 while，repeat 会先执行循环体，然后判断测试条件。

数值型 for（numeric for）

for 有两种：

数值型 for（numeric for）

1.泛型 for（generic for）
2.数值型 for 的语法如下：

for var = exp1, exp2, exp3 do

    <something>

end

这里 exp1 作为 var 的初始值，exp2 为 var 的最大值，exp3 为 var 每次递增的值，exp3 是可选的，默认为 1。范例：

-- 输出 1 2 3

for i = 1, 3 do

    print(i)

end

有一些需要注意的地方：

1.for 中的 exp1、exp2、exp3 只会被计算一次值，例如：

for i = 1, f(x) do print(i) end

这里的 f(x) 只会被调用一次

2.控制变量 var 只是一个局部变量
3.不要尝试去修改控制变量 var 的值（结果是未知的）

泛型 for

泛型 for 通过一个迭代器函数来实现遍历，例如：

for k, v in pairs(t) do

    print(k, v)

end

这里的 pairs 就是一个迭代器函数，此 for 循环遍历 table t，每次获取到的 key 保存在变量 k 中，获取到的 value 保存在变量 v 中。除了 pairs 还有其他的迭代器可以用：

1.io.lines 可用于迭代文件中的行
2.ipairs 可用于迭代 table 的数组部分

我们还可以自己编写迭代器。

break、return、goto

break 语句用于跳出一个循环（for、repeat、while）。

return 语句用于为函数返回结果。在 Lua 中，return 语句必须是一个块的最后一条语句，看一个例子：

function foo()

    -- 语法错误

    return

    local i = 1

end

有时候，我们出于某些原因（例如为了 debug），我们需要在一个函数中插入一个 return 语句，这时候可以这么做：

function foo()

    -- ...

    do return end

    -- ...

end

goto 语句用于在函数中跳转。goto 语句可以让执行跳转到特定的标签（label）处，例如：

goto quit

print('come on')

::quit::

print('quit')

这里输出 quit。正如我们看到的，标签的写法为 ::name::。goto 跳转也是存在限制的：

1.不允许跳转到一个块中去
2.不允许跳转到函数之外去
3.不允许跳入局部变量的作用域中

对于第三点，看一个例子：

goto quit

local a

::quit::

print('quit')

这里，会出现语法错误（jumps into the scope of local 'a'）。但是，有一个细节需要注意，我们先修改上面的例子：

goto quit

local a

::quit::

执行成功，没有语法错误。这是因为局部变量的作用域结束于变量定义的块的最后一个非 void 语句，而标签被认为是一个 void 语句，对于上面的例子来说，a 的作用域在 ::quit:: 之前就结束了，因此 goto quit 并没有跳入局部变量 a 的作用域中。

利用 goto 可以比较方便的编写状态机，例如（s1、s2 为状态）：

::s1:: do

    local c = io.read(1)

    if c == '0' then goto s2

    elseif c == nil then print'ok'; return

    else goto s1

    end

end

 

::s2:: do

    local c = io.read(1)

    if c == '0' then goto s1

    elseif c == nil then print'not ok'; return

    else goto s2

    end

end

 

goto s1