Swift 3 中的状态化循环和队列

分享到:  QQ好友和群QQ好友和群 QQ空间QQ空间 腾讯微博腾讯微博 腾讯朋友腾讯朋友 微信微信
查看查看167 回复回复3 收藏收藏 分享淘帖 转播转播 分享分享 微信
查看: 167|回复: 3
收起左侧

Swift 3 中的状态化循环和队列

[复制链接]
swifter 发表于 2016-8-24 07:47:21 | 显示全部楼层 |阅读模式
快来登录
获取最新的苹果动态资讯
收藏热门的iOS等技术干货
拷贝下载Swift Demo源代码

最近几天我从Swift-Ev看到一个十分有趣的请求。

某位来自Swift-Ev社区成员:当我敲代码的时候,我很多次都会遇到这样一个情形,当使用‘repeat...while’循环时,循环条件依赖于那些在循环体中被声明变量。

[Swift] 纯文本查看 复制代码
repeat {
    let success = doSomething()
} while !success


Swift 3 中的状态化循环和队列

Swift 3 中的状态化循环和队列 - 敏捷大拇指 - Swift 3 中的状态化循环和队列


这个请求吸引我的地方是它既需要范围内可见的状态(success)而且还需要这个控制语句的状态(success)没有在外部范围内被声明。

不用担心,其实这个机制已经在Swift中存在,来看看Swift里新的sequence函数。Swift提供了2个种类,两个方式都提供基于循环域来建立状态。




1、public func sequence<T>(first: T, next: (T) -> T?) -> UnfoldSequence<T, (T?, Bool)>

解读:

该函数功能为返回从以first”作为开始元素到不断被"next"先前元素所返回的结果的一个队列。

例如:

[Swift] 纯文本查看 复制代码
// 我们可以来走一遍树的元素,从一个节点到它的根元素
 for node in sequence(first: leaf, next: { $0.parent }) {
       node是叶子节点, 然后是它的父节点, 再然后是它的父节点的父节点, etc.
}
public func sequence<T>(first: T, next: (T) -> T?) -> UnfoldFirstSequence<T> {
  // 源码中其实调用了第二种函数,可以看出队列第一个first的元组是true,则直接输出第一个first元素,然后接下来队列中的元素都执行next后返回结果,直到最后结果为nil
  return sequence(state: (first, true), next: { (state: inout (T?, Bool)) -> T? in
    switch state {
    case (let value, true):
      state.1 = false
      return value
    case (let value?, _):
      let nextValue = next(value)
      state.0 = nextValue
      return nextValue
    case (nil, _):
      return nil
    }
  })
}





2、public func sequence<T, State>(state: State, next: (inout State) -> T?) -> UnfoldSequence<T, State>

解读:

源码为:

[Swift] 纯文本查看 复制代码
public func sequence<T, State>(state: State, next: (inout State) -> T?)
  -> UnfoldSequence<T, State> {
  return UnfoldSequence(_state: state, _next: next)
//这里调用了另外一个结构体UnfoldSequence,名为展开队列
}
public struct UnfoldSequence<Element, State> : Sequence, IteratorProtocol {
  public mutating func next() -> Element? {
    guard !_done else { return nil }
    if let elt = _next(&_state) {
//这句可以看出为什么sequence函数的next的返回类型都是可选类型,
//当执行next循环语句返回nil,队列剩余部分则不执行next函数,全部返回nil
        return elt
    } else {
        _done = true
        return nil
    }
  }
  internal init(_state: State, _next: (inout State) -> Element?) {
    self._state = _state
    self._next = _next
  }
  internal var _state: State
  internal let _next: (inout State) -> Element?
  internal var _done = false
}





两者之间的不同之处在于,第一个更简单的函数产生一个和它状态相同类型的sequence序列。而第二个函数则将状态类型和输出类型区分了出来,因此你可以生成整数,并且同时对字符串做出处理。

现在你来仔细想一想,是不是发现repeat-while真是就像是一个另外一种形式的sequence序列。下面我们来举一个简单的例子。

[Swift] 纯文本查看 复制代码
var i = 0
repeat {
    print(i) // some loop body
    i = i + 5
} while i <= 100


现在你看了上述的内容,你可以进行重写,来试着把i状态变量纳入控制结构,就像这样:

[Swift] 纯文本查看 复制代码
for i in sequence(first: 0, next: { $0 + 5 }) {
    print (i) // some loop body
    if i >= 100 { break } 
}


或者你可以更大胆一些,试着把所有的行为和状态写入next闭包中,就像这样:

[Swift] 纯文本查看 复制代码
for _ in sequence(first: 0, next: {
    print($0) // some loop body
    let value = $0 + 5
    return value <= 100 ? value : nil
}) {}


这里有3件比较重要的事关于这项第三种写法:

  • 这个for循环不需要变量。它只是被用于去执行这个序列。
  • 这个循环体是空的,它仅仅被用于完成这个语法。当然你也可以去执行数组(也算一个序列),但那样将会需要申请内存,那个做法是十分浪费的。
  • 这个序列当返回nil时会终止。这就意味着这个闭包的返回类型是T?,而T则是第一个参数的类型。在这个例子中return的值只可以返回数字类型,因为这个值并没有有意义的用途,它只是被用于检查false/nil。


如果你想结合Bool条件,有一种快速的方法,可以把Bool类型转化为一个可选。虽然这样做有些过了,但它的确能完成任务。

[Swift] 纯文本查看 复制代码
extension Bool { var opt: Bool? { return self ? self : nil } }


或者,你也可以写一个函数来处理Boolean作为控制语句,这样你就不需要转换Boolean作为可选。

这个perform函数是用于创造一个状态化的repeat-while循环,它使用一个Boolean作为控制,封装了sequence函数的使用,并且允许这个循环体是一个尾随闭包。

[Swift] 纯文本查看 复制代码
func perform<T>(
    with state: T,
    while test: (T) -> Bool,
    repeat body: (inout T) -> Void) -> T {
    var updatedState: T = state
    let boolSequence = sequence(state: state, next: {
        (state: inout T) -> Bool? in
        body(&state)
        updatedState = state
        return test(updatedState) ? true : nil
    })
    for _ in boolSequence {}
    return updatedState
}

// 下面的示例将这些单词连接到一个空格分隔的字符串中。
let joinedWords = perform(
    with: ["Lorem", "ipsum", "dolor", "sit", "amet", "consectetur", "adipiscing", "elit"],
    while: { $0.count > 1 })
{
    (state: inout [String]) in
    guard state.count >= 2 else { return }
    let (last, butLast) = (state.removeLast(), state.removeLast())
    let joinedLast = butLast + " " + last
    state.append(joinedLast)
}.first!

debugPrint(joinedWords)


输出结果为:

[Swift] 纯文本查看 复制代码
"Lorem ipsum dolor sit amet consectetur adipiscing elit"


这里最关键的地方是初始的单词数组(指["Lorem", "ipsum"...])并没有被存储在循环外部的任何地方,但是可以在循环体内操作。

我相信这个特性正符合社区成员所说的“当使用‘repeat...while’循环时,循环条件依赖于那些在循环体中被声明变量”这句话。




作者:Erica Sadun

都看到这里了,就把这篇资料推荐给您的好朋友吧,让他们也感受一下。

回帖是一种美德,也是对楼主发帖的尊重和支持。

*声明:敏捷大拇指是全球最大的Swift开发者社区、苹果粉丝家园、智能移动门户,所载内容仅限于传递更多最新信息,并不意味赞同其观点或证实其描述;内容仅供参考,并非绝对正确的建议。本站不对上述信息的真实性、合法性、完整性做出保证;转载请注明来源并加上本站链接,敏捷大拇指将保留所有法律权益。如有疑问或建议,邮件至marketing@swifthumb.com

*联系:微信公众平台:“swifthumb” / 腾讯微博:@swifthumb / 新浪微博:@swifthumb / 官方QQ一群:343549891(满) / 官方QQ二群:245285613 ,需要报上用户名才会被同意进群,请先注册敏捷大拇指

嗯,不错!期待更多好内容,支持一把:
支持敏捷大拇指,用支付宝支付10.24元 支持敏捷大拇指,用微信支付10.24元

评分

参与人数 1金钱 +10 贡献 +10 专家分 +10 收起 理由
Anewczs + 10 + 10 + 10 32个赞!专家给力!

查看全部评分

本帖被以下淘专辑推荐:

3rdev 发表于 2016-8-25 01:47:33 | 显示全部楼层
sequence
Ding 发表于 2016-9-8 10:43:11 | 显示全部楼层
也可以这样:
for i in stride(from: 0, to: 101, by: 5) {
    print(i)
}
 楼主| swifter 发表于 2016-9-9 20:54:02 | 显示全部楼层
Ding 发表于 2016-9-8 10:43
也可以这样:
for i in stride(from: 0, to: 101, by: 5) {
    print(i)


您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

做任务,领红包。
我要发帖

分享扩散

都看到这里了,就把这资料推荐给您的好朋友吧,让他们也感受一下。
您的每一位朋友访问此永久链接后,您都将获得相应的金钱积分奖励
热门推荐

合作伙伴

Swift小苹果

  • 北京治世天下科技有限公司
  • ©2014-2016 敏捷大拇指
  • 京ICP备14029482号
  • Powered by Discuz! X3.1 Licensed
  • swifthumb Wechat Code
  •   
快速回复 返回顶部 返回列表