C++中为何及何时声明函数为noinline？附代码差异疑问

MSVC官方说明中提到：

__declspec(noinline)用于告知编译器绝不内联指定的类成员函数。
对于体量小但非性能关键的函数（比如错误处理逻辑、调用频率极低的函数），刻意不内联是有意义的。
另外，标记为noinline的函数会让调用它的函数体积更小，反而可能让调用者成为编译器内联的候选对象。

针对你提出的两段代码，核心差异与各自优势如下：

差异点 #

• 内联行为强制程度不同
  第一段代码用__declspec(noinline)标记了f()，编译器会严格遵守要求，无论函数多小、优化等级多高，都不会把f()的代码插入到调用它的地方，始终保留函数调用的形式。
  第二段代码没有标记，编译器会根据自身的优化规则（比如函数大小、调用频率、当前优化等级设置等）自主决定是否内联f()。比如在O2优化等级下，这种极简的函数很大概率会被内联。

各自优势 #

带__declspec(noinline)的代码优势 #

1. 稳定的函数调用行为：如果需要确保f()始终以函数调用的形式存在（比如调试时能准确断点到该函数，或者需要保持函数地址的唯一性），这个标记能强制编译器满足需求。
2. 优化调用者的内联可能性：如官方说明所述，因为f()不被内联，调用它的函数代码量会更小，编译器更有可能把调用者本身内联到上层代码中。
3. 节省编译时间：复杂项目中，强制不内联某些函数可以减少编译器的内联分析开销，加快编译速度。

不带__declspec(noinline)的代码优势 #

1. 自动适配性能需求：编译器会根据当前的优化策略自动判断是否内联，对于高频调用的小函数，内联能消除函数调用的开销（栈帧创建、跳转等），提升运行性能。
2. 代码简洁：不需要额外的修饰符，代码更清爽，适合大多数不需要特殊控制内联行为的场景。

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