如何创建在Release模式下可被优化为无操作的Swift函数

问题背景 #

想要实现仅在调试模式下生效的函数，等效于：

#if DEBUG
func myDebugFunction(arg: String) {
  /// 使用`arg`的函数体
}
#endif

但不想每次调用这个函数时都用#if DEBUG包裹：

#if DEBUG
myDebugFunction(potentiallyExpensiveFunctionCallToOptimizeAway())
#endif

希望能像assertionFailure()那样直接调用，不用额外包裹条件编译块。

目前想到的方案是用@autoclosure修饰参数，并仅在调试模式下编写函数体：

func myDebugFunction(arg: @autoclosure () -> String) {
  #if DEBUG
  /// 使用`arg()`的函数体
  #endif
}

疑问：这个方案是否能让Swift编译器在Release模式下完全优化掉函数调用（包括不执行potentiallyExpensiveFunctionCallToOptimizeAway()）？Swift有没有专门标记函数让连参数都被优化掉的方法？

解答 #

1. 你的@autoclosure方案完全可行 #

在Release模式下，这个函数的函数体是空的——#if DEBUG块里的代码会被直接剔除。而@autoclosure的核心作用是延迟求值：传递的表达式potentiallyExpensiveFunctionCallToOptimizeAway()会被包装成一个闭包，只有当你在函数体内调用arg()时，这个表达式才会执行。

由于Release模式下函数体里根本没有调用arg()，这个闭包永远不会被触发。Swift编译器在Release模式默认开启优化的情况下，会直接把整个函数调用和对应的参数表达式都优化掉，完全不会执行那个昂贵的函数调用。

2. 更彻底的方案：条件编译定义函数 #

如果你想让函数在Release模式下彻底“消失”（连空函数的调用痕迹都不留），可以直接用条件编译分别定义DEBUG和Release版本的函数：

#if DEBUG
func myDebugFunction(arg: @autoclosure () -> String) {
    // 调试模式下的函数逻辑，调用arg()获取参数
    let value = arg()
    print("Debug log: \(value)")
}
#else
// Release模式下提供空实现，并标记强制内联
@inline(__always)
func myDebugFunction(arg: @autoclosure () -> String) {}
#endif

@inline(__always)会让编译器把这个空函数直接内联到调用处，由于函数体为空，调用的代码会被完全消除，连函数调用的开销都不存在。

补充：Swift断言类函数的实现逻辑 #

你提到的assertionFailure()这类系统函数，本质上就是用了类似的机制：结合@autoclosure和条件编译，确保Release模式下不仅函数体为空，参数表达式也不会被执行，最终被编译器完全优化掉。

内容的提问来源于stack exchange，提问作者Tomáš Kafka