能否信任编译器优化未使用函数参数？运行时断言实现疑问

问题描述 #

我之前在多处编写错误处理代码，通常采用如下形式：

if (!condition)
    errorHandler(info);

其中errorHandler是错误处理函数，info实际包含多个参数（比如分两部分的消息、行号等）。为简化代码，我实现了runtimeAssert函数：

void runtimeAssert(bool condition, const string& msg, [... other info ...])
{
   if (condition) return;

   ... 此处编写错误处理代码 ...
}

之后就可以将错误检查代码替换为：

runtimeAssert(condition, msg, [... other info ...]);

我有两个疑问：

1. 当condition为true时，编译器是否会跳过传递runtimeAssert的参数（甚至不生成函数调用），以节省运行时间？
2. 若编译器能按预期完成优化，这种函数实现方式是否可行？如果不能，是否应该改用宏？（注：此问题针对成品代码效率，而非调试代码。两种实现语法上均可行，但我无法开展速度测试。）

问题解答 #

1. 编译器是否会跳过参数传递与函数调用？ #

分两种情况判断：

• 若condition是编译期常量（比如直接写true，或能在编译阶段确定结果的表达式），主流编译器（GCC、Clang、MSVC等）在开启优化（如-O2及以上级别）时，会直接把整个runtimeAssert调用优化掉——既不会生成函数调用指令，也不会执行参数的计算逻辑（比如复杂字符串拼接、行号获取等操作）。
• 若condition是运行期才能确定的值，编译器无法提前预判结果，必须先计算所有参数，再执行函数调用，进入函数后才会判断condition并直接返回。这种情况下，参数计算的开销无法避免。

2. 实现方式的选择 #

• 如果你的condition大多是编译期常量，或者能接受运行期条件下的参数计算开销，那么函数实现的方式完全可行——相比宏，函数的可读性、可调试性和维护性都更好。
• 如果你的condition多为运行期值，且参数计算（比如拼接复杂错误信息、调用额外函数获取上下文）存在明显开销，那么宏实现会更合适。因为宏是在预处理阶段展开的，当condition为true时，预处理后不会生成任何参数计算和错误处理的代码，完全没有额外开销。

示例宏实现如下：

#define RUNTIME_ASSERT(condition, msg, ...) \
    do { \
        if (!(condition)) { \
            /* 错误处理逻辑，可直接使用__LINE__等预定义宏 */ \
            errorHandler(msg, __VA_ARGS__); \
        } \
    } while(0)

宏的优势是彻底避免不必要的开销，但缺点是调试难度比函数高，且需要注意语法陷阱（比如用do-while(0)包裹避免分支逻辑错误）。

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