• 设为首页
  • 点击收藏
  • 手机版
    手机扫一扫访问
    迪恩网络手机版
  • 关注官方公众号
    微信扫一扫关注
    公众号
登陆 注册

Swift表达式

原作者: [db:作者] 来自: [db:来源] 收藏 邀请
原文链接：http://www.cocoachina.com/newbie/basic/2014/0612/8797.html


本页包括内容：
前缀表达式（Prefix Expressions）
二元表达式（Binary Expressions）
赋值表达式（Assignment Operator）
三元条件运算符（Ternary Conditional Operator）
类型转换运算符（Type-Casting Operators）
主要表达式（Primary Expressions）
后缀表达式（Postfix Expressions）
 
Swift 中存在四种表达式： 前缀（prefix）表达式，二元（binary）表达式，主要（primary）表达式和后缀（postfix）表达式。表达式能够返回一个值，以及执行某些逻辑（causes a side effect）。
 
前缀表达式和二元表达式就是对某些表达式使用各种运算符（operators）。 主要表达式是最短小的表达式，它提供了获取（变量的）值的一种途径。 后缀表达式则同意你建立复杂的表达式。比如配合函数调用和成员訪问。 每种表达式都在以下有具体论述～
 
表达式的语法：

expression → prefix-expression­binary-expressions­opt­

expression-list → expression­  expression­,­expression-list­

 
前缀表达式（Prefix Expressions）
前缀表达式由 前缀符号和表达式组成。（这个前缀符号仅仅能接收一个參数）
 
Swift 标准库支持例如以下的前缀操作符：
++ 自增1 （increment）
-- 自减1 （decrement）
! 逻辑否 （Logical NOT ）
~ 按位否 （Bitwise NOT ）
+ 加（Unary plus）
- 减（Unary minus）
 
对于这些操作符的使用，请參见： Basic Operators和Advanced Operators
 
作为对上面标准库运算符的补充，你也能够对 某个函数的參数使用 '&'运算符。

很多其它信息，请參见： "In-Out parameters".

 
前缀表达式的语法：

prefix-expression → prefix-operator­opt­postfix-expression­

prefix-expression → in-out-expression­

in-out-expression → &­identifier­

 
二元表达式（Binary Expressions）
二元表达式由 "左边參数" + "二元运算符" + "右边參数" 组成, 它有例如以下的形式：
Swift 标准库提供了例如以下的二元运算符：
 
求幂相关（无结合，优先级160）
    << 按位左移（Bitwise left shift）
    >> 按位右移（Bitwise right shift）
 
乘除法相关（左结合，优先级150）
    * 乘
    / 除
    % 求余
    &* 乘法。忽略溢出（ Multiply, ignoring overflow）
    &/ 除法。忽略溢出（Divide, ignoring overflow）
    &% 求余, 忽略溢出（ Remainder, ignoring overflow）
    & 位与（ Bitwise AND）
 
加减法相关（左结合, 优先级140）
    + 加
    - 减
    &+ Add with overflow
    &- Subtract with overflow
    | 按位或（Bitwise OR ）
    ^ 按位异或（Bitwise XOR）
 
Range （无结合,优先级 135）
    .. 半闭值域 Half-closed range
    ... 全闭值域 Closed range
 
类型转换 （无结合,优先级 132）
    is 类型检查（ type check）
    as 类型转换（ type cast）
 
Comparative （无结合,优先级 130）
    < 小于
    <= 小于等于
    >大于
    >= 大于等于
    == 等于
    != 不等
    === 恒等于
    !== 不恒等
    ~= 模式匹配（ Pattern match）
 
合取（ Conjunctive） （左结合,优先级 120）
    && 逻辑与（Logical AND）
 
析取（Disjunctive） （左结合,优先级 110）
    || 逻辑或（ Logical OR）
 
三元条件（Ternary Conditional ）（右结合,优先级 100）
    ?: 三元条件 Ternary conditional
 
赋值 （Assignment） （右结合, 优先级 90）
    = 赋值（Assign）
    *= Multiply and assign
    /= Divide and assign
    %= Remainder and assign
    += Add and assign
    -= Subtract and assign
    <<= Left bit shift and assign
    = Right bit shift and assign
    &= Bitwise AND and assign
    ^= Bitwise XOR and assign
    |= Bitwise OR and assign
    &&= Logical AND and assign
    ||= Logical OR and assign
 
关于这些运算符（operators）的很多其它信息，请參见：Basic Operators和Advanced Operators.
 
注意：在解析时, 一个二元表达式表示为一个一级数组（a flat list）, 这个数组（List）依据运算符的先后顺序。被转换成了一个tree. 比如： 2 + 3 5 首先被觉得是： 2, + , 3, , 5. 随后它被转换成 tree （2 + （3 * 5））
 
二元表达式的语法

binary-expression → binary-operator­prefix-expression­

binary-expression → assignment-operator­prefix-expression­

binary-expression → conditional-operator­prefix-expression­

binary-expression → type-casting-operator­

binary-expressions → binary-expression­binary-expressions­opt­

赋值表达式（Assignment Operator）
赋值表达式会对某个给定的表达式赋值。 它有例如以下的形式；
就是把右边的 value 赋值给左边的 expression. 假设左边的expression 须要接收多个參数（是一个tuple ），那么右边必须也是一个具有相同数量參数的tuple. （同意嵌套的tuple）
    

  1. 
(a, _, (b, c)) = ("test", 9.45, (12, 3)) 
    2. 

  2. // a is "test", b is 12, c is 3, and 9.45 is ignored 
    3.
赋值运算符不返回不论什么值。

 
赋值表达式的语法：assignment-operator → =­
 
三元条件运算符（Ternary Conditional Operator）
三元条件运算符 是依据条件来获取值。

形式例如以下：

假设 condition 是true, 那么返回 第一个表达式的值（此时不会调用第二个表达式）， 否则返回第二个表达式的值（此时不会调用第一个表达式）。

 
想看三元条件运算符的样例。请參见： Ternary Conditional Operator.
 
三元条件表达式：conditional-operator → ?­expression­
 
类型转换运算符（Type-Casting Operators）
有两种类型转换操作符： as 和 is. 它们有例如以下的形式：
as 运算符会把目标表达式转换成指定的类型（specified type），步骤例如以下：
 
1.假设类型转换成功。 那么目标表达式就会返回指定类型的实例（instance）. 比如：把子类（subclass）变成父类（superclass）时.
2.假设转换失败，则会抛出编译错误（ compile-time error）。
3.假设上述两个情况都不是（也就是说。编译器在编译时期无法确定转换是否能成功，） 那么目标表达式就会变成指定的类型的optional. （is an optional of the specified type ） 然后在执行时，假设转换成功， 目标表达式就会作为 optional的一部分来返回。 否则，目标表达式返回nil. 相应的样例是： 把一个 superclass 转换成一个 subclass.
    

  1. class SomeSuperType {} 
    2. 

  2. class SomeType: SomeSuperType {} 
    3. 

  3. class SomeChildType: SomeType {} 
    4. 

  4. let s = SomeType() 
    5. 

  5.   
    6. 

  6. let x = s as SomeSuperType  // known to succeed; type is SomeSuperType 
    7. 

  7. let y = s as Int            // known to fail; compile-time error 
    8. 

  8. let z = s as SomeChildType  // might fail at runtime; type is SomeChildType? 
    9.
 
使用'as'做类型转换跟正常的类型声明，对于编译器来说是一样的。比如：
    

  1. 
let y1 = x as SomeType  // Type information from 'as' 
    2. 

  2. let y2: SomeType = x    // Type information from an annotation 
    3.
 
'is' 运算符在“执行时（runtime）”会做检查。 成功会返回true, 否则 false
 
上述检查在“编译时（compile time）”不能使用。 比如以下的使用是错误的：
    

  1. "hello" is String 
    2. 

  2. "hello" is Int 
    3.
关于类型转换的很多其它内容和样例，请參见：Type Casting.
 
类型转换的语法：type-casting-operator → is­type­  as­?­opt­type­
 
主要表达式（Primary Expressions）
主要表达式是最主要的表达式。 它们能够跟 前缀表达式，二元表达式，后缀表达式以及其它主要表达式组合使用。
 
主要表达式的语法

primary-expression → identifier­generic-argument-clause­opt­

primary-expression → literal-expression­

primary-expression → self-expression­

primary-expression → superclass-expression­

primary-expression → closure-expression­

primary-expression → parenthesized-expression­

primary-expression → implicit-member-expression­

primary-expression → wildcard-expression

 
字符型表达式（Literal Expression）
由这些内容组成：普通的字符（string, number） , 一个字符的字典或者数组。或者以下列表中的特殊字符。
 
在某个函数（function）中，__FUNCTION__ 会返回当前函数的名字。 在某个方法（method）中。它会返回当前方法的名字。 在某个property 的getter/setter中会返回这个属性的名字。

在init/subscript中 仅仅有的特殊成员（member）中会返回这个keyword的名字，在某个文件的顶端（the top level of a file），它返回的是当前module的名字。

 
一个array literal，是一个有序的值的集合。 它的形式是：
数组中的最后一个表达式能够紧跟一个逗号（','）. []表示空数组 。 array literal的type是 T[], 这个T就是数组中元素的type. 假设该数组中有多种type, T则是跟这些type的公共supertype最接近的type.（closest common supertype）
 
一个dictionary literal 是一个包括无序的键值对（key-value pairs）的集合，它的形式是:
dictionary 的最后一个表达式能够是一个逗号（','）. [:] 表示一个空的dictionary. 它的type是 Dictionary （这里KeyType表示 key的type, ValueType表示 value的type） 假设这个dictionary 中包括多种 types, 那么KeyType, Value 则相应着它们的公共supertype最接近的type（ closest common supertype）.
 
字符型表达式的语法：

literal-expression → literal­

literal-expression → array-literal­  dictionary-literal­

literal-expression → __FILE__­  __LINE__­  __COLUMN__­  __FUNCTION__­

array-literal → [­array-literal-items­opt­]­

array-literal-items → array-literal-item­,­opt­  array-literal-item­,­array-literal-items­

array-literal-item → expression­

dictionary-literal → [­dictionary-literal-items­]­  [­:­]­

dictionary-literal-items → dictionary-literal-item­,­opt­  dictionary-literal-item­,­dictionary-literal-items­

dictionary-literal-item → expression­:­expression­

 
self表达式（Self Expression）
self表达式是对 当前type 或者当前instance的引用。

它的形式例如以下：

 
假设在 initializer, subscript, instance method中，self等同于当前type的instance. 在一个静态方法（static method）, 类方法（class method）中， self等同于当前的type.
 
当訪问 member（成员变量时）。 self 用来区分重名变量（比如函数的參数）. 比如， （以下的 self.greeting 指的是 var greeting: String, 而不是 init（greeting: String） ）
    

  1. class SomeClass { 
    2. 

  2.     var greeting: String 
    3. 

  3.     init(greeting: String) { 
    4. 

  4.         self.greeting = greeting 
    5. 

  5.     } 
    6. 

  6. } 
    7.
 
在mutating 方法中， 你能够使用self 对 该instance进行赋值。

    

  1. struct Point { 
    2. 

  2.     var x = 0.0, y = 0.0 
    3. 

  3.     mutating func moveByX(deltaX: Double, y deltaY: Double) { 
    4. 

  4.         self = Point(x: x + deltaX, y: y + deltaY) 
    5. 

  5.     } 
    6. 

  6. } 
    7.
self表达式的语法：

self-expression → self­

self-expression → self­.­identifier­

self-expression → self­[­expression­]­

self-expression → self­.­init­

 

超类表达式（Superclass Expression）
超类表达式能够使我们在某个class中訪问它的超类. 它有例如以下形式：
形式1 用来訪问超类的某个成员（member）. 形式2 用来訪问该超类的 subscript 实现。 形式3 用来訪问该超类的 initializer.
 
子类（subclass）能够通过超类（superclass）表达式在它们的 member, subscripting 和 initializers 中来利用它们超类中的某些实现（既有的方法或者逻辑）。

 
超类表达式语法：

superclass-expression → superclass-method-expression­  superclass-subscript-expression­ superclass-initializer-expression­

superclass-method-expression → super­.­identifier­

superclass-subscript-expression → super­[­expression­]­

superclass-initializer-expression → super­.­init

 
闭包表达式（Closure Expression）
闭包（closure） 表达式能够建立一个闭包（在其它语言中也叫 lambda, 或者 匿名函数（anonymous function））. 跟函数（function）的声明一样， 闭包（closure）包括了可运行的代码（跟方法主体（statement）类似） 以及接收（capture）的參数。

它的形式例如以下：

闭包的參数声明形式跟方法中的声明一样, 请參见：Function Declaration.
 
闭包还有几种特殊的形式, 让使用更加简洁：
1.闭包能够省略 它的參数的type 和返回值的type. 假设省略了參数和參数类型，就也要省略 'in'keyword。 假设被省略的type 无法被编译器获知（inferred） ，那么就会抛出编译错误。
2.闭包能够省略參数，转而在方法体（statement）中使用 0,1, $2 来引用出现的第一个。第二个，第三个參数。

3.假设闭包中仅仅包括了一个表达式，那么该表达式就会自己主动成为该闭包的返回值。 在运行 'type inference '时，该表达式也会返回。
 
以下几个 闭包表达式是 等价的：
    

  1. myFunction { 
    2. 

  2.     (x: Int, y: Int) -> Int in 
    3. 

  3.     return x + y 
    4. 

  4. } 
    5. 

  5.   
    6. 

  6. myFunction { 
    7. 

  7.     (x, y) in 
    8. 

  8.     return x + y 
    9. 

  9. } 
    10. 

  10.   
    11. 

  11. myFunction { return $0 + $1 } 
    12. 

  12.   
    13. 

  13. myFunction { $0 + $1 } 
    14.
关于 向闭包中传递參数的内容。參见： Function Call Expression.
 
闭包表达式能够通过一个參数列表（capture list） 来显式指定它须要的參数。 參数列表 由中括号 [] 括起来。里面的參数由逗号','分隔。一旦使用了參数列表，就必须使用'in'keyword（在不论什么情况下都得这样做。包含忽略參数的名字，type, 返回值时等等）。
 
在闭包的參数列表（ capture list）中， 參数能够声明为 'weak' 或者 'unowned' .
    

  1. 
myFunction { print(self.title) }                    // strong capture 
    2. 

  2. 
myFunction { [weak self] in print(self!.title) }    // weak capture 
    3. 

  3. 
myFunction { [unowned self] in print(self.title) }  // unowned capture 
    4.
 
在參数列表中。也能够使用随意表达式来赋值. 该表达式会在 闭包被运行时赋值，然后依照不同的力度来获取（这句话请谨慎理解）。 比如：
    

  1. // Weak capture of "self.parent" as "parent" 
    2. 

  2. myFunction { [weak parent = self.parent] in print(parent!.title) } 
    3.
关于闭包表达式的很多其它信息和样例，请參见： Closure Expressions.
 
闭包表达式的语法：

closure-expression → {­closure-signature­opt­statements­}­

closure-signature → parameter-clause­function-result­opt­in­

closure-signature


鲜花
握手
雷人
路过
鸡蛋
该文章已有0人参与评论

请发表评论

全部评论

专题导读
More+
上一篇：
分享一本Swift好书发布时间：2022-07-13
下一篇：
swift-导航栏设置发布时间：2022-07-13
热门推荐
More+
热门话题
More+
阅读排行榜

扫描微信二维码

查看手机版网站

随时了解更新最新资讯

139-2527-9053

在线客服（服务时间 9:00～18:00）

在线QQ客服
地址：深圳市南山区西丽大学城创智工业园
电邮：jeky_zhao#qq.com
移动电话：139-2527-9053

Powered by 互联科技 X3.4© 2001-2213 极客世界.|Sitemap