Swift泛型语法高级处理一例

Swift参考某几种语言，增加了泛型这一机制，让人又爱又恨。

泛型增加了语言的表现力，减少了冗余，这是好消息；然而坏消息是：对于复杂的实现来说，七绕八不绕，语法容易把人搞晕…以下就是一例。

这是从我实际的项目中摘出来的例子，做了简化。有童鞋看到后面的代码可能会问，这么简单的问题，干嘛要绕圈写这么复杂的实现？？？这不前面说了么，因为实际的项目复杂！！！这里只是简化到讲解本主题，所以若有词不达意，也请包涵。

这里有一个通用协议和另一个Main协议，Main协议遵守通用协议:

protocol CommonDelegate {
    associatedtype Item

    func invoke(with item:Item)
}

protocol MainDelegate:CommonDelegate {
    func save(with item:Item)
}

这里比较奇怪的是Item类型，它是什么呢？它是实际要操作的Model。

因为上述协议和遵守协议的类在Framework中，而实际的Model在App里，所以有必要再写一个Model协议:

protocol FooDelegate{
    var name:String {get set}
    var id:Int {get set}
    var desc:String {get}
}

记住，实际的Foo数据模型类在App里,它遵守FooDelegate协议：

class Foo:FooDelegate{
    var name:String
    var id:Int

    var desc: String{
 return "\(name):\(id)"
    }

    init(name:String,id:Int) {
        self.name = name
        self.id = id
    }
}

下面轮到”过渡”类Main隆重出场了:

class Main{
    var delegate:MainDelegate!

    func breed(){
        let newFoo = Foo(name: "hopy",id: 1)
        self.delegate.save(with: newFoo)
    }
}

没错，它只有一个breed方法，而其中又调用了委托的save方法。这里很有意思，实际上它本身不干啥活,具体干啥还得委托delegate说了算。

上面这样写对么？？？错！！！

回到MainDelegate协议看一下，它继承于CommonDelegate，其中有一个关联类型Item，在声明委托变量delegate的时候必须确定Item的类型，但是这里啥也没有说明白…

所以我们需要将Main类修改成如下形式:

class Main<T> where T:MainDelegate,T.Item:FooDelegate{
    var delegate:T!

    func breed(){
        let newFoo = Foo(name: "hopy",id: 1)
        self.delegate.save(with: newFoo)  //TODO:注意这行
    }
}

注意我们在Main里绑定了一个泛型T，确定了Item的类型为FooDelegate。这里Item的类型为什么不是Foo？？？因为前面说过了实际的Model在App里由用户定义，它可以是一个CoreData的托管对象或是其他什么别的东东，Framework控制不了，也没心思理这些，不管实际数据模型是啥，只要遵守FooDelegate就行了。

看到上面TODO那行了么？别急，我们最后再来说它。

OK，现在只剩最后一个实际“干活”的类了，就叫它Maker吧:

class Maker:MainDelegate {

    typealias Item = Foo

    var main:Main<Maker>!

    func didLoad(){

        main = Main<Maker>()
        main.delegate = self

        main.breed()
    }

    func invoke(with item: Item) {
        print("invoke item:\(item.desc) done!!!")
    }

    func save(with item: Item) {
        print("save item [\(item.desc)] done!!!")
    }
}

因为显然Maker在App里，所以我们把Item和Foo绑定；实际上这里也不可以和FooDelegate绑定，因为不可以将非实体类型和关联类型绑定。

Maker里的main属性很有意思，它将Main的泛型类型设为自己。

上面的代码都可在Xcode的playground里愉快地玩耍，大家可以实际运行下试试。

如果到这里你还没有晕，那么最后我们再来聊一聊，前面TODO那一行。

假设你按我说的尝试运行一下，你会失望的：就在TODO那行报错了：

为毛呢？协议里save方法的参数类型是Item，实际Item类型却是FooDelegate,你可能会想做一下强转:

let newFoo = Foo(name: "hopy",id: 1) as FooDelegate

很遗憾，错误依旧！我们不可以在Maker里将Item设置为FooDelegate，原因前面说过了。那么这里该怎么写呢？

很简单，你不是要抽象么？我就给你抽象:

let newFoo = Foo(name: "hopy",id: 1) as! T.Item

现在运行OK啦:

这就是Swift泛型的折腾，谢谢观赏！

Swift泛型语法高级处理一例

猜你在找的Swift相关文章