MY_swift的泛型协议为什么不用<T>语法

最新推荐文章于 2022-04-27 18:22:21 发布

MaoYanCandy

最新推荐文章于 2022-04-27 18:22:21 发布

阅读量790

点赞数 1

分类专栏： MY_iOS_Swift

本文链接：https://blog.csdn.net/weixin_38152252/article/details/75460205

版权

swift中的协议(protocol)采用的是“Associated Types”的方式来实现泛型功能的，通过associatedtype关键字来声明一个类型的占位符作为协议定义的一部分。swift的协议不支持下面的定义方式：

protocol GeneratorType<Element> {
    public mutating func next() -> Element?
}

而是应该使用这样的定义方式：

protocol GeneratorType {
    associatedtype Element
    public mutating func next() -> Self.Element?
}

在swift中，class、struct、enums都可以是用参数化类型来表达泛型的，只有在协议中需要使用associatedtype关键字来表达参数化类型。为什么协议不采用这样的语法形式呢？我查看了很多讨论，原因大概总结为一下两点：

采用语法的参数化方式的泛型其实定义了整个类型的家族，在概念上这对于一个可以具体实现的类型(class、struct、enums)是有意义的，比方说Array,Array。但对于协议来说，协议表达的含义是single的。你只会实现一次GeneratorType，而不会实现一个GeneratorType协议，