为什么守卫打破类型推断？

Question

我遇到了标题所描述的问题：guard 语句由于某种原因中断了类型推断。我创建了一个Playground 项目来玩。

以下是一些用于设置的样板代码：

import Foundation

struct Model: Decodable {
    var i: String
}

let jsonString = """
{
    "i": "yes"
}
"""

let jsonData = jsonString.data(using: .utf8)
let theModel = try JSONDecoder().decode(Model.self, from: jsonData!)

struct Response<T> {
    var decodedData: T?
}

enum Result<Value> {
    case success(Value)
    case failure
}

struct Client {
    static let shared = Client()
    private init() {}

    func execute<T: Decodable>(completion: (Response<T>) -> ()) {
        let decodedData = try! JSONDecoder().decode(T.self, from: jsonData!)
        completion(Response(decodedData: decodedData))
    }
}

问题来了：

struct ServicesA {
    func loadSomething(completion: (Result<Model>) -> ()) {
        Client.shared.execute { result in      // error: generic parameter 'T' could not be inferred
            guard let decodedData = result.decodedData else { return }
            completion(Result.success(decodedData))
        }
    }
}

struct ServicesB {
    func loadSomething(completion: (Result<Model>) -> ()) {
        Client.shared.execute { result in
            completion(Result.success(result.decodedData!))
        }
    }
}

ServicesA 中断，而ServicesB 编译。

如您所见，唯一的区别是guard let decodedData = result.decodedData else { return }。它破坏了类型推断，因此Client.shared.execute 函数抱怨T 无法推断。

我想知道为什么会发生这种情况以及处理此问题的最合适方法是什么。

Answer 1

TLDR;单行闭包编译不同于多行

长答案：让我们暂时忘记单行闭包。当我们编写接受泛型作为参数类型的泛型函数然后调用该函数时，编译器需要在调用时知道所需的函数类型是什么，即其参数的类型。现在考虑这个参数是一个闭包。再次，编译器需要知道调用时闭包的类型（函数签名）是什么。该信息应该在闭包的签名中可用（即参数和返回类型），编译器不担心（并且正确地）闭包的主体。所以服务 A 的行为完全符合编译器的预期，即闭包签名没有提供任何关于其类型的线索。

现在是单行闭包。 Swift 编译器具有仅针对单行闭包的内置类型推断优化。当您编写单行闭包时，编译器首先会启动其类型推断，并尝试从其唯一的单行 body 中找出闭包，包括其返回类型等。这种类型推断适用于单行闭包（有或没有泛型的上下文）。 这种类型推断是您的服务 B 工作的原因

所以我将把这个问题改写为“为什么类型推断适用于单行闭包？”因为这是 Swift 为单行闭包提供的额外功能。一旦你转向多行闭包（它不是特定的保护语句，如果你也输入 print(“hello world”) 也会发生同样的情况），这种类型推断不再可用。虽然可能有其他类型推断检查可用于多行闭包。

您可以做的只是在闭包签名中提供类型信息 即（结果：响应）

Answer 2

编译器仅在闭包中有单个语句时推断闭包返回类型。

let x = {
    return 1
}()

                // x == Int(1)

let y = {       // error: unable to infer complex closure return type; add explicit type to disambiguate
    print("hi")
    return 2
}()

https://forums.swift.org/t/problems-with-closure-type-inference/11859/2

Answer 3

您需要使用 Result 将其类型转换为 result，以便编译器了解 T

struct ServicesA {
    func loadSomething(completion:(Result<Model>) -> ()) {
        Client.shared.execute { (result:Response<Model>) in
            guard let data = result.decodedData else {return}
            completion(Result.success(data))
        }
    }
}

Answer 4

问题是您引用了data 变量，但编译器不知道这是什么类型（因为它是通用的）。试试这个：

struct ServicesA {
    func loadSomething<T:Model>(completion:(Result<T>) -> ()) {
        Client.shared.execute { result:Response<T> in
            guard let decodedData = result.decodedData else { return }
            completion(Result.success(decodedData))
        }
    }
}