1.【十一】重新起步
2.Lua 脚本静态分析的源码思路与实现
3.hybridclr源代码解析

【十一】重新起步

       哈，没想到吧，解析本专栏还有再次更新的源码一天。

       其实是解析看到这个之后，决定把热更新也整合进去。源码既然要整合热更新，解析java反射jvm源码那现在的源码框架不得不重新写一次，因为代码最终要编译成Dll的解析。

       这次重写的源码话，我做出了如下选择:

       脚本语言：xLua

       Unity版本：Unity .3.5 （VS）

       文件夹设置：游戏工程的解析建立

       没啥好说的，中规中矩建一个3D工程。源码随意新建一个脚本，解析用VS打开，源码在“解决方案管理器”视图找到Unity相关的解析引用，其属性为：

       把路径里用到的源码东西打包复制到Dll工程的3rd目录下，供Dll工程引用。然后再找到pdb2mdb.exe和mono.exe：

       如果电脑里有多个Unity版本，则可能会有多个该程序，选择对应版本的即可，等下要用的工匠系统源码是路径，pdb2mdb.exe是DLL的调试符号转换器，不生成mdb就没法调试DLL中的代码。

       类库工程建立

       依旧是中规中矩创建一个类库的工程。先添加刚才准备好的Unity相关程序集引用，然后打开项目属性，设置生成后事件：

       此处就使用了mono和pdb2mdb的路径，生成之后复制到游戏工程中。这里随便写了一个测试类，在游戏工程中可见，Dll中已经有这个类了。

       打上断点，挂上调试。然后运行游戏工程，好的，成功断住：

       接入xLua

       将Plugin放进游戏工程中，将Src下的源码分别放进Editor目录和DLL工程中，测试一下：

       没毛病，成功启动Lua虚拟机。接下来就是快递系统 源码要配置xLua，选择一些可能要在Lua端使用的C#内容，按照xLua文档所示，直接整个静态类静态List，把要用的东西码入。

       这里我根据个人的判断添加了如下内容：

       然后调整一下配置生成器的路径：

       然后执行一下生成命令，更新Dll工程，然后编译一下。是时候测试了。

       也确实打印出来了“hello”字样。

       API定义生成

       写这种脚本语言，没有个编辑和调试插件其实是挺蛋疼的。这里推荐luaide，直接在vscode插件里找就可以，收费也比较便宜。

       不过暂时还没有用它的打算，而是先接入它的api定义生成，这样编写Lua的时候可以相对直观的看到C#中一些api和数据的写法。

       放进工程目录之后，修改导出路径，指标vol 源码然后注释掉LuaIdeApi.cs里的菜单标签和自动生成；在xlua的生成函数末尾添加LuaIdeApi的生成即可。

       这样，每次生成xlua内容的时候就会自动把api定义也更新，可以说是非常完美。

       VS Code准备

       用VS Code打开了Lua文件夹之后，会发现Unity生成的.meta文件也被计入了其中，因此我们要设定过滤，保证VS Code开发环境的清爽：

       另外我比较习惯折叠代码，这点VSCode的Lua样式还没有，手动打开配置一下：

       加载Lua

       在编辑器下的开发应当越快越好，越高效越好，所以加载的时候，就有必要设计一种编辑器下的加载模式，跟使用AssetBundle或者其他自定义数据存储形式的生产环境不同，该模式应当做到修改Prefab\Lua等资产之后，无需打包即可立刻启动。

       因为是为了测试xLua的加载，所以一切从简：

       其中LoadContext是一个发起加载的上下文，该结构我暂时还没想好填充什么，源码排行平台不过也无关紧要，对于现在的测试来说，只要保证LoadLua方法可用就行。

       这里使用System.IO.File而不是用AssetDatabase的原因是，“*.lua”在Unity中会被认为是DefaultAsset，无法被当做TextAsset处理。

       在测试用的MonoBehavior类中用require('Game/Game')，打印成功。

       Lua的class实现

       才疏学浅，自己写的果然又长又臭，这里使用了quick-cocos2d-x的实现，但是因为我并没用到什么native C++的东西，所以大笔一挥，只保留了基本的Lua Object的内容：

       好，我们来稍加测试一下：

       表格的使用

       将Excel表格生成成如下形式，代码可参照之前的内容：

       使用一个_Data.lua来封装所有对数据表的查询操作：

       测试，然后通过：

Lua 脚本静态分析的思路与实现

       作者：levizhao，腾讯 IEG 客户端开发工程师

       在游戏开发过程中，lua 脚本的广泛应用带来了一定挑战。由于其语法检查主要在运行时进行，且作为胶水语言，全局变量的注入和修改可能导致编辑器难以提前发现错误，影响开发效率。本文探讨了如何通过静态分析来改善这一状况。

       xlua，作为热门的lua解决方案，它支持Unity等C#环境的扩展，通过代码生成和反射实现与C#的交互，对代码的侵入性相对较小。在Unity项目中，运营内容的热更新通常依赖xlua进行开发，但其局限性在遇到lua脚本错误时显得明显。

       目标是通过静态分析在编译阶段检查lua代码的符号语义，避免运行时的错误。这种思路类似于动态链接，但在脚本执行前进行模拟，关注符号的有效性，遇到无法解析的符号，视为“链接失败”。这一方法并非局限于Unity，而是适用于其他lua绑定的静态分析。

       实现这一目标需要对lua源码进行预编译，包括词法分析、语法解析、解释器和编译器等。lua标准库函数需要导出，同时处理外部注入的符号，通过懒加载机制减少开销。lua虚拟机的指令解析是关键环节，涉及多种指令操作。

       尽管静态分析解决了部分问题，但混合编程的局限性仍存在。混合编程初衷是利用不同语言的优势，但目前实践中存在效率和简洁性的妥协。为了更优雅地解决这些问题，我们需要深入考虑游戏引擎、编译器和代码编辑器等基础设施的改进，以打破单纯的插件式设计。

hybridclr源代码解析

       基于lua的unity热更新解决方案

       使用lua5.3.5，可以通过VS进行调试，lparser.c负责解释lua源代码，LClosure *luaY_parser函数是解释lua源码的入口。llex.c中的llex函数负责词法分析，而lparser.c中的statement函数进行语法分析。lvm.c则用于执行lua代码。观察到lua需要第三方插件以查看性能，其基于寄存器的虚拟机性能优于ilruntime，但与unity交互成本高，依赖于lua的堆栈交互。

       流行解决方案如XLua和ToLua，XLua在处理如Vector3等结构体时，避免了不必要的拆箱和装箱操作，ToLua则直接在lua代码中实现了与C#类似的Vector3数据结构。

       基于ilruntime的unity热更新解决方案

       ilruntime的下载地址为github.com/Ourpalm/ILRuntimeU3D。它提供了unity示例工程，其中ImageReader.cs负责加载dll，而ilruntime使用Mono.Cecil来读取dll的PE信息。从2.0版本开始，ilruntime引入了寄存器模式以解决数值计算效率问题，分为按需JIT（ILRuntimeJITFlags.JITOnDemand）和立即JIT（ILRuntimeJITFlags.JITImmediately）两种模式。ILIntepreter.cs用于执行il代码，非寄存器模式下，Execute函数负责执行代码，而寄存器模式下的ExecuteR函数实现相同功能。然而，所有解决方案的虚拟机与il2cpp相互独立，导致元数据不相通，影响了与unity类的集成，需要额外封装和跨域访问处理。ilruntime支持大部分C#语法，但使用时需注意避免一些陷阱。

       基于hybridclr的unity热更新解决方案

       hybridclr提供了unity示例工程，官方博客地址为hybridclr.doc.code-philosophy.com...，使用手册可参考介绍 | HybridCLR。建议在vs和unity.3.0f1环境下调试PC工程。加载dll的两个主要入口在于.metadataModule.cpp中的LoadMetadataForAOTAssembly函数和RawImage.cpp读取原始信息，随后Image.cpp解析dll信息并翻译成il2cpp类型，AOTHomologousImage.cpp和ConsistentAOTHomologousImage.cpp分别用于封装加载过程，确保一致性或超集程序集的灵活管理。Assembly.cpp的Il2CppAssembly* Create函数解析PE头、CLR头和元数据以得到镜像信息，随后初始化metadata和interpreter模块以提供快速访问和执行速度。

       hybridclr的优势在于直接使用il2cpp的内存对象，避免跨域问题；利用C#语言特性进行开发；并能够使用unity自带的profiler工具查看性能。