c++中的柯里化(Currying)是什么_c++函数式编程技巧之函数部分应用

新闻中心 NEWS CENTER

您当前位置：首页 > 新闻中心 > 网络学院

c++中的柯里化(Currying)是什么_c++函数式编程技巧之函数部分应用

2025-12-13

浏览次数：次

返回列表

柯里化是将多参数函数转换为一系列单参数函数的技术，如 f(a, b, c) 变为 f(a)(b)(c)；在C++中可通过lambda嵌套实现，例如 auto add_curried = [](int a){ return [a](int b){ return a + b; }; }，支持分步调用与函数复用；结合模板可实现通用柯里化，提升代码灵活性和表达力。

c++中的柯里化(currying)是什么_c++函数式编程技巧之函数部分应用

柯里化（Currying）是一种将接受多个参数的函数转换为一系列只接受一个参数的函数的技术。在C++中，虽然它不是一门原生支持函数式编程的语言，但通过lambda表达式、std::function和模板等机制，可以实现类似柯里化的效果。

什么是柯里化？

柯里化的核心思想是：把一个多参数函数 f(a, b, c) 变成 f(a)(b)(c) 的形式。每次调用只传入一个参数，返回一个新的函数，直到所有参数都被传入后才真正执行计算。

例如，有一个加法函数：

auto add = [](int a, int b) { return a + b; };

经过柯里化后，它可以写成：

auto add_curried = [](int a) { return [a](int b) { return a + b; }; };

使用方式变为：

auto add5 = add_curried(5); // 返回一个“加5”的函数 int result = add5(3); // 得到 8

这其实就是函数的部分应用（Partial Application）的一种表现形式。

如何在C++中实现柯里化

C++没有内置的柯里化语法，但我们可以通过嵌套lambda或模板来模拟。

以三参数函数为例：

auto multiply = [](int a) { return [a](int b) { return [a, b](int c) { return a * b * c; }; }; };

调用时就可以逐步传参：

拾贝

一键同步微信读书所有笔记和划线，并在新标签页回顾

186 查看详情

int result = multiply(2)(3)(4); // 结果是 24

也可以分步保存中间函数：

auto mul2 = multiply(2); auto mul2_3 = mul2(3); int result1 = mul2_3(4); // 24 int result2 = mul2_3(5); // 30

这种灵活性使得我们可以构建可复用的函数工厂。

通用柯里化模板（进阶技巧）

为了更通用，可以用可变参数模板和递归lambda来实现自动柯里化。虽然复杂一些，但在需要频繁做部分应用时很有用。

一个简化的例子：

template auto curry(F&& f) { return [&f](auto&&... args) { if constexpr (sizeof...(args) >= 3) { return f(std::forward(args)...); } else { return [f = std::forward(f), &args...](auto&& arg) { return curry([&](auto&&... rest) { return f(std::forward(args)..., std::forward(arg), std::forward(rest)...); }); }; } }; }

注意：完整通用实现较为复杂，涉及类型推导和完美转发，通常用于库开发。