当前位置: 首页 > article >正文

Swift 中 associatedtype 的用法详解

目录

前言

1.什么是associatedtype

2.associatedtype 的作用

1.让协议支持泛型

2.让协议支持不同的数据类型

3.结合 where 关键字限制类型

4.什么时候使用 associatedtype

5.总结


前言

        在 Swift 语言中,泛型(Generics)是一个非常强大的特性,它允许我们编写灵活且可复用的代码。而当我们在 协议(Protocol) 中需要使用泛型时,associatedtype 就派上了用场。

        本文将详细介绍 associatedtype 的作用、使用场景,并通过代码示例帮助大家更好地理解它的使用方式。

1.什么是associatedtype

        在 Swift 的协议中,我们无法直接使用泛型 <T>,但可以使用 associatedtype 关键字来声明一个占位类型,让协议在不确定具体类型的情况下仍然能够正常使用。

        associiatedtype的语法如下:

protocol SomeProtocol {
    associatedtype SomeType
    func doSomething(with value: SomeType)
}
  1. associatedtype SomeType:声明一个占位类型 SomeType,但不指定具体类型。
  2. func doSomething(with value: SomeType):SomeType 由实现该协议的类型决定。

        这样,任何遵循 SomeProtocol 的类型都可以自定义 SomeType 为任何符合需求的类型,从而提高协议的通用性。

2.associatedtype 的作用

1.让协议支持泛型

        假设我们想设计一个容器(Container)协议,让它能够存储不同类型的元素,如果不用 associatedtype,我们可能会写成:

protocol Container {
    func append(_ item: Int)
    func getItem(at index: Int) -> Int
}

        这个协议只能存储 Int 类型的元素,缺乏灵活性。

        而使用 associatedtype,可以让它支持任意类型:

protocol Container {
    associatedtype Item
    func append(_ item: Item)
    func getItem(at index: Int) -> Item
}

        现在,我们可以创建不同类型的容器:

struct IntContainer: Container {
    typealias Item = Int  // 指定 Item 为 Int 类型
    private var items: [Int] = []
    
    func append(_ item: Int) {
        items.append(item)
    }

    func getItem(at index: Int) -> Int {
        return items[index]
    }
}

struct StringContainer: Container {
    typealias Item = String  // 指定 Item 为 String 类型
    private var items: [String] = []
    
    func append(_ item: String) {
        items.append(item)
    }

    func getItem(at index: Int) -> String {
        return items[index]
    }
}

        这样 IntContainer 和 StringContainer 都遵循 Container 协议,但它们的 Item 类型不同,提高了代码的通用性。

2.让协议支持不同的数据类型

        假设我们要设计一个**栈(Stack)**数据结构,它应该支持不同的数据类型,比如 Int、String 等:

protocol StackProtocol {
    associatedtype Element
    mutating func push(_ item: Element)
    mutating func pop() -> Element?
}

        不同的数据类型可以实现这个协议:

struct IntStack: StackProtocol {
    typealias Element = Int
    private var stack: [Int] = []

    mutating func push(_ item: Int) {
        stack.append(item)
    }

    mutating func pop() -> Int? {
        return stack.popLast()
    }
}

struct StringStack: StackProtocol {
    typealias Element = String
    private var stack: [String] = []

    mutating func push(_ item: String) {
        stack.append(item)
    }

    mutating func pop() -> String? {
        return stack.popLast()
    }
}

        IntStack 和 StringStack 都遵循 StackProtocol,但 Element 类型可以不同!

3.结合 where 关键字限制类型

        有时候,我们希望 associatedtype 只能是某种类型的子类或实现了某个协议。可以使用 where 关键字进行类型约束:

protocol Summable {
    associatedtype Number: Numeric  // 限定 Number 必须是 Numeric 协议的子类型
    func sum(a: Number, b: Number) -> Number
}

        实现 Summable 协议:

struct IntegerAdder: Summable {
    func sum(a: Int, b: Int) -> Int {
        return a + b
    }
}

struct DoubleAdder: Summable {
    func sum(a: Double, b: Double) -> Double {
        return a + b
    }
}

        这里 Number 只能是 Int、Double 之类的 Numeric 类型,保证了类型安全。

3.associatedtype 与泛型的区别

比较项

associatedtype(协议中的泛型)

普通泛型 <T>

适用范围

只能用于 协议

可用于 类、结构体、函数

作用

让协议支持不确定的类型,由实现者决定具体类型

让类型/函数支持泛型

例子

protocol Container { associatedtype Item }

struct Stack<T> {}

限制

只能用于协议,不能直接实例化

适用于所有类型

4.什么时候使用 associatedtype

       当你需要创建一个通用的协议,但不想限定某个具体类型时。

        当不同的实现类需要指定不同的数据类型时。

        当你希望协议中的某些类型参数具备类型约束时(如 where 关键字)。

5.总结

        associatedtype允许协议拥有不确定的类型,由实现者决定具体类型。

        让协议支持泛型,使其更加通用,适用于不同的数据类型。

        可以通过where限制类型范围,提高安全性。

        适用于 协议,而泛型 <T> 适用于类、结构体和函数。

        一句话总结:associatedtype 就是协议的泛型,让协议更加灵活和可扩展!


http://www.kler.cn/a/588580.html

相关文章:

  • 自动驾驶之心视觉语言导航!VLN算法与实战课程
  • Ubuntu从源码安装Webots
  • 【Agent】OpenManus-Agent架构详细分析
  • (vue)elementUi中el-upload上传附件之后 点击附件可下载
  • 【实操回顾】基于Apache SeaTunnel从MySQL同步到PostgreSQL——Demo方舟计划
  • C11标准对于C语言的内存模型的描述
  • 移动端自动化测试:Appium进阶技巧与常见问题排查实战指南
  • lua C语言api学习4 编写C模块
  • 颠覆大模型归一化!Meta | 提出动态Tanh:DyT,无归一化的 Transformer 性能更强
  • 【JavaEE】IOC和DI
  • Towards Universal Soccer Video Understanding——论文学习(足球类)
  • K8S下nodelocaldns crash问题导致域名请求响应缓慢
  • 快速上手网络通信 -- Qt Network应用开发
  • 1140:验证子串--next.data()、KMP和find
  • 大模型-提示词调优
  • 查询修改ORACLE的server、客户端和导出dmp文件 字符集编码
  • LeetCode--198. 打家劫舍【从返回最大值到输出路径】
  • 【Go语言圣经2.4】
  • 以太坊生态中有代币标准和协议,针对不同场景设计了丰富的功能
  • 网络安全演练有哪些形式