使用受约束的类型参数实现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 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还要多，我建议使用Associated Type ：

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
}