'UnsafePointer<Int>' 的初始化导致指针悬空[重复]

Question

所以我有一些代码来创建 H264ParameterSets，例如：

var formatDesc: CMVideoFormatDescription?

func createH264FormatDescription(SPS: Array<UInt8>, PPS: Array<UInt8>) -> OSStatus {
    if formatDesc != nil { formatDesc = nil }

    let paramSet = [UnsafePointer<UInt8>(SPS), UnsafePointer<UInt8>(PPS)]
    let paramPointers = UnsafePointer<UnsafePointer<UInt8>>(paramSet)
    let paramSizes = UnsafePointer<Int>([SPS.count, PPS.count])

    let status = CMVideoFormatDescriptionCreateFromH264ParameterSets(allocator: kCFAllocatorDefault, parameterSetCount: 2, parameterSetPointers: paramPointers, parameterSetSizes: paramSizes, nalUnitHeaderLength: 4, formatDescriptionOut: &formatDesc)

    return status
}

从 Xcode 11.4 开始，我收到了有关 UnsafePointer() 的警告，这在以前似乎没有发生过：

Initialization of UnsafePointer<UInt8> results in a dangling pointer

Initialization of UnsafePointer<UnsafePointer<UInt8>> results in a dangling pointer

Initialization of UnsafePointer<Int> results in a dangling pointer

我不确定我们为什么会看到这个？以及如何删除警告？提前致谢。

Answer 1

解释此警告的最简单方法是查看导致该警告的一种情况。那么让我们从你对SPS的使用开始吧。

它是一个Array<UInt8>，因此它由UInt8 的缓冲区支持，就像在C 中一样。当您将SPS 与UnsafePointer<UInt8>(SPS) 一起传递时，它会在该时刻创建一个指向缓冲区的有效指针。问题是你可以通过向它附加另一个值来改变SPS。这意味着支持Array 的缓冲区可能会移动到内存中的另一个位置。这意味着您现在属于 paramSet 的指针无效。

另一个问题是，如果你将这个指针传递给某个东西，就像你在这种情况下所做的那样，另一个函数可能会尝试保持它，然后它有一个无效的指针。因此，如果您希望其他函数保留指针，您需要自己手动使用UnsafePointers 和Unmanaged 管理内存。如果CMVideoFormatDescriptionCreateFromH264ParameterSets() 没有保留指针，那么我将分享的代码是正确的，如果是，您需要调整它以根据需要创建/销毁内存。

另外值得注意的是，在这种情况下，你不能改变你拥有的任何Arrays，因为它们是常量，但总的来说原理仍然相同。这意味着理论上它永远不会发生变异，但 Swift 编译器更愿意帮助我们编写尽可能安全和正确的代码，即使是 UnsafePointer 类型也是如此。

那么你怎么能解决这个问题呢？您需要能够调用withUnsafeBufferPointer，然后通过UnsafeBufferPointer 访问指针，如下所示：

var formatDesc: CMVideoFormatDescription?

func createH264FormatDescription(SPS: Array<UInt8>, PPS: Array<UInt8>) -> OSStatus {
    if formatDesc != nil { formatDesc = nil }

    let status = SPS.withUnsafeBufferPointer { SPS in
        PPS.withUnsafeBufferPointer { PPS in
            let paramSet = [SPS.baseAddress!, PPS.baseAddress!]
            let paramSizes = [SPS.count, PPS.count]
            return paramSet.withUnsafeBufferPointer { paramSet in
                paramSizes.withUnsafeBufferPointer { paramSizes in
                    CMVideoFormatDescriptionCreateFromH264ParameterSets(allocator: kCFAllocatorDefault, parameterSetCount: 2, parameterSetPointers: paramSet.baseAddress!, parameterSetSizes: paramSizes.baseAddress!, nalUnitHeaderLength: 4, formatDescriptionOut: &formatDesc)
                }
            }
        }
    }
    return status
}

这种方法有效的原因是，对于withUnsafeBufferPointer 的范围，排他性法则正在保护数组，因此它们不能被变异。

如果您担心baseAddress! 的用法，您可以检查它不是nil，但根据编译器工程师的说法，当count > 0 时，它保证不是nil（他们已经在任一Twitter 或我忘记的 Swift 论坛...）。