第二部分《Programming in Lua》编程实操¶
九 闭包¶
1.Lua 语言中函数是第一类值¶
- 第一类值: 意味着 Lua 语言中的函数与其常见类型的值(例如数值和字符串)具有同等权限。
-
词法定界: Lua 语言中的函数可以访问包含其自身的外部函数中的变量
请注意,在 Lua 语言中,所有的函数都是匿名的( anonymous 像其他所有的值一样, 函数并没有名字。当讨论函数名时 ,比如 int 实际上指的是保存该函数的变量 。
-
sort 函数
table.sort(network, function (a,b) return (a. name > b.name) end)
- 计算导数
2.非全局函数¶
- 函数不仅可以被存储在全局变量中,还可以被存储在表字段和局部变量中
- 在表字段中存储函数中实现面向对象编程的关键要素
- 当把一个函数存储到局部变量时,就得到了一个局部函数 ,即一个被限定在指定作用域中使用的函数。局部函数对于包( package )而言尤其有用 。由于 Lua 将每个程序段( chunk )作为一个函数处理,所以在一段程序中声明的函数就是局部函数,这些局部函数只在该程序段中可见
3.词法定界¶
- 词法定界外加嵌套的第一类值函数可以为编程语言提供强大的功能,但很多编程语言并不支持将这两者组合使用
- 非局部变量(上值):在该匿名函数中, grades 不是全局变量也不是局部变量
- 为什么?函数作为第一类值,能够逃逸出它们变量的原始定界范围 。
function sortbygrade (names, grades) table.sort(names, function (n1, n2) return grades[n1] > grades[n2] end) end
- 为什么?函数作为第一类值,能够逃逸出它们变量的原始定界范围 。
- ![[Pasted image 20240809231128.png]]
- 匿名函数访问了一个非局部变量( count )并将其当作计数器 然而,由于创建变量的函数(newCounter )己经返回,因此当我们调用匿名函数时,变量 count 似乎已经超出了作用范围 但其实不然,由于闭包 closure )概念的存在, lua 语言能够正确地应对这种情况。简单地说,一个闭包就是一个函数外加能够使该函数正确访问非局部变量所需的其他机制
- 如果我们再次调用 newCounter ,那么一个新的局部变量 count 和一个新的闭包会被创建出来,这个新的闭包针对的是这个新变量:
从技术上讲,Lua 语言中只有闭包没有函数。函数本身只是闭包的一种原型。 尽管如此,只要不会引起棍淆,我们就仍将使用术语“函数”来指代闭包。
![[Pasted image 20240809231917.png]] 根据可见性规则,局部变量 old Sin 只在这部分代码段中有效。因此,只有新版本的函数 sin 才能访问原来的 sin 函数,其他部分的代码则访问不了。并将原来的版本保存为一个私有的变量。
![[Pasted image 20240809233209.png]]
十 模式匹配¶
用的时候再查,反正记不住
十二 日期和时间¶
十三 位和字节¶
用时再记,反正记不住
十四 数据结构¶
- 稀疏矩阵(表的特点就决定了矩阵为稀疏矩阵)
- 链表
list = {next = list,value = v}
- 队列以及双端队列(头尾两个索引)
function listNew() return {first = 0, last = -1} end function pushFirst(list,value) local first = list.first - 1 list.first = first list[first] = value end fuction pushLast(list,value) local last = list.last + 1 list.last = last list[last] = value end ---pop(省略)----
- 反向表(索引表,根据值名获得键) 实现:遍历,反向赋值创建新表即可
- 字符串缓冲区 用表来一行一行存储流式读取的每一行数据,读完再将其合并。相比读一行连接一行可以大幅度提高性能。
- 图
十五 数据文件和序列化¶
1.数据文件¶
使用 Lua 构造器构造数据,使得读取数据变得容易(相比其他文件,更适用于 Lua 宝宝体制的文件) 原文件:
Donald E. Knuth, Lite ate og amming, CSL!, 1992
Jon Bentley ,”。「 Prag amming Pearls,Addison-Wesley,1990
Entry{"Donald E. Knuth",
"Literate Programming",
"CSLI",
1992}
Entry{"Jon Bentley",
"More Programming Pearls"
"Addison-Wesley",
1990}
local count = 0
function Entry()count=count +1 end
dofile("data")
print("number of entries:".. count)
local authors ={} --保存作者姓名的集合
function Entry(b)authors[b[1]]= true end
dofile("data")
for name in pairs(authors)do print(name)end
上述的代码段中使用了事件驱动( event-driven )的方式:函数 Entry 作为一个回调函数会在函数 dofile 处理数据文件中的每个条目时被调用
键值对的表示方法:
Entry{
author ="Donald E. Knuth"
title = "Literate Programming"
publisher ="CSLI",
year =1992
}
Entry{
author ="Jon Bentley",
title ="More Programming Pearls"
year =1990
publisher ="Addison-Wesley",
}
获取作者姓名的集合(可以无视次序了)
local authors ={} --保存作者姓名的集合
function Entry(b)authors[b.author]= true end
dofile("data")
for name in pairs(authors)do print(name) end
2.序列化¶
- type(o) == "number"
function serialize(o) if type(o) == "number" then io.write(tostring(o)) elseif type(o) == "string" then io.write("[[",0,"]]") else other cases end end
- 代码注入
varname = [](<#>)..os.excute('rm*')..[](<#>)
- 解决方案:使用 string.format
- 保存不带循环的表:递归处理子子节点
- 保存带循环的表:引入名称,使用之前已被保存过的表作为键,表名为值
十六 编译、执行和错误¶
1.编译¶
1.dofile
function dofile(filename)
local f = assert(loadfile(filename))
return f()
end
f = load("i = i + 1")
i = 0
f(); print(i) --> 1
f(); print(i) --> 2
3.loadfile 常见误解:加载一段程序也就是定义了函数。 实际上在 Lua 语言中函数定义是在运行时而不是在编译时发 的一种赋值操作。这些函数只是将程序段编译为一种中间形式,然后将结果作为匿名函数返回
-- 文件"foo.lua"
function foo(x)
print(x)
end
f = loadfile("foo.lua")
print(foo) -->nil
f() -- 运行代码
foo("ok") -->ok
2. 预编译的代码¶
- 预编译代码:.lc 格式
luac -o prog.lc prog.lua
- 实现一个最简单的的 luac
- 关键函数 string.dump(p):传入一个 Lua 函数参数,返回值是对应的字符串形式的预编译代码
- 加载更快
- 避免由于意外修改源码
p = loadfile(arg[1]) f = io.open(arg[2],"wb") f:write(string.dump(p)) f:close()
3.错误¶
- Lua 作为常见嵌入应用程序的扩展语言,不能简单崩溃或退出。而是要提供处理错误的方式。
- error
if not n then error("invalid input") end
- assert
n = assert(io.read("*n"),"invalid input")
- debug.debug:为用户提供一个 Lua 提示符来让用户检查错误的发生原因
- debug.traceback:使用调用栈构造详细错误信息,lua 独立解释器错误信息构造就是用的这个
十七 模块和包¶
- 一个模块就可以看作一段代码,使用require 进行加载,然后创建并返回一个表
local m = require"math" print(m.sin(3.14)) local mod = require "mod' mod.foo()
原理¶
- 函数 require 在表 package.loaded 中检查模块是否已被加载 ,如果模块已经被加载 ,函数 require 就返回相应的值。因此,一旦一个模块被加载过,后续的对于同一模块的所有 require 调用都将返回同一个值, 而不会再运行任何代码
- 要强制函数 requi 加载同一模块两次,可以先将模块从 package.loaded 中删除:
package.loaded.modname =nil
- 要强制函数 requi 加载同一模块两次,可以先将模块从 package.loaded 中删除:
- 如果模块尚未加载,那么函数 require 则搜索具有指定模块名的 Lua 文件(搜索路径由变量 package.path 指定,我们会在后续对其进行讨论)。
- 如果函数 require 找到了相应的文件,那么就用函数 loadfile 将其进行加载,结果是一个我们称之为加载器(loader)的函数(加载器就是一个被调用时加载模块的函数)。
- 如果函数 require 找不到指定模块名的 Lua 文件,那么它就搜索相应名称的 C 标准库。@(在这种情况下,搜索路径由变量 package.cpath 指定。)如果找到了一个 C 标准库则使用底层函数package.loadlib 进行加载,这个底层函数会査找名为 luaopen_modname 的函数。在这种情况下,加载函数就是 loadlib 的执行结果,也就是一个被表示为 Lua 函数的 C 语言函数 luaopen modname。
- 如果加载函数返回的是模块本身,那么还可以写成
local mod = require"mod".init(0,0)
简要总结就是:¶
require 只加载一次,先搜索 lua 文件并用 loadfile 加载,搜不到的话就搜 C 标准库即 loadlib 的结果。
1.1 模块重命名¶
- 加载同一模块不同版本:通常修改.lua 文件名即可,但是无法修改 c 标准库的二进制目标代码中 luaopen_* 函数的名称。
- require 连字符技巧:函数 require 使用连字符之前的内容创建 luaopen_* 的名称。如,一个模块的名称为 mod-v3.4, 那么函数 require 会认为改模块的加载函数为 luaopen_mod
- 如果需要使用两个名称均为 mod 的模块,可以进行重命名如
mod_v1
。
1.2.搜索路径¶
- require 使用的路径不是目录,是一组模板,每项都指定了将模块名(函数 require 的参数)转换为文件名的方式
- 如:
?;?.lua;c: \windows\?;/ust/local/lua/?/?lua
,使用时,调用 require ”sql“ 将尝试打开如下的 lua 文件 - sql
- sql.lua
c: \windows\sql
- 如:
- 函数 require 只处理分号和问号,其他部分由路径自己定义
1.3.搜索器¶
提供了极大的灵活性
- 现实中,函数 require 比此前描述过的稍微复杂,搜索 lua 文件和 C 标准库的方式只是更加通用的搜索器的两个实例
package.seachers
列出了函数 require 使用的所有搜索器,每次调用时会调用每一个搜索器直到找到了指定模块加载器,全找不到就抛出异常
预加载搜索器¶
能够为要加载的模块定义任意加载函数 使用名为 package.preload 的表来映射模块名称和加载函数 - 找到了返回对应加载函数,否则返回 nil - 一个静态链接到 lua 的 C 标准库可以将其 luaopen_函数注册到表 preload 中,这样 luaopen_函数只有当用户加载这个模块时才会被调用。
2.1.编写模块的基本方法¶
1.创建一个表,并将所有需要导出的函数放入其中,最后返回(注意如何简单地把 new 和 inv 声明为局部变量使他们成为代码段的私有函数)
local M = {}
---创建一个新的复数
local function new(r,.i)
return{r =r,i = i}
end
M.new = new
-- constan 'i'
M.i = new(0,1)
function M.add(c1,c2)
...
end
local function inv(c)
...
end
.......
return M
local M = {}
package.loaded[...(模块名)] = M
2.另一种编写模块的方式,定义局部变量:
local function new(r,i) return {r=r, i=i} end
---定义常量'i'
local i = conplex.new(0,1)
···
return{
new = new,
i = i,
add = add,
sub = sub,
div =div,
tostring = tostring,
}
3.1 子模块和包¶
- 如 mod.sub,不过 require 会把点转换成目录分隔符--斜杠或者反斜杠。
- 没有的操作系统转换为下画线,如 a.b 转换成 a_b *