MSVC下如何强制将作为参数传入的函数代码内联到目标函数中

原写法失效原因 #

你当前使用函数指针作为形参的写法无法触发内联，核心原因有两点：

• 函数指针形参属于运行时可变参数，编译器生成func_2代码时，无法提前确定唯一要嵌入的目标函数（func_2理论上可以接收任意符合签名的函数指针传入）
• 给func_1加inline、把形参改成函数指针引用都无法改变「调用目标是运行时确定的间接调用」这个本质，编译器自然不会把函数代码复制嵌入。

可行实现方案（适配MSVC v141 x64环境） #

用编译期模板参数绑定目标函数，配合MSVC的__forceinline强制内联修饰符，让编译器在生成代码阶段就确定要嵌入的函数内容，完全消除函数指针传参和间接调用开销，效果和直接把目标函数代码写在func_2内部一致。

示例代码：

using pFunc = void(*)();
void func_1() { /*some code*/ }

// 模板参数在编译期接收固定的目标函数，不是运行时传入的形参
template <pFunc targetFunc>
__forceinline void func_2()
{
    /* 原func_2的前置业务逻辑 */
    targetFunc(); // MSVC开优化后会直接把targetFunc的代码展开在此处，不会生成call指令
    /* 原func_2的后置业务逻辑 */
}

int main()
{
    func_2<func_1>(); // 编译期绑定要内联的func_1，无参数传递开销
}

配置注意事项 #

• 项目需要开启优化：在项目属性 -> C/C++ -> 优化 中，选择「最大优化(优选速度) / Ox」或「最大优化(优选大小) / O1」，内联展开选项保持默认即可
• 如果func_1代码体量较大导致MSVC默认拒绝内联，可以在函数定义前添加如下编译指令放宽内联限制：

#pragma inline_recursion(on)
#pragma inline_depth(255)

• 不要给func_1加__declspec(noinline)修饰，否则会强制禁止内联。

效果验证 #

编译后查看反汇编可以确认，main中不会生成对func_2的调用、也不会有func_1的指针压栈传参操作，func_1和func_2的逻辑会被连续展开，和直接把所有代码写在main里的生成结果一致。

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