Lua Academy · 课时

部分应用

Q: 「部分应用」这节课中我会学到什么？

预先填充函数参数。 你通过在浏览器中直接运行的动手代码来练习 Lua Academy，全天候 AI 导师会在你学习这节课的过程中回答你的问题。

预先填充函数参数。

部分应用 是 CoddyKit 上的免费 Lua Academy 课时。这是第 3 节课，共 4 节。你可以在下方免费阅读本课时的完整内容 — 然后在浏览器中使用内置代码编辑器和全天候 AI 导师进行实践。这是 Lua Academy 学习路径的一部分，你的进度在网页和 CoddyKit 应用中同步。 Lua Academy 课程共包含 4 节课。

什么是部分应用

部分应用是指现在固定函数的一部分参数，稍后再提供其余参数。这样会得到一个只需要较少参数的新函数。

通过锁定已经知道的值，您可以将通用函数转换为专用函数。

手动示例

假设您有一个 add 函数。您可以编写一个捕获 5 并等待第二个数字的闭包，从而构建 addFive。

被捕获的值会保存在返回的函数中，因此每次调用只需要提供剩余的参数。

local function add(a, b)
  return a + b
end

local function addFive(b)
  return add(5, b)
end

print(addFive(10))
print(addFive(2))

绑定第一个参数

我们可以将这种模式推广开来。bind1 辅助函数接收一个函数和固定的第一个参数，并返回一个等待第二个参数的新函数。

闭包会捕获 f 和锁定的值，并在调用时转发所有参数。

local function bind1(f, a)
  return function(b)
    return f(a, b)
  end
end

local function mul(x, y) return x * y end
local double = bind1(mul, 2)
print(double(7))
print(double(50))

使用可变参数

要固定任意数量的前置参数，请使用 Lua 的可变参数语法 ...。您可以捕获固定参数，然后在调用时追加后续参数。

table.pack 和 table.unpack 函数可以帮助您存储和展开参数列表。

local function partial(f, ...)
  local fixed = table.pack(...)
  return function(...)
    local rest = table.pack(...)
    local args = {}
    for i = 1, fixed.n do args[i] = fixed[i] end
    for i = 1, rest.n do args[fixed.n + i] = rest[i] end
    return f(table.unpack(args, 1, fixed.n + rest.n))
  end
end

local function add3(a, b, c) return a + b + c end
local add10 = partial(add3, 10)
print(add10(2, 3))

固定多个参数

由于 partial 接受可变参数，因此您可以一次固定多个参数。返回的函数随后只需要其余参数。

这里预先填入了三个参数中的两个，因此得到一个只接受单个参数的函数。

local function partial(f, ...)
  local fixed = table.pack(...)
  return function(...)
    local rest = table.pack(...)
    local args = {}
    for i = 1, fixed.n do args[i] = fixed[i] end
    for i = 1, rest.n do args[fixed.n + i] = rest[i] end
    return f(table.unpack(args, 1, fixed.n + rest.n))
  end
end

local function label(prefix, sep, value) return prefix .. sep .. value end
local tag = partial(label, "id", ":")
print(tag(42))

实际应用

部分应用在通用工具函数中尤其有用。先固定一次配置，然后多次复用这个专用函数。

下面，通用的 greet 变成了固定语言的问候函数，只需要接收姓名。

local function greet(lang, name)
  if lang == "tr" then return "Merhaba, " .. name end
  return "Hello, " .. name
end

local function bind1(f, a) return function(b) return f(a, b) end end
local greetTr = bind1(greet, "tr")
print(greetTr("Ada"))
print(greetTr("Lin"))

部分应用与柯里化

柯里化会将多参数函数转换为一连串单参数函数，每个函数都会返回下一个函数。部分应用则只是固定一部分参数，其余参数仍通过普通调用传入。

两者相关但并不相同：柯里化是逐个传入参数，而部分应用是现在固定一部分参数。

local function curryAdd(a)
  return function(b)
    return function(c)
      return a + b + c
    end
  end
end

print(curryAdd(1)(2)(3))

对双参数函数进行柯里化

一个小型辅助函数就能自动将任意双参数函数进行柯里化。它返回一个接受第一个参数的函数，而该函数又会返回一个接受第二个参数的函数。

这样就能生成可复用的单参数构建器，在数据管道中使用时也很清晰。

local function curry2(f)
  return function(a)
    return function(b)
      return f(a, b)
    end
  end
end

local function pow(base, exp) return base ^ exp end
local cpow = curry2(pow)
print(cpow(2)(10))

闭包让它成为可能

每个部分应用函数和柯里化函数都依赖闭包。固定的参数会被捕获为局部变量，返回的函数会记住这些变量。

由于每个返回的函数都有自己捕获的值，因此您可以安全地创建许多专用变体。

local function bind1(f, a) return function(b) return f(a, b) end end
local function sub(x, y) return x - y end

local from100 = bind1(sub, 100)
local from10 = bind1(sub, 10)
print(from100(40))
print(from10(3))

何时使用它

当您反复使用相同的开头参数调用某个函数时，可以使用部分应用来消除重复。

它还可以帮助您将函数适配到只接受较少参数的接口，例如只传递一个值的回调函数。

配置回调函数

部分应用与映射和筛选配合得很好。您可以预先填入配置参数，让回调函数只接收列表元素。

这样既能保持数据管道整洁，又能让您调整行为。

local function map(t, f) local o={} for i,v in ipairs(t) do o[i]=f(v) end return o end
local function bind1(f, a) return function(b) return f(a, b) end end
local function scale(factor, x) return factor * x end

local r = map({1,2,3,4}, bind1(scale, 10))
print(table.concat(r, ", "))

快速检查

请回忆这两个相关概念之间的区别。

回顾

部分应用会固定一部分参数，并返回一个等待其余参数的新函数；这个过程通过闭包捕获固定的值。

基于可变参数的 partial 辅助函数可以将这一机制推广开来，而柯里化则会串联单参数函数。两者都能减少重复，并将函数适配到回调函数。

常见问题解答

「部分应用」课时是免费的吗？

是的 — 「部分应用」的完整文本可在网页上免费阅读。要进行交互式练习（内置代码编辑器和全天候 AI 导师）并解锁 Lua Academy 课程的其余内容，请升级到 CoddyKit PRO。 Lua Academy 课程共包含 4 节课。

「部分应用」这节课中我会学到什么？

预先填充函数参数。你通过在浏览器中直接运行的动手代码来练习 Lua Academy，全天候 AI 导师会在你学习这节课的过程中回答你的问题。

学习 Lua Academy 需要有经验吗？

无需任何先前经验。CoddyKit 上的 Lua Academy 课程适合初学者到高级学习者，你可以从这里开始或从头开始，按照自己的节奏学习。这是第 3 节课，共 4 节。

「部分应用」课时需要多长时间？

大多数 CoddyKit 课程大约需要 5–10 分钟。每节课都很精短且互动，所以你能稳步进步，并在网页和应用中从离开的地方继续。

我能在这节 Lua Academy 课中编写并运行代码吗？

能。每节 Lua Academy 课都包含内置代码编辑器，你可以在浏览器中直接编写并运行真实代码，并获得即时 AI 反馈 — 无需本地设置。

此课程中的所有课时

← 返回 Lua Academy