std::apply 是 C++17 引入的元组解包工具,将 tuple 元素展开为函数参数;要求函数参数类型和数量与 tuple 严格匹配,支持普通函数、lambda 等,返回函数调用结果。

std::apply 是 C++17 引入的实用工具,用来把一个 std::tuple(或兼容的元组类类型)里的元素“展开”成普通函数调用的参数列表。它本质是元编程中“解包”的一种标准化、安全且简洁的写法。
基本用法:把元组传给函数
你有一个函数(可以是普通函数、lambda、成员函数指针等),还有一个元组,想让元组里每个元素依次作为参数传进去——这时就轮到 std::apply 出场。
- 语法很简单:
std::apply(func, tuple) -
func的参数个数和类型必须与tuple的元素完全匹配,否则编译失败 - 返回值就是
func(...)的返回值
例子:
#include#include iostream>
int add(int a, int b) { return a + b; }
auto t = std::make_tuple(3, 5);
auto result = std::apply(add, t); // result == 8
配合 lambda:避免单独定义函数
多数时候你并不想为一次解包专门写个命名函数。直接用 lambda 更轻量:
立即学习“C++免费学习笔记(深入)”;
- lambda 参数列表自动对应元组结构
- 适合做临时计算、格式化、构造对象等
例子:
auto t = std::make_tuple("Hello", 42, 3.14);std::apply([](const char* s, int i, double d) {
std::cout }, t); // 输出:Hello, 42, 3.14
处理成员函数:用 std::mem_fn 或直接绑定 this
对类成员函数,需要把对象实例(this 或对象引用)和元组一起传进去。常用两种方式:
- 用
std::mem_fn(&Class::func)包装后,第一个 tuple 元素放对象(或指针),后面放实参 - 更常见的是在 lambda 里捕获对象,然后调用成员函数
例子(lambda 捕获方式):
struct Foo { void print(int x, const std::string& s) { std::cout Foo f;auto args = std::make_tuple(100, std::string("ok"));
std::apply([&f](int x, const std::string& s) { f.print(x, s); }, args);
实际场景:构造对象、转发参数、日志封装
std::apply 常见于泛型代码中,比如:
- 用元组保存构造参数,统一创建不同类型的对象(类似工厂)
- 实现通用的函数包装器(如带日志的调用、计时 wrapper)
- 把可变参数模板打包成 tuple 后延迟调用(避免模板膨胀)
小技巧:常和 std::forward_as_tuple 配合,完美转发参数:
auto call_with_tuple(F&& f, Args&&... args) {
return std::apply(std::forward
}
基本上就这些。它不复杂,但容易忽略——尤其在写泛型容器或事件系统时,能帮你省掉一长串手动 get、get 的样板代码。










