C++编译器能否优化带默认参数的重载函数？

我正在重构一款嵌入式芯片的代码库，其中大量使用了带默认参数的便捷重载函数，示例如下：

int state, prevState;
float time;

void setState(int newState, float newtime)
{
    if (newState != state)
    {
        prevState = state;
        time = newTime;
    }
    state = newState;
}

inline void setState(int newState) 
{
    setState(newState, time);
}

目前第二个函数采用手动优化的实现：

void setState(int newState) 
{
    if (newState != state)
        prevState = state;
    state = newState;
}

我想知道：若使用带inline的第一种实现，编译器能否识别并移除涉及time的冗余代码？还是手动优化的方案才是最佳实践？我试过用Godbolt的GCC编译器，但没找到合适的编译选项，既能实现优化又不会混淆代码或保留函数调用。

解答 #

• 编译器可消除冗余的time相关代码
  开启-O2或-O3等级的优化后，GCC这类现代编译器完全能识别并移除冗余操作。当inline的重载函数被展开后，编译器会分析到：传入的newTime就是全局变量time本身，time = newTime等价于无意义的time = time，这行代码会被直接删除。最终生成的机器码和手动优化版本几乎一致。

• 优先选择inline重载版本而非手动优化
  这是更优的实践方案，理由如下：

  1. 可维护性更强：只需维护核心的双参数函数逻辑，单参数版本只是简单调用，避免了代码重复，降低后续修改时出现逻辑不一致的风险。
  2. 编译器优化足够可靠：针对嵌入式场景的GCC版本（如arm-none-eabi-gcc）在-O2及以上优化等级下，这类冗余代码消除属于基础优化能力，无需怀疑其效果。

• Godbolt测试的正确设置
  测试时需注意以下几点：

  • 选择对应嵌入式架构的GCC编译器（比如ARM或RISC-V的交叉编译版本）
  • 开启-O2或-O3优化选项，默认情况下-O2会自动inline符合条件的函数，无需额外添加inline强制选项
  • 如果state、prevState、time是需要内存可见性的变量（比如外设相关），标记为volatile后，编译器依然能识别并消除time = time的冗余赋值，不会影响其他逻辑。

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