泛型方法中T与Self的区别

Question

我正在编写一个名为JSONDataInitializable的协议，它将使用Data从包含JSON的JSONDecoder初始化值。

由于it’s not possible在初始化器中明确使用泛型，我在协议扩展中声明了一个通用的，类型无关的辅助方法，初始化程序稍后会调用它。

但是，我想出的不是一个，而是两种方法来编写这样的方法。

(1):

private static func initialize<T: JSONDataInitializable>(from jsonData: Data) throws -> T {
    return try JSONDecoder().decode(T.self, from: jsonData)
}

(2):

private static func initialize(from jsonData: Data) throws -> Self {
    return try JSONDecoder().decode(Self.self, from: jsonData)
}

你能解释一下这些方法之间的区别吗？它们似乎都产生了相同的结果。

唯一可见的区别是第一个变体中的协议一致性部分。但是，这些方法在协议扩展中声明，因此仅适用于符合协议的类型。

UPD

这是完整的协议声明：

protocol JSONDataInitializable: Decodable {
    init?(from jsonData: Data)
}

extension JSONDataInitializable {

    init?(from jsonData: Data) {
        do {
            self = try Self.initialize(from: jsonData)
        } catch {
            print(error)
            return nil
        }
    }

    // (1)
    private static func initialize<T: JSONDataInitializable>(from jsonData: Data) throws -> T {
        return try JSONDecoder().decode(T.self, from: jsonData)
    }

    // ⬆⬆⬆
    // OR
    // ⬇⬇⬇

    // (2)
    private static func initialize(from jsonData: Data) throws -> Self {
        return try JSONDecoder().decode(Self.self, from: jsonData)
    }

}

假设我们有一个名为User的结构，它是Decodable。我们需要从JSON初始化User的值（存储为Data）。使用该协议，初始化的工作方式如下：

// Protocol conformance declaration
extension User: JSONDataInitializable { }

// JSON stored as Data
let networkData = ...

// Initialization
let john = User(from: networkData)

Answer 1

使用Self的第二个实现是符合您要求的实现。您希望在协议中创建初始化程序，您可以在要初始化的类型上调用该协议。协议函数中的Self指的是您调用特定方法的类型。

另一方面，通用实现允许您初始化符合协议的任何类型，但是在init(from:)方法中，您将返回值分配给self，因此泛型类型参数T将被推断为Self。这使得不必使该方法通用，因为在特定类型上，T将始终为Self。