通过函数指针调用无参替代函数：是否为未定义行为？能否依赖ABI？

问题背景 #

希望实现一个返回默认值的通用函数，通过函数指针转换将其作为其他不同原型函数的替代，示例代码如下：

int replacement() {
  return 43;
}

int (*abstract)(int i, const char *c);

int main() {
    abstract = reinterpret_cast<decltype(abstract)>(replacement);
    int res = (*abstract)(55, "Test");

    std::cout << "Result is " << res << std::endl;
}

代码当前能正常运行，但疑似属于C++标准中的未定义行为，核心疑问：

• 该行为是否确实为未定义行为？
• 能否依赖ABI保证其正确性？
• GTK+、Vulkan等框架的类似用法是偶然可行还是可依赖的？

问题解答 #

1. 该行为属于C++标准明确的未定义行为 #

C++标准规定，只有当函数指针的目标函数原型与指针声明的原型完全匹配（或符合极少数特殊兼容规则，比如指向成员函数的特定转换）时，通过该指针调用函数才是合法的。跨不同原型的reinterpret_cast转换并调用，属于标准明确标记的未定义行为——标准不对这种代码的运行结果做任何保证，编译器可以进行任意优化，包括直接跳过调用、触发程序崩溃、返回随机值等。

2. 不能依赖ABI保证正确性 #

虽然在x86-64 System V、Windows x64等主流ABI下，未使用的参数仅会被推入栈或写入寄存器后被忽略，看起来代码能正常运行，但ABI的设计目标是支持标准合规的代码，并没有承诺兼容这种未定义行为。一旦编译器版本更新、开启更高等级优化（如-O2/-O3）、或切换到其他ABI的平台，这种代码极可能失效。例如，激进优化下编译器可能发现replacement无参数，直接省略参数传递逻辑，导致调用逻辑混乱。

3. 框架的类似用法是特定环境下的适配，并非通用可依赖方案 #

GTK+、Vulkan等框架的类似函数指针转换用法，并非“偶然可行”，而是框架针对特定平台/ABI做了严格适配，且有明确的使用边界：

• 框架会保证实际调用时传递的参数与回调函数的接收能力兼容（比如某些参数不会被传递，或回调函数可安全忽略多余参数）；
• 框架会在文档中明确说明这种用法的适用场景。
  但这只是框架为实用性在特定环境下做的妥协，普通开发者不应随意模仿——脱离框架控制的环境或编译器行为变化时，代码极易出现问题。

合规替代方案 #

如果需要实现返回默认值的通用替代函数，正确的做法是针对每个需要替代的函数原型编写对应的包装函数，而非直接跨原型转换函数指针。例如针对上述示例的原型，可编写：

int replacement_wrapper(int i, const char* c) {
    return replacement();
}

这种写法完全符合C++标准，能保证在任何平台和编译器下稳定运行。

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