集合类型(三)

集合类型模块分四篇笔记来学习:

  • 第一篇:
  • 数组和可变性
  • 数组的变形
  • 第二篇:
    • 字典和集合
    • 集合协议
  • 第三篇:
    • 集合
  • 第四篇:
    • 索引

本篇开始学习第三篇,Go!

集合

集合协议 CollectionType 是在序列上构建的,它为序列添加了可重复进行迭代(由于序列是值类型,所以不能单独进行迭代),以及通过索引访问元素的能力。

为了展示 Swift 的集合类型是如何工作的,我们将实现一个我们自己的集合类型。队列 (queue) 是在 Swift 标准库中不存在,但却又最常用到的容器类型了。Swift 的数组可以很容易地被用来实现栈 (stack) 结构,只需要使用 append 入栈和 popLast 出栈就可以了。但是将数组作为队列来使用的话就不那么理想。

为队列设计协议

在实际实现队列之前,我们应该先定义它到底是什么。我们可以通过下面定义的协议来描述队列的特性:

/// 一个能够将元素入队和出队的类型
protocol QueueType {
  /// 在 `self` 中所持有的元素的类型
  associatedtype Element
  /// 将 `newElement` 入队到 `self`
  mutating func enqueue(newElement: Element)
  /// 从 `self` 出队一个元素
  mutating func dequeue() -> Element?”
}

队列的实现

下面是一个很简单的队列,它的 enqueue 和 dequeue 方法是基于一系列数组来构建的。

/// 一个高效的 FIFO 队列,其中元素类型为 `Element`
struct Queue: QueueType {
  private var left: [Element]
  private var right: [Element]

  init() {
    left = []
    right = []
  }

  /// 将元素添加到队列最后,复杂度 O(1)
  mutating func enqueue(element: Element) {
    right.append(element)
  }

  /// 从队列前端移除一个元素,复杂度 O(1).
  /// 当队列为空时,返回 nil
  mutating func dequeue() -> Element? {
      guard !(left.isEmpty && right.isEmpty) else { return nil }
      if left.isEmpty {
        left = right.reverse()
        right.removeAll(keepCapacity: true)
      }
      return left.removeLast()
  }

至此我们实现了一个最简单的队列,接下来通过分别实现CollectionType、ArrayLiteralConvertible、RangeReplaceableCollectionType来扩展Queue。

遵守 CollectionType

CollectionType 是对 Indexable 和 SequenceType 的扩展。该协议有两个关联类型和九个方法。不过,这两个关联类型都有默认值,而不少方法也有它们的默认实现。
我们要做的是为 Indexable 协议中要求的 startIndex 和 endIndex 提供实现,并且实现一个通过下标索引来获取对应索引的元素的方法。只要我们实现了这三个需求,我们就能让一个类型遵守 CollectionType 了。

我们现在已经有一个能够出队和入队的容器了,要将它转变为一个集合,Queue 需要遵守 CollectionType:

extension Queue: CollectionType {
    var startIndex: Int { return 0 }
    var endIndex: Int { return left.count + right.count }

    subscript(idx: Int) -> Element {
      precondition((0..

有了这几行代码,Queue 现在已经遵守 CollectionType 了。因为 CollectionType 是基于 SequenceType 的,所以 Queue 也遵守 SequenceType。现在我们的队列已经拥有超过 40 个方法和属性供我们使用了:

var q = Queue()
for x in ["1", "2", "foo", "3"] {
  q.enqueue(x)
}

// 你可以用 for...in 循环访问队列
for s in q { print(s) } // 打印 1 2 foo 3

// 将其传递给接受序列的方法
q.joinWithSeparator(",") // "1,2,foo,3"
let a = Array(q) // a = ["1", "2", "foo", "3]

// 调用 SequenceType 的扩展方法
q.map { $0.uppercaseString } // ["1", "2", "FOO", "3"]
q.flatMap { Int($0) } // [1,2,3]


q.filter { // ["foo"]
    $0.characters.count > 1
}

// 调用 CollectionType 的扩展方法
q.isEmpty // false
q.count // 4
q.first // "1"
q.last // "3”

遵守 ArrayLiteralConvertible

实现ArrayLiteralConvertible 可以直接已字面量的方式赋值,实现这个协议非常容易:

extension Queue: ArrayLiteralConvertible {
  init(arrayLiteral elements: Element...) {
    self.left = elements.reverse()
    self.right = []
  }
}

现在我们就可以用数组字面量来创建一个队列了:

let q: Queue = [1,2,3]

遵守 RangeReplaceableCollectionType

队列下一个要支持的是 RangeReplaceableCollectionType。这个协议要求我们做三件事情:

  • reserveCapacity 方法:我们在实现 map 的时候已经使用过这个方法了。因为最后元素的个数事前就已经知道了,因此它能够在数组申请内存时避免不必要的元素复制。一个集合其实在收到 reserveCapacity 调用时可以什么都不做,忽略掉它并不会造成很大影响。
  • 一个空的初始化方法:在泛型函数中这会很有用,它可以允许我们创建相同类型的空的集合。
  • replaceRange 函数:它接受一个范围和一个集合,并将原来集合中这个范围内的内容用新的集合替换。

RangeReplaceableCollectionType 是展现协议扩展的绝佳的例子。你通过实现一个超级灵活的 replaceRange 函数,就能直接由其得到一组引申出的有用的方法:

  • append 和 appendContentsOf:将 endIndex..
  • removeAtIndex 和 removeRange:将 i...i 或者 subRange 的内容用空集合进行替换
  • splice 和 insertAtIndex:将 atIndex..
  • removeAll:将 startIndex..

以下是具体的实现:

extension Queue: RangeReplaceableCollectionType {
    mutating func reserveCapacity(n: Int) {
      return
    }

    mutating func replaceRange(subRange: Range, with newElements: C){
      right = left.reverse() + right
      left.removeAll(keepCapacity: true)
      right.replaceRange(subRange, with: newElements)
    }        
}

至此一个自定义的Queue集合就实现并且丰满完毕了。

你可能感兴趣的:(集合类型(三))