搜索
首页数据库mysql教程lua源码分析2(局部函数的定义)

第1章 续 (11-3) 第二节 局部函数的声明 前面研究了局部变量的定义,下面就研究下, lua 中局部函数定义的方法。 其中局部函数定义的语法是: local function FuncName (parlist) chunk END 首先, lua 会检测到 local function 这两个关键字,知道后面是在

 

第1章 (11-3)

第二节 局部函数的声明

         前面研究了局部变量的定义,下面就研究下,lua中局部函数定义的方法。

 

         其中局部函数定义的语法是:

    local function FuncName (parlist) chunk END

 

         首先,lua会检测到local function这两个关键字,知道后面是在定义局部函数,lua会跳过这两个关键字,分别用llex_next()testnext()testnext()checknext()这两个函数的区别是,checknext()是期望后面是某个token,是的话就读取,如果不是的话,就会报错,而testnext()是检查后面是不是某个token,如果是就读取,不是的话也不会报错。

         当跳过了local function这两个关键字。就到了局部函数函数名的地方了。这时,lua会把这个局部函数当作一个局部变量,为这个函数名字注册一个局部变量名。其中就用到了前面注册局部变量时用到的函数,newlocalvar()。这个函数在局部变量数字里增加一项,记录这个函数名。这里的记录并没有检查是否已经存在了这个局部变量。但是使用的时候,lua会从头开始遍历查找,也就是说第一次注册的这个局部变量会被使用。

         如前所说,在语法解析的过程中,有一个数据结构非常重要,那就是expdesc,这个数据结构代表一个表达式。在局部函数定义的时候,会用到2个这样的数据结构,这里分别称为vb。其中v代表这个函数,b代表body,也就是函数体。当解析到这里的时候,会初始化v,将其类型赋值为VLOCALv->k = VLOCAL,并在里面记录当前空闲寄存器的位置,v->u.s.info = fs->freereg

         接下来就是将空闲寄存器指针加一,将局部变量的个数加一。

         于是,就进入解析函数体的部分了,body()

         首先,新建了一个FuncState数据结构,通过open_func()函数,这个数据结构就是我们一直看到的ls->fs这个fs。这个数据结构是在语法解析时用到的,代表一个函数,它有一个函数头,叫Proto,每个函数都以一个这样的头。每个函数记录自己的中间码,它存在于这个函数头Proto里面,具体就是ls->fs->f->code[]数组里。在语法解析的过程中,整个lua程序就当作了一个函数,也就是第一个FuncState,也就是第一个ls->fs,之后,遇到的每个定义的函数,都会新建一个FuncState,并链在ls->fs上,也就是,所有的ls->fs链成一个链表。而ls->fs就是当前解析到的函数。

         新建了这个函数结构FuncState后,便将其及其常量数组压入栈中。

         之后便是解析参数列表和函数体了。现在先不管这些,因为先从整体对解析函数有个了解。假设我们的函数是这个样子:

         local function FuncName () END

         也就是说,没有参数表,也没有函数体的一个最简单的函数。

         lua解析这个函数的时候,如前所说,FuncName会被注册进局部变量表中,并且会新建一个FuncState数据结构,将其链在ls->fs上,并当作当前函数。

         lua检测到函数定义的语法都正确,也就是参数表包含在小括号()内,函数体以END结束,通过了检测,就会执行close_func()函数。

         这个函数比较有意思,它里面包含了一些比较有趣的函数。其中第一个有趣的函数叫做removevar(),看字面意思是去除变量。是什么意思呢?是这么个意思:函数定义结束后,函数内部的变量是外部不看见的,所以,要从可见的地方去掉。这个函数就是处理这个情况的。它的做法很简单,就是把每个这个函数内的局部变量的endpc标记为当前pc。也就是说,到当前位置,当前代码以后,局部变量是不可见的。这里的可见度,作用域是与指令联系起来的,也就是说,从某条指令开始,局部变量可见,到某条指令结束,局部变量不可见。于是,便从当前可见域里remove了那个函数的局部变量。

         然后会通过luaK_ret()函数,生成一条OP_RETURN指令。

         最后,将这个函数从ls中踢掉,也就是ls->fs = fs->prev。到这里,这个函数算解析完了,但是,这个函数生成的指令码是在这个函数结构fs里面,现在踢掉了,当要调用的时候该怎么调用呢?

         这是最后一个疑问,不过, body并没有结束,还有最后一个函数pushclosure()。看了这个函数,我们就会发现,其实,lua并没有把这个函数踢掉,而是把它保存在他的父函数里面。这里是这么回事:每个函数里面都可以定义函数,这个函数名首先会作为局部变量名保存在父函数的局部变量表里,当作其父函数的一个局部变量。然后,这个函数的结构FuncState会被保存在其父函数的内部函数数组里,也就是每个函数结构的头结构里面,fs->f,都会有一个函数头数组,fs->f->p[],其中包含着在这个函数内部定义的函数。

         pushclosure()首先就会做这件事,也就是将函数结构保存在其父函数结构的fs->f->p[]里面。

         然后,就会生成一条指令,OP_CLOSURE,说明这里定义了一个函数。这条指令是做什么的呢?

         别忘了刚开始我们说的,一个局部函数定义,和局部变量定义是同样的,在栈里会保留一个空槽(寄存器),但是,那个寄存器里到底存的是什么呢?这个就要留在运行时回答了。当lua虚拟机运行到OP_CLOSURE的时候,就会新建一个Closure,并用这个Closure初始化那个预留的寄存器,也就是那个局部函数。

         而刚开始的那两个expdesc数据结构,其中之一b,也就是那个代表body的,就是用来储存这个OP_CLOSURE指令了。而那个v,其v->u.s.info存的是这个局部函数所存在的寄存器位置。这里,已经生成了一个OP_CLOSURE指令,但是,这条指令所执行时,生成的Closure存在栈的哪里呢?也就是,应该放在那个局部函数所对应的那个寄存器里。下面就是要完成这个操作的函数:luaK_storevar()。就把当初保存在e里面的寄存器位置保存在了那条指令OP_CLOSURE里面了。

 

         这就是新建了一个局部函数,其实和局部变量差不多。写到现在,发现文章的架构太乱了,算是草稿吧,以后再改。

 

声明
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn
解释酸的特性(原子,一致性,隔离,耐用性)。解释酸的特性(原子,一致性,隔离,耐用性)。Apr 16, 2025 am 12:20 AM

ACID属性包括原子性、一致性、隔离性和持久性,是数据库设计的基石。1.原子性确保事务要么完全成功,要么完全失败。2.一致性保证数据库在事务前后保持一致状态。3.隔离性确保事务之间互不干扰。4.持久性确保事务提交后数据永久保存。

MySQL:数据库管理系统与编程语言MySQL:数据库管理系统与编程语言Apr 16, 2025 am 12:19 AM

MySQL既是数据库管理系统(DBMS),也与编程语言紧密相关。1)作为DBMS,MySQL用于存储、组织和检索数据,优化索引可提高查询性能。2)通过SQL与编程语言结合,嵌入在如Python中,使用ORM工具如SQLAlchemy可简化操作。3)性能优化包括索引、查询、缓存、分库分表和事务管理。

mySQL:使用SQL命令管理数据mySQL:使用SQL命令管理数据Apr 16, 2025 am 12:19 AM

MySQL使用SQL命令管理数据。1.基本命令包括SELECT、INSERT、UPDATE和DELETE。2.高级用法涉及JOIN、子查询和聚合函数。3.常见错误有语法、逻辑和性能问题。4.优化技巧包括使用索引、避免SELECT*和使用LIMIT。

MySQL的目的:有效存储和管理数据MySQL的目的:有效存储和管理数据Apr 16, 2025 am 12:16 AM

MySQL是一种高效的关系型数据库管理系统,适用于存储和管理数据。其优势包括高性能查询、灵活的事务处理和丰富的数据类型。实际应用中,MySQL常用于电商平台、社交网络和内容管理系统,但需注意性能优化、数据安全和扩展性。

SQL和MySQL:了解关系SQL和MySQL:了解关系Apr 16, 2025 am 12:14 AM

SQL和MySQL的关系是标准语言与具体实现的关系。1.SQL是用于管理和操作关系数据库的标准语言,允许进行数据的增、删、改、查。2.MySQL是一个具体的数据库管理系统,使用SQL作为其操作语言,并提供高效的数据存储和管理。

说明InnoDB重做日志和撤消日志的作用。说明InnoDB重做日志和撤消日志的作用。Apr 15, 2025 am 12:16 AM

InnoDB使用redologs和undologs确保数据一致性和可靠性。1.redologs记录数据页修改,确保崩溃恢复和事务持久性。2.undologs记录数据原始值,支持事务回滚和MVCC。

在解释输出(类型,键,行,额外)中要查找的关键指标是什么?在解释输出(类型,键,行,额外)中要查找的关键指标是什么?Apr 15, 2025 am 12:15 AM

EXPLAIN命令的关键指标包括type、key、rows和Extra。1)type反映查询的访问类型,值越高效率越高,如const优于ALL。2)key显示使用的索引,NULL表示无索引。3)rows预估扫描行数,影响查询性能。4)Extra提供额外信息,如Usingfilesort提示需要优化。

在解释中使用临时状态以及如何避免它是什么?在解释中使用临时状态以及如何避免它是什么?Apr 15, 2025 am 12:14 AM

Usingtemporary在MySQL查询中表示需要创建临时表,常见于使用DISTINCT、GROUPBY或非索引列的ORDERBY。可以通过优化索引和重写查询避免其出现,提升查询性能。具体来说,Usingtemporary出现在EXPLAIN输出中时,意味着MySQL需要创建临时表来处理查询。这通常发生在以下情况:1)使用DISTINCT或GROUPBY时进行去重或分组;2)ORDERBY包含非索引列时进行排序;3)使用复杂的子查询或联接操作。优化方法包括:1)为ORDERBY和GROUPB

See all articles

热AI工具

Undresser.AI Undress

Undresser.AI Undress

人工智能驱动的应用程序,用于创建逼真的裸体照片

AI Clothes Remover

AI Clothes Remover

用于从照片中去除衣服的在线人工智能工具。

Undress AI Tool

Undress AI Tool

免费脱衣服图片

Clothoff.io

Clothoff.io

AI脱衣机

AI Hentai Generator

AI Hentai Generator

免费生成ai无尽的。

热门文章

R.E.P.O.能量晶体解释及其做什么(黄色晶体)
4 周前By尊渡假赌尊渡假赌尊渡假赌
R.E.P.O.最佳图形设置
4 周前By尊渡假赌尊渡假赌尊渡假赌
R.E.P.O.如果您听不到任何人,如何修复音频
4 周前By尊渡假赌尊渡假赌尊渡假赌
R.E.P.O.聊天命令以及如何使用它们
4 周前By尊渡假赌尊渡假赌尊渡假赌

热工具

mPDF

mPDF

mPDF是一个PHP库,可以从UTF-8编码的HTML生成PDF文件。原作者Ian Back编写mPDF以从他的网站上“即时”输出PDF文件,并处理不同的语言。与原始脚本如HTML2FPDF相比,它的速度较慢,并且在使用Unicode字体时生成的文件较大,但支持CSS样式等,并进行了大量增强。支持几乎所有语言,包括RTL(阿拉伯语和希伯来语)和CJK(中日韩)。支持嵌套的块级元素(如P、DIV),

Atom编辑器mac版下载

Atom编辑器mac版下载

最流行的的开源编辑器

EditPlus 中文破解版

EditPlus 中文破解版

体积小,语法高亮,不支持代码提示功能

PhpStorm Mac 版本

PhpStorm Mac 版本

最新(2018.2.1 )专业的PHP集成开发工具

WebStorm Mac版

WebStorm Mac版

好用的JavaScript开发工具