swift @AUTOCLOSURE 和 ?? ||

时间:2024-12-21 13:04:21


* {-webkit-tap-highlight-color: rgba(0,0,0,0);}html {-webkit-text-size-adjust: none;}body {font-family: Arial, Helvetica, sans-serif;margin: 0;color: #333;word-wrap: break-word;}h1, h2, h3, h4, h5, h6 {line-height: 1.1;}img {max-width: 100% !important;}blockquote {margin: 0;padding: 0 15px;color: #777;border-left: 4px solid #ddd;}hr {background-color: #ddd;border: 0;height: 1px;margin: 15px 0;}code {font-family: Menlo, Consolas, 'Ubuntu Mono', Monaco, 'source-code-pro', monospace;line-height: 1.4;margin: 0;padding: 0.2em 0;font-size: 85%;background-color: rgba(0,0,0,0.04);border-radius: 3px;}pre > code {margin: 0;padding: 0;font-size: 100%;word-break: normal;background: transparent;border: 0;}ol {list-style-type: decimal;}ol ol, ul ol {list-style-type: lower-latin;}ol ol ol, ul ol ol, ul ul ol, ol ul ol {list-style-type: lower-roman;}table {border-spacing: 0;border-collapse: collapse;margin-top: 0;margin-bottom: 16px;}table th {font-weight: bold;}table th, table td {padding: 6px 13px;border: 1px solid #ddd;}table tr {border-top: 1px solid #ccc;}table tr:nth-child(even) {background-color: #f8f8f8;}input[type="checkbox"] {cursor: default;margin-right: 0.5em;font-size: 13px;}.task-list-item {list-style-type: none;}.task-list-item+.task-list-item {margin-top: 3px;}.task-list-item input {float: left;margin: 0.3em 1em 0.25em -1.6em;vertical-align: middle;}#tag-field {margin: 8px 2px 10px;}#tag-field .tag {display: inline-block;background: #cadff3;border-radius: 4px;padding: 1px 8px;color: black;font-size: 12px;margin-right: 10px;line-height: 1.4;}

.ace_static_highlight {white-space: pre-wrap;}.ace_static_highlight .ace_gutter {width: 2em;text-align: right;padding: 0 3px 0 0;margin-right: 3px;}.ace_static_highlight.ace_show_gutter .ace_line {padding-left: 2.6em;}.ace_static_highlight .ace_line {position: relative;}.ace_static_highlight .ace_gutter-cell {-moz-user-select: -moz-none;-khtml-user-select: none;-webkit-user-select: none;user-select: none;top: 0;bottom: 0;left: 0;position: absolute;}.ace_static_highlight .ace_gutter-cell:before {content: counter(ace_line, decimal);counter-increment: ace_line;}.ace_static_highlight {counter-reset: ace_line;}
.ace-chrome .ace_gutter {background: #ebebeb;color: #333;overflow : hidden;}.ace-chrome .ace_print-margin {width: 1px;background: #e8e8e8;}.ace-chrome {background-color: #FFFFFF;color: black;}.ace-chrome .ace_cursor {color: black;}.ace-chrome .ace_invisible {color: rgb(191, 191, 191);}.ace-chrome .ace_constant.ace_buildin {color: rgb(88, 72, 246);}.ace-chrome .ace_constant.ace_language {color: rgb(88, 92, 246);}.ace-chrome .ace_constant.ace_library {color: rgb(6, 150, 14);}.ace-chrome .ace_invalid {background-color: rgb(153, 0, 0);color: white;}.ace-chrome .ace_fold {}.ace-chrome .ace_support.ace_function {color: rgb(60, 76, 114);}.ace-chrome .ace_support.ace_constant {color: rgb(6, 150, 14);}.ace-chrome .ace_support.ace_type,.ace-chrome .ace_support.ace_class.ace-chrome .ace_support.ace_other {color: rgb(109, 121, 222);}.ace-chrome .ace_variable.ace_parameter {font-style:italic;color:#FD971F;}.ace-chrome .ace_keyword.ace_operator {color: rgb(104, 118, 135);}.ace-chrome .ace_comment {color: #236e24;}.ace-chrome .ace_comment.ace_doc {color: #236e24;}.ace-chrome .ace_comment.ace_doc.ace_tag {color: #236e24;}.ace-chrome .ace_constant.ace_numeric {color: rgb(0, 0, 205);}.ace-chrome .ace_variable {color: rgb(49, 132, 149);}.ace-chrome .ace_xml-pe {color: rgb(104, 104, 91);}.ace-chrome .ace_entity.ace_name.ace_function {color: #0000A2;}.ace-chrome .ace_heading {color: rgb(12, 7, 255);}.ace-chrome .ace_list {color:rgb(185, 6, 144);}.ace-chrome .ace_marker-layer .ace_selection {background: rgb(181, 213, 255);}.ace-chrome .ace_marker-layer .ace_step {background: rgb(252, 255, 0);}.ace-chrome .ace_marker-layer .ace_stack {background: rgb(164, 229, 101);}.ace-chrome .ace_marker-layer .ace_bracket {margin: -1px 0 0 -1px;border: 1px solid rgb(192, 192, 192);}.ace-chrome .ace_marker-layer .ace_active-line {background: rgba(0, 0, 0, 0.07);}.ace-chrome .ace_gutter-active-line {background-color : #dcdcdc;}.ace-chrome .ace_marker-layer .ace_selected-word {background: rgb(250, 250, 255);border: 1px solid rgb(200, 200, 250);}.ace-chrome .ace_storage,.ace-chrome .ace_keyword,.ace-chrome .ace_meta.ace_tag {color: rgb(147, 15, 128);}.ace-chrome .ace_string.ace_regex {color: rgb(255, 0, 0)}.ace-chrome .ace_string {color: #1A1AA6;}.ace-chrome .ace_entity.ace_other.ace_attribute-name {color: #994409;}.ace-chrome .ace_indent-guide {background: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAACCAYAAACZgbYnAAAAE0lEQVQImWP4////f4bLly//BwAmVgd1/w11/gAAAABJRU5ErkJggg==") right repeat-y;}

body{margin:0 auto;max-width:800px;line-height:1.4}
#nav{margin:5px 0 10px;font-size:15px}
#titlearea{border-bottom:1px solid #ccc;font-size:17px;padding:10px 0;}
#contentarea{font-size:15px;margin:16px 0}
.cell{outline:0;min-height:20px;margin:5px 0;padding:5px 0;}
.code-cell{font-family:Menlo,Consolas,'Ubuntu Mono',Monaco,'source-code-pro',monospace;font-size:12px;}
.latex-cell{white-space:pre-wrap;}


.text-cell {font-size: 15px;}.code-cell {font-size: 12px;}.markdown-cell {font-size: 15px;}.latex-cell {font-size: 15px;}

swift @AUTOCLOSURE 和 ?? || 

@AUTOCLOSURE 和 ??

由 王巍 (@ONEVCAT) 发布于 2014-08-20

Apple 为了推广和介绍 Swift,破天荒地为这门语言开设了一个博客(当然我觉着是因为 Swift 坑太多需要一个地方来集中解释)。其中有一篇提到了一个叫做 @autoclosure 的关键词。

@autoclosure 可以说是 Apple 的一个非常神奇的创造,因为这更多地是像在 “hack” 这门语言。简单说,@autoclosure 做的事情就是把一句表达式自动地封装成一个闭包 (closure)。这样有时候在语法上看起来就会非常漂亮。

比如我们有一个方法接受一个闭包,当闭包执行的结果为 true 的时候进行打印:

func logIfTrue(predicate: () -> Bool) {
if predicate() {
print("True")
}
}

在调用的时候,我们需要写这样的代码

logIfTrue({return 2 > 1})

当然,在 Swift 中对闭包的用法可以进行一些简化,在这种情况下我们可以省略掉 return,写成:

logIfTrue({2 > 1})

还可以更近一步,因为这个闭包是最后一个参数,所以可以使用尾随闭包 (trailing closure) 的方式把大括号拿出来,然后省略括号,变成:

logIfTrue{2 > 1}

但是不管哪种方式,要么是书写起来十分麻烦,要么是表达上不太清晰,看起来都让人生气。于是 @autoclosure 登场了。我们可以改换方法参数,在参数名前面加上 @autoclosure 关键字:

func logIfTrue(@autoclosure predicate: () -> Bool) {
if predicate() {
print("True")
}
}

这时候我们就可以直接写:

logIfTrue(2 > 1)

来进行调用了,Swift 将会把 2 > 1 这个表达式自动转换为 () -> Bool。这样我们就得到了一个写法简单,表意清楚的式子。

import Foundation
func logIfTureV1(predicate: ()->Bool) {
    if predicate() {
        print("True")
    }
}
logIfTureV1({
    ()-> Bool   in
    return 2 > 1
    }
)
logIfTureV1({
    return 2 > 1
    }
)
logIfTureV1{return 2 > 1}
logIfTureV1{ 2 > 1}
func logIfTureV2(@autoclosure predicate: ()->Bool) {
    if predicate() {
        print("True")
    }
}
logIfTureV2(2>1)
logIfTureV2(true)
/*
True
True
True
True
True
True
*/

在 Swift 中,有一个非常有用的操作符,可以用来快速地对 nil 进行条件判断,那就是 ??。这个操作符可以判断输入并在当左侧的值是非 nil 的 Optional 值时返回其 value,当左侧是 nil 时返回右侧的值,比如:

var level : Int?
var startLevel = 1 var currentLevel = level ?? startLevel

在这个例子中我们没有设置过 level,因此最后 startLevel 被赋值给了 currentLevel。如果我们充满好奇心地点进 ?? 的定义,可以看到 ?? 有两种版本:

func ??<T>(optional: T?, @autoclosure defaultValue: () -> T?) -> T?

func ??<T>(optional: T?, @autoclosure defaultValue: () -> T) -> T

在这里我们的输入满足的是后者,虽然表面上看 startLevel 只是一个 Int,但是其实在使用时它被自动封装成了一个 () -> Int,有了这个提示,我们不妨来猜测一下 ?? 的实现吧:

func ??<T>(optional: T?, @autoclosure defaultValue: () -> T) -> T {
switch optional {
case .Some(let value):
return value
case .None:
return defaultValue()
}
}

可能你会有疑问,为什么这里要使用 autoclosure,直接接受 T 作为参数并返回不行么,为何要用 () -> T 这样的形式包装一遍,岂不是画蛇添足?其实这正是 autoclosure 的一个最值得称赞的地方。如果我们直接使用 T,那么就意味着在 ?? 操作符真正取值之前,我们就必须准备好一个默认值传入到这个方法中,一般来说这不会有很大问题,但是如果这个默认值是通过一系列复杂计算得到的话,可能会成为浪费 -- 因为其实如果 optional 不是 nil 的话,我们实际上是完全没有用到这个默认值,而会直接返回 optional 解包后的值的。这样的开销是完全可以避免的,方法就是将默认值的计算推迟到 optional 判定为 nil 之后。

import UIKit
infix operator ??? {associativity right precedence 110}
func ???<T>(opt: T?, defaultVal: T) -> T {
    print("in ???")
    if let x = opt {
        return x
    } else {
        return defaultVal
    }
}
class ViewController: UIViewController {
    override func viewDidLoad() {
        super.viewDidLoad()
        func op() -> Int {
            print("in op()")
            return 8
        }
        let lhs: Int? = 1
        let result: Int = lhs ??? op()
        print(result)
    }
}
//输出结果: 先调用了闭包,后调用了???
/*
in op()
in ???
1
*/

就这样,我们可以巧妙地绕过条件判断和强制转换,以很优雅的写法处理对 Optional 及默认值的取值了。最后要提一句的是,@autoclosure 并不支持带有输入参数的写法,也就是说只有形如 () -> T 的参数才能使用这个特性进行简化。另外因为调用者往往很容易忽视 @autoclosure 这个特性,所以在写接受 @autoclosure 的方法时还请特别小心,如果在容易产生歧义或者误解的时候,还是使用完整的闭包写法会比较好。

练习

在 Swift 中,其实 && 和 || 这两个操作符里也用到了 @autoclosure。作为练习,不妨打开 Playground,试试看怎么实现这两个操作符吧?


@_transparent
@warn_unused_result
public func ?? <T> (optional: T?, @autoclosure defaultValue: () throws -> T)
    rethrows -> T {
  switch optional {
  case .Some(let value):
    return value
  case .None:
    return try defaultValue()
  }
}
@_transparent
@warn_unused_result
public func ?? <T> (optional: T?, @autoclosure defaultValue: () throws -> T?)
    rethrows -> T? {
  switch optional {
  case .Some(let value):
    return value
  case .None:
    return try defaultValue()
  }
}
import Foundation
import UIKit
//https://github.com/apple/swift/blob/8d9ef80304d7b36e13619ea50e6e76f3ec9221ba/test/Interpreter/bool_as_generic.swift
//自定义操作符
infix operator &&& {}
public func &&&<T : BooleanType>(lhs: T, @autoclosure rhs: () throws -> Bool) rethrows -> Bool{
    return lhs.boolValue ?  try rhs().boolValue : false
}
print(true &&& true)
print(true &&& false)
infix operator ||| {}
public func |||<T : BooleanType>(lhs: T, @autoclosure rhs: () throws -> Bool) rethrows -> Bool{
    return lhs.boolValue ? true : try rhs().boolValue
}
print(true ||| true)
print(true ||| false)
print(false ||| false)
prefix operator !! {}
prefix func !!<T : BooleanType>(x: T) -> Bool {
    return x.boolValue
}
print(!!true) // CHECK: true
print(!!false) // CHECK: false
/*
true
false
true
true
false
true
false
*/
/// Returns the result of inverting `a`'s logic value.
@warn_unused_result
public prefix func !<T : BooleanType>(a: T) -> Bool {
  return !a.boolValue
}
/// If `lhs` is `false`, return it.  Otherwise, evaluate `rhs` and
/// return its `boolValue`.
@inline(__always)
@warn_unused_result
public func && <T : BooleanType, U : BooleanType>(
  lhs: T, @autoclosure rhs: () throws -> U
) rethrows -> Bool {
  return lhs.boolValue ? try rhs().boolValue : false
}
/// If `lhs` is `true`, return it.  Otherwise, evaluate `rhs` and
/// return its `boolValue`.
@inline(__always)
@warn_unused_result
public func || <T : BooleanType, U : BooleanType>(
  lhs: T, @autoclosure rhs: () throws -> U
) rethrows -> Bool {
  return lhs.boolValue ? true : try rhs().boolValue
}
// FIXME: We can't make the above @_transparent due to
// rdar://problem/19418937, so here are some @_transparent overloads
// for Bool.  We've done the same for ObjCBool
@_transparent
@warn_unused_result
public func && <T : BooleanType>(
  lhs: T, @autoclosure rhs: () throws -> Bool
) rethrows -> Bool {
  return lhs.boolValue ? try rhs().boolValue : false
}
@_transparent
@warn_unused_result
public func || <T : BooleanType>(
  lhs: T, @autoclosure rhs: () throws -> Bool
) rethrows -> Bool {
  return lhs.boolValue ? true : try rhs().boolValue
}

Swift 的 autoclosure

Swift 的 autoclosure

在 Swift 中,如果一个函数,接收一个 closure 作为参数,我们可以这么写:

func op() -> Int {
return 8
} func function(a: () -> Int) {
print(a())
} //调用
function{ op() } //打印8

如果这个参数使用 autoclosure 修饰,则可以这么写:

func op() -> Int {
return 8
} func function(@autoclosure a: () -> Int) {
print(a())
} //调用
function(op()) //打印8

Swift 会将该参数自动包到 closure 里传给函数。那么除了语法区别,还有什么作用呢?
一个很好的例子就是 swift 自带的 ?? 操作符,这个操作符很简单,如果让我们自己实现,第一想到的就是这样写:

infix operator ??? {associativity right precedence 110}

func ???<T>(opt: T?, defaultVal: T) -> T {
if let x = opt {
return x
} else {
return defaultVal
}
} let opt: Int? = 1
let nilopt: Int? = nil
let a: Int = opt ??? 10
let b: Int = nilopt ??? 10
print(a) //打印1
print(b) //打印10

看起来不错,但是其实有个问题,假如我们的 defaultVal 传的是一个返回 Int 的函数,那么即使 opt 不是 nil,defaultVal 值不会被用到,这个函数也会被执行:

func op() -> Int {
print("run")
return 8
} let opt: Int? = 1
let a: Int = opt ??? op()
print(a)
//打印 run\n 1

这里 op 函数的执行是没有必要的,因为 opt 是有值的,op 函数的结果不会被用到,这里做了一次额外不用的运算,如果 op 函数的性能开销很大,对整个 app 的性能是有影响的。

解决方法就是把 defaultVal 作为一个 closure,这样只有在 opt 为 nil 时,才会去执行 closure 里的代码

func op() -> Int {
print("run")
return 8
} infix operator ??? {associativity right precedence 110} func ???<T>(opt: T?, defaultVal: () -> T) -> T {
if let x = opt {
return x
} else {
return defaultVal()
}
} let opt: Int? = 1
let a: Int = opt ??? {op()}
print(a)
//打印 1

看到那奇怪的中括号了么,因为我们 defaultVal 参数接受的是一个 closure,参数打上大括号作为一个 closure 传入。
这显然是不太能接受的语法。所以我们需要 autoclosure,把参数自动包成 closure。

func op() -> Int {
print("run")
return 8
} infix operator ??? {associativity right precedence 110} func ???<T>(opt: T?, @autoclosure defaultVal: () -> T) -> T {
if let x = opt {
return x
} else {
return defaultVal()
}
} let opt: Int? = 1
let a: Int = opt ??? op()
print(a)
//打印 1
2016-02-24 16:10104