Lua闭包简述

Lua闭包简述

---

前言

最近工作上比较忙，没有太多时间来进行学习和总结，有点难受。

由于最近接触这一块比较多，所以赶紧忙里偷闲总结一篇闭包相关的笔记。

基本概念

首先我们必须知道，闭包是什么？

简而言之，闭包就是一个环境，一个能够访问外部声明的变量和方法的环境。

举个简单的小例子：

local a = 100

local function f()
	a = 200    
end

上面的代码中，f方法访问了外部的变量a，f方法就是一个闭包或者说闭包函数。

这里的变量a，也就是所谓的上值（upvalue）。

原理

外部变量是如何调到的呢？这一部分最终在内存中存的到底是什么东西呢？

当Lua编译一个函数的时候，它会对应地生成一个原型prototype。这个prototype中所包含的有函数的虚拟机指令、函数用到的常量和一些调试用的信息。

而当Lua执行一个函数，即运行一个 function … end 的时候都会产生一个闭包closure，每个闭包都会有一个对应的prototype引用和存放upvalue引用的数组。

至于闭包的环境，在Lua 5.2之前，闭包中还存在一个对闭包所在环境的引用；在Lua 5.2之后，闭包环境通过 _ENV 变量来进行配置。

那么闭包是如何通过upvalue来访问外部变量的呢？

upvalue本质上也是一个数据结构，其中包含一个指向栈变量的指针、包含一个存储复制值的空间和一个指向下一个upvalue的next指针。当栈上的变量离开作用域被释放时，upvalue会把栈上的值复制一份到自己的结构中，同时让指针由指向原来的栈变量的空间转为指向自己的空间。每个变量最多只会创建一个upvalue。

这种机制解决了变量离开作用域就会被释放从而无法再访问的问题，其实本质上确实是无法再被访问到了，闭包只是通过把值复制了一份才得以继续访问。这也就是我们常说的闭包中内存泄漏的部分，内存泄漏泄漏的其实不是栈上原变量的那部分内存，而是upvalue中的那部分内存。但实际上Lua对于这种“被关闭”的upvalue，如果检测到其不再被任何闭包所引用，那么它的存储空间将被回收。所以精确地说，闭包中很可能出现内存泄漏，但不一定。只要处理得当就不会发生。

正常来说，每当我们创建一个变量时，都会存放在Lua栈上。当一个闭包尝试访问外部变量时，就会先在存放upvalue引用的数组中找到对应的upvalue，然后通过upvalue来返回想要获取的值。

（图片参考）

优势

1、可以让外部变量或方法能够被访问，或者说提供访问其他函数内部变量的环境。

2、可以让变量不被随意修改、污染，即起到保护和封装作用。比如说，可以通过闭包实现get和set方法来对一个变量进行操作，而不是直接对变量进行赋值：

例一：

local getA
local setA
local function initA()
    local a
    getA = function()
        return a
    end
    setA = function(value)
        a = value
    end
end

initA()
setA(100)
print(getA())

例二：

local function init()
    local count = 0
    return function()
        count = count + 1
        return count
    end
end

local f = init()
print(f()) -- 输出1
print(f()) -- 输出2
print(f()) -- 输出3
local g = init()
print(g()) -- 输出1
print(g()) -- 输出2
print(g()) -- 输出3

在上面两个例子中，巧妙使用闭包，非常好地实现了封装性。

劣势

为什么说使用闭包耗？闭包它耗在哪了呢？

一是耗在内存上，因为使用闭包会很容易产生内存泄漏。

就比如上面两个例子，被封装起来的变量一直不会被释放，导致内存有一块空间被长期占用，产生内存泄漏。简单来说，就是闭包中的局部变量会常驻内存，从而产生内存泄漏。

那么如何解决闭包容易产生的内存泄露问题呢？——主动释放闭包引用到的变量。

举个例子，一看就明白：

function f()
   local a = 0
    return function g()
        a = a + 1
        print(a)
    end
    a = nil -- 主动释放闭包引用到的变量
end

二是耗在调用和交互上，在C#和Lua的交互过程中，频繁地函数传递会导致delegate被频繁创建和管理。举个例子，在Lua做按钮事件交互的时候很多时候会把一个匿名函数当参数传过去。实际上是非常耗的。而且还要记得及时反注册C#的delegate，否则会发生内存泄漏。

解决方法有很多，比如可以通过监听收发事件来代替函数传参。

应用

1、高阶函数，如table.sort类似的函数；

2、创建其他函数的函数；

3、做匿名回调函数；

4、创建安全的运行环境，即所谓的沙盒；

5、实现迭代器。

小结

闭包这些概念看上去简单，但是深究起来还是有很多东西可以探讨的。

学就完事了。