对“结果”的访问重叠，但修改需要独占访问；考虑复制到 xcode 10 中的局部变量

Question

open static func PBKDF2(_ password: String, salt: Data,
                        prf: PRFAlg, rounds: UInt32) throws -> Data {
    var result = Data(count:prf.cc.digestLength)
    let passwData = password.data(using: String.Encoding.utf8)!
    let status = result.withUnsafeMutableBytes { (passwDataBytes: UnsafeMutablePointer<UInt8>) -> CCCryptorStatus in
        return CCKeyDerivationPBKDF!(
            PBKDFAlgorithm.pbkdf2.rawValue,
            (passwData as NSData).bytes, 
            passwData.count,
            (salt as NSData).bytes, 
            salt.count,
            prf.rawValue,
            rounds,
            passwDataBytes,
            result.count)
     }

     guard status == noErr else { throw CCError(status) }

     return result
}

result.withUnsafeMutableBytes 在 Xcode 10 中给出错误，在 Xcode 9 中是警告。

Answer 1

这是SE-0176 Enforce Exclusive Access to Memory 的结果，它在 Swift 4 中实现 并且在 Swift 4.2 中更加严格。

解决方案是将计数分配给单独的变量：

let count = result.count
let status = result.withUnsafeMutableBytes {
    (passwDataBytes: UnsafeMutablePointer<UInt8>) -> CCCryptorStatus in
        return CCKeyDerivationPBKDF(..., count)
}

或在捕获列表中捕获计数：

let status = result.withUnsafeMutableBytes { [ count = result.count ]
    (passwDataBytes: UnsafeMutablePointer<UInt8>) -> CCCryptorStatus in
        return CCKeyDerivationPBKDF(..., count)
}

另请参阅 Swift 论坛中的 Overlapping access warning in withUnsafeMutableBytes

hamishknight:

withUnsafeMutableBytes(_:) 是 Data 的变异方法，因此它需要在调用期间对数据进行写访问。通过访问闭包中的 data.count，您将开始对与当前写入访问冲突的数据进行新的读取。

Joe_Groff:

您还可以在闭包的捕获列表中捕获数据的副本或其计数：...

在形成闭包时，在独占访问开始之前，对捕获列表进行评估并按值捕获结果，避免重叠访问。

和this comment 对应的拉取请求：

这里一个适当的解决方法是将缓冲区的计数复制到闭包之外并将其传递给 inet_ntop()。

Swift 5 更新：

let status = result.withUnsafeMutableBytes { [ count = result.count ]
    (bufferPointer) -> CCCryptorStatus in
    let passwDataBytes = bufferPointer.bindMemory(to: UInt8.self).baseAddress
    return CCKeyDerivationPBKDF(..., passwDataBytes, count)
}