通过函数指针调用函数时，为何不允许省略默认实参？

核心原因可以从函数指针的类型本质、默认实参的实现机制，以及C++的静态类型设计三个角度理解：

1. 函数指针的类型不包含默认实参信息 #

函数指针的类型仅由参数的数量、类型和返回值类型决定，默认实参是函数声明的附加属性，不属于函数类型的一部分。

比如你的代码里：

void func(int, int = 4);
void (*ptr)(int, int) = func;

指针ptr的类型是void(*)(int, int)，它只知道自己指向的函数需要两个int参数，完全不关心目标函数有没有默认实参。调用时必须严格匹配这个类型签名，不能省略参数。

2. 默认实参是编译期的语法糖 #

直接调用func(5)时，编译器在编译阶段就明确知道func的默认实参，会自动把代码替换为func(5, 4)——这是编译期完成的静态替换。

但通过函数指针调用时，编译器无法在编译期确定指针最终指向哪个函数：指针可能在运行时被重新赋值，指向另一个没有默认实参的函数（比如void other_func(int a, int b) { ... }）。如果允许省略参数，就会导致运行时参数缺失的错误，C++标准为了避免这种不安全的情况，直接禁止了这种用法。

3. 静态类型一致性的要求 #

C++是静态类型语言，函数指针的类型必须保证调用行为的一致性：同一个类型的指针，不管指向哪个函数，调用方式都必须完全相同。

如果允许通过指针调用时省略默认实参，就会破坏这种一致性——同一个指针，指向带默认参数的函数时可以少传参数，指向不带默认参数的函数时又必须传全参数，这违背了静态类型系统的设计原则。

内容的提问来源于stack exchange，提问作者user21908670