函数指针数组要求所有元素函数签名严格一致，如int(int,int)，括号位置必须为(*funcs[3])(int,int)，初始化用函数名，调用前需检查索引合法性并用sizeof计算长度。
函数指针数组的声明和初始化必须类型严格匹配
函数指针数组不是普通指针数组，每个元素都必须指向**签名完全一致**的函数。比如所有函数都要是 int(int, int) 类型，不能混入 int(double, double) 或 void(int, int)。常见错误是漏写 const、noexcept 或调用约定（Windows 下尤其要注意 __cdecl vs __stdcall），导致编译失败或运行时崩溃。
正确写法示例：
int add(int a, int b) { return a + b; }
int sub(int a, int b) { return a - b; }
int mul(int a, int b) { return a * b; }
<p>// 声明：指向 int(int, int) 的函数指针数组，含 3 个元素
int (*funcs[3])(int, int) = {add, sub, mul};
</p>
- 注意括号位置：
(*funcs[3])表示“长度为 3 的数组，每个元素是指向函数的指针”，不是*funcs[3]（那是 3 个指针）或(*funcs)[3]（那是指向数组的指针） - 初始化时直接写函数名（不加
&），C++ 允许函数名自动转为函数指针 - 如果函数在类内且是非静态成员函数，不能直接放进这个数组——成员函数有隐式
this参数，签名不兼容
调用时要确保索引合法，避免越界访问
数组下标从 0 开始，访问 funcs[3] 就是越界——即使编译通过，行为未定义。调试时容易因索引错位调到野指针上，触发 EXCEPTION_ACCESS_VIOLATION（Windows）或 Segmentation fault（Linux/macOS）。
安全调用建议：
- 用
sizeof(funcs)/sizeof(funcs[0])算出真实长度，别硬编码3 - 调用前检查索引：
if (i >= 0 && i - 考虑用
std::array替代裸数组，支持.size()和at()（带边界检查）
例如：
std::array<int> funcs = {add, sub, mul};
if (idx <h3>lambda 和 std::function 不能直接存进原生函数指针数组</h3>
<p>这是高频误解点。lambda（哪怕没捕获）默认生成的是闭包类型，不是函数指针；<code>std::function</code> 是类模板，更不是指针。把它们强行转成 <code>int(*)(int,int)</code> 会编译失败：</p>
<pre class="brush:php;toolbar:false;">auto lambda = [](int a, int b) { return a + b; };
// ❌ 错误：cannot convert ‘main()::<lambda int>’ to ‘int (*)(int, int)’
int (*bad[1])(int, int) = {lambda};
<p>// ✅ 正确做法：用 std::array<:function>, N>
std::array<:function>, 2> func_objs = {
[](int a, int b) { return a + b; },
std::plus<int>()
};
</int></:function></:function></p></lambda>
- 无捕获 lambda 可显式转函数指针：
static_cast<int>(lambda)</int>，但仅限 C++11 起，且可读性差，不推荐 - 若需存储不同签名或带状态的 callable，必须用
std::function，代价是虚调用开销和内存分配（小对象优化通常能避免） - 原生函数指针数组零开销、纯栈存储，适合嵌入式或性能敏感场景；
std::function更灵活但有间接成本
函数指针数组在 switch-case 替代场景下的实际陷阱
有人用函数指针数组替代长 switch，比如按操作码分发。这看似简洁，但容易忽略两个关键问题：
- 数组索引和业务逻辑的映射关系必须稳定。如果操作码值域稀疏（如
OP_ADD=1,OP_MUL=100），直接用funcs[op]会导致巨大数组浪费或越界 - 没有默认分支兜底。switch 有
default:，而数组访问失败就是崩溃——必须自己做范围校验或用 map 映射稀疏键 - 调试困难：GDB 里看到
funcs[2]不知道对应哪个函数，建议配合 enum 和注释，或用结构体封装函数+名称
例如更健壮的写法：
enum OpCode { OP_ADD, OP_SUB, OP_MUL, OP_COUNT };
int (*const ops[OP_COUNT])(int,int) = {add, sub, mul}; // 名称明确，长度自解释
<p>if (op >= OP_ADD && op </p><p>函数指针数组本身很简单，但类型匹配、边界控制、语义清晰这三点，任何一个疏忽都会让代码从“省事”变成“救火”。</p>C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
