调用指向带默认参数的静态成员函数的指针时，能否省略实参？

核心误解来自对C++默认参数生效机制的错误认知。

规则细节拆解 #

• 默认参数是纯编译期语法糖，不属于函数实体的固有属性
  你在函数声明里写的int i = 0，不会被存储到函数的二进制实体、类型签名中。它的唯一作用是：当编译器在直接写函数名的调用上下文里解析到缺省实参时，自动把默认值补全到调用的实参列表里。这个补全动作完全发生在语法解析阶段，和函数本身的实现没有绑定关系。
• 函数指针的类型签名不携带任何默认参数信息
  取&S::f得到的指针类型是严格的int(*)(int)——这个类型从定义层面就要求调用时必须传入1个int参数，没有任何“允许缺省参数”的约定。C++标准从未要求函数指针需要回溯被指函数的原始声明、继承其默认参数规则，编译器处理函数指针调用时，只认指针本身的类型定义。
  你写的auto fPtr {&S::f}、int (*fp)(int) {S::f}两种取址方式，得到的指针类型完全等价，自然会触发“参数数量不足”的报错。
• 通过类对象无参调用静态函数的逻辑本质
  s.f()能无参调用，和s这个实例对象没有任何关系。这个写法在语法解析阶段会被等价处理为S::f()，编译器顺着类作用域就能定位到f的声明，自然能读到i=0的默认参数，帮你补全实参。哪怕不创建实例，直接写S::f()也能正常无参调用，走的是完全相同的作用域查找逻辑。

认知误区澄清 #

很多开发者会把C的默认参数和其他语言的运行时可选参数混淆：比如部分动态语言中，函数实体本身会携带默认值元信息，通过函数指针调用时也能自动填充默认值。但C从设计之初就把默认参数定位为零开销的编译层便捷语法，不会在二进制层面保留任何额外的元信息，自然不会支持间接调用时自动补全默认参数的行为。

C++标准明确规定：默认实参的替换行为仅在被调用函数的声明对当前调用上下文可见、且调用语法直接关联到该函数声明时生效，不适用于通过函数指针、函数引用发起的间接调用场景。

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