Swift 柯里化（Currying）怎么理解？从基础示例到部分应用与依赖注入

时间：2026-08-24 | 作者：深海捕梦者 | 阅读：0

前言

很多人第一次接触 Swift 柯里化时，只记住了“把多参数函数拆成一连串单参数函数”这句定义，却不容易判断它在真实代码里到底有什么意义。本文会用加法、前缀判断和日志记录三个例子，逐步说明柯里化如何帮助你做部分应用、减少重复传参，并以更轻量的方式组织可复用函数。

很多人第一次接触 Swift 柯里化（Currying）时，往往只记住“把多参数函数改写成一串单参数函数”这一定义，却不容易看出它在代码组织里到底有什么用。本文从最基础的加法函数开始，逐步过渡到字符串前缀判断和日志记录器示例，帮助你理解它在部分应用、复用逻辑和轻量依赖注入中的实际价值。

什么是 Swift 柯里化

柯里化的核心，是把一个原本接收多个参数的函数，转换成一系列每次只接收一个参数的函数。

也就是说，函数第一次调用先接收第一个参数，并返回另一个函数；这个返回的函数再接收下一个参数，直到得到最终结果。这样做的价值不只是语法变化，更重要的是它让“先固定一部分参数、生成更专用的新函数”成为可能。

从加法示例理解柯里化结构

先看一个最简单的例子。下面这个 add 函数先接收一个 Int，然后返回一个“再接收一个 Int 并返回结果”的函数。

展示 Swift 柯里化如何把双参数加法函数拆成两次调用，并生成固定参数的新函数 — **柯里化的基本调用拆分**用加法示例展示柯里化最基础的调用拆分方式：先传入一个参数，再返回可复用的新函数。

func add(_ x: Int) -> (Int) -> Int {
    return { y in
        return x + y
    }
}

// 使用柯里化函数
let addFive = add(5)
print(addFive(3))  // 输出 8

这里可以把调用过程拆开理解：

调用过程是如何拆分的

add(5) 并不会立刻完成“两数相加”这件事，它先返回一个新函数，这个新函数已经记住了 x = 5。随后再调用 addFive(3)，才会把第二个参数传进去，最终得到 8。

换句话说，let addFive = add(5) 这一步，本质上是在创建一个“固定第一个参数为 5”的专用函数。

柯里化为什么适合部分应用

柯里化最常见的实际用途，就是部分应用（Partial Application）。当某个函数的一部分参数在多个调用场景里是固定的，就可以先把这部分参数绑定，生成一个更具体、更容易复用的函数。

展示 hasPrefix 与 logger 两类柯里化用法：一类用于部分应用，一类用于注入固定配置 — **部分应用与轻量依赖注入**同样是先固定参数再返回函数，但前缀检查强调复用条件，日志记录器强调注入上下文。

字符串前缀判断就是一个很典型的例子：

func hasPrefix(_ prefix: String) -> (String) -> Bool {
    return { string in
        return string.hasPrefix(prefix)
    }
}

// 创建一个带特定前缀的检查函数
let hasHttpPrefix = hasPrefix("http")

// 使用这个函数
print(hasHttpPrefix("http://example.com"))  // 输出 true
print(hasHttpPrefix("https://example.com")) // 输出 true
print(hasHttpPrefix("ftp://example.com"))   // 输出 false

这个写法解决了什么问题

如果你的业务里会反复检查字符串是否以 "http" 开头，那么与其每次都重新传入这个前缀，不如先生成一个 hasHttpPrefix 函数。这样做有两个直接好处：

一是减少重复参数，让调用点更简洁；二是把“判断 http 前缀”这件事抽成了一个语义更清楚的函数，代码可读性会更好。

用柯里化做轻量依赖注入

除了复用判断逻辑，柯里化也可以拿来做轻量的依赖注入。思路很简单：先把环境信息、配置项或行为前缀传进去，得到一个已经绑定上下文的新函数，后续直接使用这个专用函数即可。

日志记录器就是一个容易理解的示例：

func logger(prefix: String) -> (String) -> Void {
    return { message in
        print("(prefix): (message)")
    }
}

let errorLogger = logger(prefix: "ERROR")
let infoLogger = logger(prefix: "INFO")

errorLogger("File not found.")   // 输出: ERROR: File not found.
infoLogger("User logged in.")    // 输出: INFO: User logged in.