本文是《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