使用受约束的类型参数实现 Swift 协议

Question

我有几个 Swift 协议来描述我尝试以多种方式实现的通用接口：

protocol Identifiable
{
    var identifier:String { get }
}
protocol ItemWithReference
{
    var resolveReference<T:Identifiable>(callback:(T) -> ())
}

现在我想使用 CloudKit 作为后端实现 ItemWithReference 协议（这最终也将与备用后端一起使用，此时我希望提供 ItemWithReference 协议的替代实现。

在我的 CloudKit 实现中，我有这样的东西：

class CloudKitIdentifiable : Identifiable
{
    ...
}
class CloudKitItemWithReference : ItemWithReference
{
    func resolveReference<T:Identifiable>(callback:(T) -> ())
    {
        // In this implementation, I want to only proceed if `T` is a CloudKitIdentifiable subtype
        // But not sure how to enforce that
    }
} 

我想做的是限制T成为一个CloudKitIdentifiable，而不仅仅是一个简单的Identifiable。我不能直接在 resolveReference 声明中执行此操作，因为那样该函数将不符合 ItemWithReference 协议。因此，我希望确认 T 确实是一个CloudKitIdentifiable，然后调用它的初始值设定项来创建正在解析的类的新实例。

在 Swift 中有什么方法可以使用 T 的元型T.Type并确定它是否是另一种类型的子类型？此外，有没有办法调用已在该子类型上声明的必需初始值设定项？

Answer 1

尝试：

class CloudKitIdentifiable : Identifiable {
    var identifier:String = ...
    required init() {}
    // you need `required`.
}
class CloudKitItemWithReference : ItemWithReference {
    func resolveReference<T:Identifiable>(callback:(T) -> ()) {
        if T.self is CloudKitIdentifiable.Type {
            // do work..
            let obj = (T.self as CloudKitIdentifiable.Type)()
            callback(obj as T)
        }
    }
}

或：

class CloudKitItemWithReference : ItemWithReference {
    func resolveReference<T:Identifiable>(callback:(T) -> ()) {
        if let CKT = T.self as? CloudKitIdentifiable.Type {
            // do work..
            let obj = CKT()
            callback(obj as T)
        }
    }
}

但是，在这种情况下，您必须像这样调用resolveReference：

let ref = CloudKitItemWithReference()
ref.resolveReference { (obj: CloudKitIdentifiable) -> () in
    //                       ^^^^^^^^^^^^^^^^^^^^ explicit type is necessary.
    println(obj.identifier)
    return
}

Rathar 比这，我建议使用关联类型：

protocol Identifiable {
    var identifier:String { get }
}
protocol ItemWithReference {
    typealias Item: Identifiable // <-- HERE is associated type
    func resolveReference(callback:(Item) -> ())
}
class CloudKitIdentifiable : Identifiable {
    var identifier:String
    init(identifier: String) {
        self.identifier = identifier
    }
}
class CloudKitItemWithReference : ItemWithReference {
    // `Item` associated type can be inferred from
    // the parameter type of `resolveReference()`
    //
    // typealias Item = CloudKitIdentifiable
    func resolveReference(callback:(CloudKitIdentifiable) -> ()) {
        let obj = CloudKitIdentifiable(identifier: "test")
        callback(obj)
    }
}
let ref = CloudKitItemWithReference()
ref.resolveReference { obj in
    println(obj.identifier)
    return
}