非转义参数的闭包使用可能会允许它转义

Question

我有一个协议：

enum DataFetchResult {
    case success(data: Data)
    case failure
}

protocol DataServiceType {
    func fetchData(location: String, completion: (DataFetchResult) -> (Void))
    func cachedData(location: String) -> Data?
}

通过一个示例实现:

    /// An implementation of DataServiceType protocol returning predefined results using arbitrary queue for asynchronyous mechanisms.
    /// Dedicated to be used in various tests (Unit Tests).
    class DataMockService: DataServiceType {

        var result      : DataFetchResult
        var async       : Bool = true
        var queue       : DispatchQueue = DispatchQueue.global(qos: .background)
        var cachedData  : Data? = nil

        init(result : DataFetchResult) {
            self.result = result
        }

        func cachedData(location: String) -> Data? {
            switch self.result {
            case .success(let data):
                return data
            default:
                return nil
            }
        }

        func fetchData(location: String, completion: (DataFetchResult) -> (Void)) {

            // Returning result on arbitrary queue should be tested,
            // so we can check if client can work with any (even worse) implementation:

            if async == true {
                queue.async { [weak self ] in
                    guard let weakSelf = self else { return }

                    // This line produces compiler error: 
                    // "Closure use of non-escaping parameter 'completion' may allow it to escape"
                    completion(weakSelf.result)
                }
            } else {
               completion(self.result)
            }
        }
    }

上面的代码在 Swift3 （Xcode8-beta5） 中编译和工作，但不再与 beta 6 一起使用。你能给我指出根本原因吗？

Answer 1

由于@noescape是默认值，因此有2个选项可以修复错误：

1） 正如@Hamish在回答中指出的那样，如果您确实关心结果并确实希望它逃逸，只需将完成标记为@escaping即可（这可能是@Lukasz的问题，以单元测试为例，以及异步完成的可能性）

func fetchData(location: String, completion: @escaping (DataFetchResult) -> Void)

或

2） 通过使完成成为可选，保留默认@noescape行为，在您不关心结果的情况下完全放弃结果。例如，当用户已经“走开”并且调用视图控制器不必仅仅因为有一些粗心的网络调用而挂起在内存中时。就像我来这里寻找答案时的情况一样，示例代码与我不是很相关，所以标记@noescape不是最好的选择，尽管乍一看它听起来是唯一一个。

func fetchData(location: String, completion: ((DataFetchResult) -> Void)?) {
   ...
   completion?(self.result)
}

Answer 2

这是由于函数类型参数的默认行为发生了变化。在Swift 3（特别是Xcode 8 beta 6附带的构建）之前，它们将默认为转义-您必须将它们标记为@noscape以防止它们被存储或捕获，这保证它们不会超过函数调用的持续时间。

但是，现在函数类型参数的默认值是@noescape。如果要存储或捕获此类函数，现在需要将它们标记为转义：

protocol DataServiceType {
  func fetchData(location: String, completion: @escaping (DataFetchResult) -> Void)
  func cachedData(location: String) -> Data?
}

这是一个很好的例子

func fetchData(location: String, completion: @escaping (DataFetchResult) -> Void) {
  // ...
}

有关此更改的更多信息，请参阅Swift Evolution提案。