函数指针最兼容但类型严格;std::function更灵活但有开销;模板参数性能最好但需编译期确定类型;成员函数须绑定对象且注意生命周期。

函数指针是最直接、最兼容的方式
C++ 里把函数当参数传,最基础也最通用的办法是用函数指针。它不依赖 C++11 以后的特性,所有标准都支持,适合嵌入式或老项目。
- 函数指针类型必须严格匹配:参数个数、类型、顺序,以及返回值类型都要一致
- 声明时容易漏掉括号,比如
int (<em>func)(int)</em>是函数指针,int func(int)是返回指针的函数 - 调用时可以直接传函数名(如
process),编译器自动转成地址,不用加&process
void process(int x) { /* ... */ }
void run_with_callback(void (*cb)(int), int val) {
cb(val);
}
run_with_callback(process, 42); // 正确
std::function + lambda 更灵活,但有开销
std::function 是 C++11 引入的类型擦除包装器,能接函数指针、lambda、绑定对象的成员函数,写起来更自由。
- 捕获变量的 lambda(比如
[x](int y){ return x + y; })无法转成普通函数指针,但可以赋给std::function - 每次调用有轻微虚函数/间接跳转开销,高频循环里要注意
- 头文件必须包含
<functional>,否则编译报错unknown type name 'function'
#include <functional>
void exec(std::function<int(int)> f) {
f(10);
}
exec([](int x) { return x * 2; }); // OK
模板参数推导避免类型擦除,性能最好
如果调用点已知具体函数类型,用模板传参能完全避免运行时开销,连 std::function 的封装都不需要。
组合式C++代码评审方案,融合静态分析、AI推理、多轮迭代评审和C++专项检查,适用于PR审查、增量代码审查、全项目评审和代码质量评分,触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 编译器为每个实参类型生成一份函数实例,代码体积可能略增
- 不能用于运行时才决定回调逻辑的场景(比如从配置加载函数名)
- 注意 lambda 类型是唯一的、不可名状的,所以必须用
auto或模板参数接收
template<typename F>
void apply(F&& f, int x) {
f(x);
}
apply([](int x) { std::cout << x; }, 5); // 推导出具体 lambda 类型
成员函数要绑定对象,不能直接传
类成员函数隐含 this 参数,所以不能直接当普通函数指针用,否则编译报错 cannot convert 'void (A::<em>)()' to 'void (</em>)()'。
立即学习“C++免费学习笔记(深入)”;
- 用
std::bind或 lambda 捕获对象指针来“绑定” - 静态成员函数没有
this,可直接当普通函数指针用 - 如果对象生命周期短于回调执行时间,绑定后调用会崩溃 —— 这是最容易被忽略的内存安全问题
struct A { void foo(int x) { /* ... */ } };
A a;
// 错误:&A::foo 不是可调用对象
// exec(&A::foo);
<p>// 正确:用 lambda 捕获 a 的引用(确保 a 活着)
exec([&a](int x) { a.foo(x); });</p>函数作为参数传入本身不难,难的是选对方式:要兼容旧标准就用函数指针;要写得快、逻辑杂就用 std::function;追求极致性能且调用点固定就上模板;而成员函数那块,永远要多想一拍——对象还活着吗?

















