如何安全调用DSPSplitComplex且避免编译器警告？

问题场景 #

我尝试调用DSPSplitComplex函数：

var real = [Float](input_windowed)
var imaginary = [Float](repeating: 0.0, count: input_windowed.count)
        
var splitComplex = DSPSplitComplex(realp: &real, imagp: &imaginary)        

但出现警告：

Cannot use inout expression here; argument 'realp' must be a pointer that outlives the call to 'init(realp:imagp:)'

于是我尝试：

var splitComplex = DSPSplitComplex(
    realp:  UnsafeMutablePointer(mutating: real),
    imagp:  UnsafeMutablePointer(mutating: imaginary) )

又出现警告：

Initialization of 'UnsafeMutablePointer' results in a dangling pointer

最后我尝试：

var splitComplex =
    withUnsafeMutablePointer(to: &real) { realpPtr in
        withUnsafeMutablePointer(to: &imaginary) { imaginaryPtr in
            DSPSplitComplex(realp: realpPtr, imagp: imaginaryPtr)
    }
}

却出现编译错误：

Cannot convert value of type 'UnsafeMutablePointer<[Float]>' to expected argument type 'UnsafeMutablePointer'

请问调用该函数（以及Accelerate框架中的类似函数）的正确方式是什么？

正确实现方式 #

要安全创建DSPSplitComplex并适配Accelerate框架的要求，需要获取数组底层元素的可变指针，而非数组对象本身的指针。使用withUnsafeMutableBufferPointer方法可以确保指针在有效生命周期内被使用：

var real = [Float](input_windowed)
var imaginary = [Float](repeating: 0.0, count: input_windowed.count)

// 安全创建DSPSplitComplex并执行后续Accelerate操作
real.withUnsafeMutableBufferPointer { realBuffer in
    imaginary.withUnsafeMutableBufferPointer { imaginaryBuffer in
        guard let realPtr = realBuffer.baseAddress, let imaginaryPtr = imaginaryBuffer.baseAddress else {
            // 处理数组为空的边界情况
            return
        }
        var splitComplex = DSPSplitComplex(realp: realPtr, imagp: imaginaryPtr)
        
        // 在这里调用需要使用splitComplex的Accelerate框架函数，例如FFT计算
        // 示例：vDSP_fft_zrip(...)
    }
}

错误原因解析 #

• 第一种方式直接传数组的inout引用：DSPSplitComplex需要指向元素的指针，而数组的inout传递无法保证指针在初始化后持续有效，因此编译器抛出警告。
• 第二种方式用UnsafeMutablePointer(mutating:)：这种方式生成的指针会在语句结束后立即失效，导致悬垂指针风险，触发警告。
• 第三种方式用withUnsafeMutablePointer(to: &real)：获取的是指向数组对象的指针，而非数组内部元素的指针，类型不匹配导致编译错误。

关键注意事项 #

• 所有依赖splitComplex的Accelerate操作必须放在withUnsafeMutableBufferPointer的闭包内部，确保指针始终处于有效生命周期内。
• 必须检查baseAddress是否为nil，避免空指针访问（比如数组为空的场景）。

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