基本运算符(Basic Operators)
1.0 翻译:XieLingWang 校对:EvilCome
2.0 翻译+校对:JackAlan
2.1 校对:shanks
2.2 翻译+校对:Cee 校对:SketchK,2016-05-11
3.0.1,shanks,2016-11-11
运算符是检查、改变、合并值的特殊符号或短语。例如,加号(+
)将两个数相加(如 let i = 1 + 2
)。更复杂的运算例子包括逻辑与运算符 &&
(如 if enteredDoorCode && passedRetinaScan
)。
Swift 支持大部分标准 C 语言的运算符,且改进许多特性来减少常规编码错误。如:赋值符(=
)不返回值,以防止把想要判断相等运算符(==
)的地方写成赋值符导致的错误。算术运算符(+
,-
,*
,/
,%
等)会检测并不允许值溢出,以此来避免保存变量时由于变量大于或小于其类型所能承载的范围时导致的异常结果。当然允许你使用 Swift 的溢出运算符来实现溢出。详情参见溢出运算符。
Swift 还提供了 C 语言没有的表达两数之间的值的区间运算符(a..<b
和 a...b
),这方便我们表达一个区间内的数值。
本章节只描述了 Swift 中的基本运算符,高级运算符这章会包含 Swift 中的高级运算符,及如何自定义运算符,及如何进行自定义类型的运算符重载。
Swift 标准库运算符参考章节里有复合运算符的完整列表。
比较运算符(Comparison Operators)
所有标准 C 语言中的比较运算符都可以在 Swift 中使用:
-
等于(
a == b
) -
不等于(
a != b
) -
大于(
a > b
) -
小于(
a < b
) -
大于等于(
a >= b
) -
小于等于(
a <= b
)
注意: Swift 也提供恒等(
===
)和不恒等(!==
)这两个比较符来判断两个对象是否引用同一个对象实例。更多细节在类与结构。
每个比较运算都返回了一个标识表达式是否成立的布尔值:
1 == 1 // true, 因为 1 等于 1
2 != 1 // true, 因为 2 不等于 1
2 > 1 // true, 因为 2 大于 1
1 < 2 // true, 因为 1 小于2
1 >= 1 // true, 因为 1 大于等于 1
2 <= 1 // false, 因为 2 并不小于等于 1
比较运算多用于条件语句,如if
条件:
let name = "world"
if name == "world" {
print("hello, world")
} else {
print("I'm sorry \(name), but I don't recognize you")
}
// 输出 "hello, world", 因为 `name` 就是等于 "world"
关于 if
语句,请看控制流。
当元组中的值可以比较时,你也可以使用这些运算符来比较它们的大小。例如,因为 Int
和 String
类型的值可以比较,所以类型为 (Int, String)
的元组也可以被比较。相反,Bool
不能被比较,也意味着存有布尔类型的元组不能被比较。
比较元组大小会按照从左到右、逐值比较的方式,直到发现有两个值不等时停止。如果所有的值都相等,那么这一对元组我们就称它们是相等的。例如:
(1, "zebra") < (2, "apple") // true,因为 1 小于 2
(3, "apple") < (3, "bird") // true,因为 3 等于 3,但是 apple 小于 bird
(4, "dog") == (4, "dog") // true,因为 4 等于 4,dog 等于 dog
在上面的例子中,你可以看到,在第一行中从左到右的比较行为。因为1
小于2
,所以(1, "zebra")
小于(2, "apple")
,不管元组剩下的值如何。所以"zebra"
小于"apple"
没有任何影响,因为元组的比较已经被第一个元素决定了。不过,当元组的第一个元素相同时候,第二个元素将会用作比较-第二行和第三行代码就发生了这样的比较。
注意:
Swift 标准库只能比较七个以内元素的元组比较函数。如果你的元组元素超过七个时,你需要自己实现比较运算符。
三目运算符(Ternary Conditional Operator)
三目运算符的特殊在于它是有三个操作数的运算符,它的形式是 问题 ? 答案 1 : 答案 2
。它简洁地表达根据 问题
成立与否作出二选一的操作。如果 问题
成立,返回 答案 1
的结果;反之返回 答案 2
的结果。
三目运算符是以下代码的缩写形式:
if question {
answer1
} else {
answer2
}
这里有个计算表格行高的例子。如果有表头,那行高应比内容高度要高出 50 点;如果没有表头,只需高出 20 点:
let contentHeight = 40
let hasHeader = true
let rowHeight = contentHeight + (hasHeader ? 50 : 20)
// rowHeight 现在是 90
上面的写法比下面的代码更简洁:
let contentHeight = 40
let hasHeader = true
var rowHeight = contentHeight
if hasHeader {
rowHeight = rowHeight + 50
} else {
rowHeight = rowHeight + 20
}
// rowHeight 现在是 90
第一段代码例子使用了三目运算,所以一行代码就能让我们得到正确答案。这比第二段代码简洁得多,无需将 rowHeight
定义成变量,因为它的值无需在 if
语句中改变。
三目运算提供有效率且便捷的方式来表达二选一的选择。需要注意的事,过度使用三目运算符会使简洁的代码变的难懂。我们应避免在一个组合语句中使用多个三目运算符。
空合运算符(Nil Coalescing Operator)
空合运算符(a ?? b
)将对可选类型 a
进行空判断,如果 a
包含一个值就进行解封,否则就返回一个默认值 b
。表达式 a
必须是 Optional 类型。默认值 b
的类型必须要和 a
存储值的类型保持一致。
空合运算符是对以下代码的简短表达方法:
a != nil ? a! : b
上述代码使用了三目运算符。当可选类型 a
的值不为空时,进行强制解封(a!
),访问 a
中的值;反之返回默认值 b
。无疑空合运算符(??
)提供了一种更为优雅的方式去封装条件判断和解封两种行为,显得简洁以及更具可读性。
注意: 如果
a
为非空值(non-nil
),那么值b
将不会被计算。这也就是所谓的短路求值。
下文例子采用空合运算符,实现了在默认颜色名和可选自定义颜色名之间抉择:
let defaultColorName = "red"
var userDefinedColorName: String? //默认值为 nil
var colorNameToUse = userDefinedColorName ?? defaultColorName
// userDefinedColorName 的值为空,所以 colorNameToUse 的值为 "red"
userDefinedColorName
变量被定义为一个可选的 String
类型,默认值为 nil
。由于 userDefinedColorName
是一个可选类型,我们可以使用空合运算符去判断其值。在上一个例子中,通过空合运算符为一个名为 colorNameToUse
的变量赋予一个字符串类型初始值。
由于 userDefinedColorName
值为空,因此表达式 userDefinedColorName ?? defaultColorName
返回 defaultColorName
的值,即 red
。
另一种情况,分配一个非空值(non-nil
)给 userDefinedColorName
,再次执行空合运算,运算结果为封包在 userDefaultColorName
中的值,而非默认值。
userDefinedColorName = "green"
colorNameToUse = userDefinedColorName ?? defaultColorName
// userDefinedColorName 非空,因此 colorNameToUse 的值为 "green"
区间运算符(Range Operators)
Swift 提供了两个方便表达一个区间的值的区间运算符。
闭区间运算符
闭区间运算符(a...b
)定义一个包含从 a
到 b
(包括 a
和 b
)的所有值的区间。a
的值不能超过 b
。
闭区间运算符在迭代一个区间的所有值时是非常有用的,如在 for-in
循环中:
for index in 1...5 {
print("\(index) * 5 = \(index * 5)")
}
// 1 * 5 = 5
// 2 * 5 = 10
// 3 * 5 = 15
// 4 * 5 = 20
// 5 * 5 = 25
关于 for-in
,请看控制流。
半开区间运算符
半开区间运算符(a..<b
)定义一个从 a
到 b
但不包括 b
的区间。
之所以称为半开区间,是因为该区间包含第一个值而不包括最后的值。
半开区间的实用性在于当你使用一个从 0 开始的列表(如数组)时,非常方便地从0数到列表的长度。
let names = ["Anna", "Alex", "Brian", "Jack"]
let count = names.count
for i in 0..<count {
print("第 \(i + 1) 个人叫 \(names[i])")
}
// 第 1 个人叫 Anna
// 第 2 个人叫 Alex
// 第 3 个人叫 Brian
// 第 4 个人叫 Jack
数组有 4 个元素,但 0..<count
只数到3(最后一个元素的下标),因为它是半开区间。关于数组,请查阅数组。
逻辑运算符(Logical Operators)
逻辑运算符的操作对象是逻辑布尔值。Swift 支持基于 C 语言的三个标准逻辑运算。
-
逻辑非(
!a
) -
逻辑与(
a && b
) -
逻辑或(
a || b
)
逻辑非运算符
逻辑非运算符(!a
)对一个布尔值取反,使得 true
变 false
,false
变 true
。
它是一个前置运算符,需紧跟在操作数之前,且不加空格。读作 非 a
,例子如下:
let allowedEntry = false
if !allowedEntry {
print("ACCESS DENIED")
}
// 输出 "ACCESS DENIED"
if !allowedEntry
语句可以读作「如果非 allowedEntry」,接下一行代码只有在「非 allowedEntry」为 true
,即 allowEntry
为 false
时被执行。
在示例代码中,小心地选择布尔常量或变量有助于代码的可读性,并且避免使用双重逻辑非运算,或混乱的逻辑语句。
逻辑与运算符
逻辑与运算符(a && b
)表达了只有 a
和 b
的值都为 true
时,整个表达式的值才会是 true
。
只要任意一个值为 false
,整个表达式的值就为 false
。事实上,如果第一个值为 false
,那么是不去计算第二个值的,因为它已经不可能影响整个表达式的结果了。这被称做短路计算(short-circuit evaluation)。
以下例子,只有两个 Bool
值都为 true
的时候才允许进入 if:
let enteredDoorCode = true
let passedRetinaScan = false
if enteredDoorCode && passedRetinaScan {
print("Welcome!")
} else {
print("ACCESS DENIED")
}
// 输出 "ACCESS DENIED"
逻辑或运算符
逻辑或运算符(a || b
)是一个由两个连续的 |
组成的中置运算符。它表示了两个逻辑表达式的其中一个为 true
,整个表达式就为 true
。
同逻辑与运算符类似,逻辑或也是「短路计算」的,当左端的表达式为 true
时,将不计算右边的表达式了,因为它不可能改变整个表达式的值了。
以下示例代码中,第一个布尔值(hasDoorKey
)为 false
,但第二个值(knowsOverridePassword
)为 true
,所以整个表达是 true
,于是允许进入:
let hasDoorKey = false
let knowsOverridePassword = true
if hasDoorKey || knowsOverridePassword {
print("Welcome!")
} else {
print("ACCESS DENIED")
}
// 输出 "Welcome!"
逻辑运算符组合计算
我们可以组合多个逻辑运算符来表达一个复合逻辑:
if enteredDoorCode && passedRetinaScan || hasDoorKey || knowsOverridePassword {
print("Welcome!")
} else {
print("ACCESS DENIED")
}
// 输出 "Welcome!"
这个例子使用了含多个 &&
和 ||
的复合逻辑。但无论怎样,&&
和 ||
始终只能操作两个值。所以这实际是三个简单逻辑连续操作的结果。我们来解读一下:
如果我们输入了正确的密码并通过了视网膜扫描,或者我们有一把有效的钥匙,又或者我们知道紧急情况下重置的密码,我们就能把门打开进入。
前两种情况,我们都不满足,所以前两个简单逻辑的结果是 false
,但是我们是知道紧急情况下重置的密码的,所以整个复杂表达式的值还是 true
。
注意: Swift 逻辑操作符
&&
和||
是左结合的,这意味着拥有多元逻辑操作符的复合表达式优先计算最左边的子表达式。
使用括号来明确优先级
为了一个复杂表达式更容易读懂,在合适的地方使用括号来明确优先级是很有效的,虽然它并非必要的。在上个关于门的权限的例子中,我们给第一个部分加个括号,使它看起来逻辑更明确:
if (enteredDoorCode && passedRetinaScan) || hasDoorKey || knowsOverridePassword {
print("Welcome!")
} else {
print("ACCESS DENIED")
}
// 输出 "Welcome!"
这括号使得前两个值被看成整个逻辑表达中独立的一个部分。虽然有括号和没括号的输出结果是一样的,但对于读代码的人来说有括号的代码更清晰。可读性比简洁性更重要,请在可以让你代码变清晰的地方加个括号吧!