Generics

  • 泛型。参数类型不同功能相同的函数有时需定义多个,造成重复,泛型用于解决这种情况。Dictionary和Array是最基本的两个。例如下面一个可以同时交换Int类型、string类型等多个类型的泛型函数
    //Generaic Functions
    func swapTwoValues<T>(_ a: inout T, _ b: inout T) {
      let temporatyA = a
      a = b
      b = temporatyA
    } 
    
    <>内定义占位类型T,并声明传入类型是T类型,T类型的具体类型在调用该函数时由传参推断
  • 系统中使用了一些默认的类型名,例如字典中的Key、Value,数组中的Element,而我们定义的时候通常用T、U、V
  • 泛型类型实例
    struct Stack<Element> {
      var items = [Element]()
      mutating func push(_ item: Element) {
          items.append(item)
      }
      mutating func pop() -> Int{
          return items.removeLast()
      }
    }
    var stackOfStrings = Stack<String>()
    stackOfStrings.push("uno")
    stackOfStrings.push("dos")
    stackOfStrings.push("tres")
    stackOfStrings.push("cuatro")
    let fromTheTop = stackOfStrings.pop()
    
  • 使用extension对泛型类型进行扩展,使用类型参数不用重新定义可以直接使用原参数类型
    extension Stack {
      var topItem: Element? {
          return items.isEmpty ? nil : items[items.count - 1]
      }
    }
    
  • 类型约束。有时对于泛型函数和泛型类的使用范围有约束,我们可以指定某些类的子类或者遵循某些协议方可适用。例如字典中key被约束为只有遵循hashable才可以,(such as String, Int, Double, and Bool)
  • 语法
    func someFunction<T: SomeClass, U: SomeProtocol>(someT: T, someU: U) {
      //function body goes here
    }
    
  • 实例
    func findIndex<T: Equatable>(of valueToFind: T, in array: [T]) -> Int? {
      for (index, value) in array.enumerated() {
          if value == valueToFind {
              return index
          }
      }
      return nil
    }
    
    只有遵循Equatable协议的类才可以使用==符号,如果不声明T为Equatable类型,则可能存在不能使用==符号比较的类,会报错
  • 使用associatedtype在协议中定义关联类型,使用typealias在遵循协议的实现中指定关联类型的具体类型,同时在associatedtype后可以使用冒号进行关联类型限制,如下
    protocol Container {
      associatedtype Item: Equatable
      mutating func append(_ item: Item)
      var count: Int { get }
      subscript(i: Int) -> Item { get }
    }
    
  • 使用
    struct IntStack: Container {
        // original IntStack implementation
        var items = [Int]()
        mutating func push(_ item: Int) {
            items.append(item)
        }
        mutating func pop() -> Int {
            return items.removeLast()
        }
        // conformance to the Container protocol
        typealias Item = Int
        mutating func append(_ item: Int) {
            self.push(item)
        }
        var count: Int {
            return items.count
        }
        subscript(i: Int) -> Int {
            return items[i]
        }
    }
    
  • 对于已经实现某协议的类可以使用extension加空实现体来进行声明
    extension Array: Container {}
    
  • 使用where在函数声明中增加限制,如果不满足则函数不会被调用且会报错
    该函数实现了对不同类型(array和stack),但其中item相同的类型进行比较
    func allItemsMatch<C1: Container, C2: Container>(_ someContainer: C1, _ anotherContainer: C2) -> Bool where C1.Item == C2.Item, C1.Item: Equatable{
      if someContainer.count != anotherContainer.count {
          return false
      }
      for i in 0..<someContainer.count {
          if someContainer[i] != anotherContainer[i] {
              return false
          }
      }
      return true
    }
    
    上述代码中包括四个限制
    1.C1遵循Container协议(C1: Container)
    2.C2遵循Container协议 (C2: Container)
    3.C1、C2的Item类型一致(C1.Item == C2.Item)
    4.C1、C2的Item遵循Equatable协议,即可用==比较(C1.Item: Equatable)
  • 使用where语句在扩展的时候增加限制。如果不增加Equatable的限制会报错:Element不一定能使用==进行判断
    //Extension with a Generic Where Clause
    extension Stack where Element: Equatable {
      func isTop(_ item: Element) -> Bool {
          guard let topItem = items.last else {
              return false
          }
          return topItem == item
      }
    }
    
    使用guard进行判断,不存在时直接返回假
  • 泛型脚本
    extension Container {
      subscript<Indices: Sequence>(indices: Indices) -> [Item]
          where Indices.Iterator.Element == Int {
              var result = [Item]()
              for index in indices {
                  result.append(self[index])
              }
              return result
      }
    }
    
    传入类型参数名为Indices遵循Sequence协议,且其中的每个元素都为Int类型
    var stackOfInts = Stack<Int>()
    stackOfInts.push(1)
    stackOfInts.push(2)
    stackOfInts.push(3)
    stackOfInts.push(4)
    var aArray = [0,3]
    print(stackOfInts[aArray])
    
    实现传入index数组,传入array中Item数组
最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 215,012评论 6 497
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 91,628评论 3 389
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 160,653评论 0 350
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 57,485评论 1 288
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 66,574评论 6 386
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 50,590评论 1 293
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 39,596评论 3 414
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 38,340评论 0 270
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 44,794评论 1 307
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 37,102评论 2 330
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 39,276评论 1 344
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 34,940评论 5 339
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 40,583评论 3 322
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 31,201评论 0 21
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,441评论 1 268
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 47,173评论 2 366
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 44,136评论 2 352

推荐阅读更多精彩内容