元组

元组

什么是元组

元组是Swift中唯一的一种复合类型,它可以将指定有限个数的任何类型整理为一个对象.一个元组类型的形式为:(type1,type2,type3...,type4),元组中的每一种类型都可以是任意的结构体、枚举或类类型,甚至也可以是一个元组以及空元组.
元组中每一个元素称之为一个分量(component)
注意:通过元组字面量,()括号内至少应包括两个元素,否则会被当做圆括号操作符,如果圆括号没有任何元素,称作为空元组

访问元组元素

通过成员访问操作符 .,后面跟元组的索引位置(从0开始),成员访问操作符是一个单目后缀操作符,操作数是放在它前面的后缀表达式,后面是标识符或整数索引.即操作符的关联参数

1.可以给元组的相应位置添加标签来访问元组元素,但元组类型相应的位置也应该加上相应的标签.
2.不需要给所有的元素都添加标签,对于有标签的元素,既可以通过标签访问元素,也可以使用整数索引.

//给元组指定标签 通过标签名来访问元组的相应元素
//不需要给所有的元素都加上标签,可以加一部分,其余的部分可以不指定标签
//对于指定标签的元素,可以通过标签来进行访问,也可以通过整数索引来访问
//类型为:(int: Int, double: Double, Bool)
let tuple3 = (int:1,double:0.5,true)
tuple3.int
tuple3.double
tuple3.2

元组就像是一个轻便型的匿名结构体,不需要对一个元组指定类型名,而直接给出类型声明,甚至直接给出元组对象字面量,把指定类型的对象一一放入即可,所以元组一般用于一个函数返回多个不同类型的对象的场合

元组分解

元组分解(decompose)即萃取元组的相应元素,将几个变量或常量以元组定义的方式进行声明,然后 = 操作符右边元组对象的响应元素就能赋值给 = 左边的相应变量或常量

//MARK:元组分解(萃取元组中相应的元素)decompose
//1.将几个变量或者常量以元组定义的方式进行声明,然后 = 操作符右边元组对象中的相应元素就能赋值给 = 左边的相应变量或常量
//2.如果不想萃取某一个元素的值,可以通过下划线 _ 进行忽略

//声明三个常量,通过元组对其赋值
let (i,d,c) = tuple

//如果不需要获取某个元素,可以使用_ 进行忽略
var (x,_,y) = (5.5,"hello",8.5)

//通过元组来交换两个变量的值
//在这里(a1,b1)不是元组字面量,而是用于元组分解的元组萃取的形式
var a1 = 1, b1 = 2
(a1,b1) = (b1,a1)

//相当于
let temps = (b1,a1)
(a1,b1) = temps

元祖比较

两个相同元素类型(指的是元素个数,对应索引的元素类型相同,标签名不同也可以进行比较)的元组,如果每个元素都遵循Equatable,那么可以使用 ==,!=操作符判断元组是否相等,如果每个元素都遵循Comparable协议,那么可以用>,<,>=,<=操作符来比较大小,比较的规则是从第一个元素开始进行,如果能比较出结构,立即返回,否则再依次比较下去.

let t1 = (1,2,double:2.3)
let t2 = (1,a:2,3.4)

//相同元素类型的元组比较
//t1 < t2
if t1 > t2 {
    print("t1 > t2")
}else{
    print("t1 < t2")
}
//t1.type (Int, Int, double: Double)
print("t1.type \(type(of: t1))")

//t2.type (Int, a: Int, Double)
print("t2.type \(type(of: t2))")

//这里打印false,表示这两个元组的类型是不同的
if type(of: t1) == type(of: t2) {
    print("true")
}else{
    print("false")
}

var t3 = (true,23)
var t4 = (false,33)
//编译错误,Bool未遵循Comparable协议,不能进行比较
if t3 < t4 {
    print("::::")
}

空元组

空元组就是一个不包含任何元素的元组,即()
空元组可以作为对象或者函数的类型进行声明,也可以作为右值
当作对象或函数的类型声明时,它表示无,即相当于C语言中的void
当作类型使用时,使用Void显式标出
当作右值时,表示一个空表达式,并且类型为Void,当作右值时不能写Void,只能写(),因为Void是以类型的方式定义的,而不是以值的方式
Swift的Void其实就是()空元组定义的

空表达式(void表达式)与空值表达式(nil表达式)的区别:前者表示不具有任何类型,除了通配符(_)以及表示Void的对象之外,不能赋值给任何类型的对象,而空值表达式可以赋值给任一Optional对象,表示其当前引用为空

//声明一个Void类型的变量
let v:Void

//用空元组对其初始化
v = Void()
v = ()

_ = v

var voidInt = 10

//表达式的返回类型为Void
let result = voidInt += 100
//result is Void
print("result is \(result)")
//在这里会进行打印
if result is Void {
    print("result is Void")
}

//函数的返回类型 Void其实就是()实现的
func foo() -> (){
    print("hello world!")
}
foo()

//空元组
let empty = ()
let void:Void
//true
print("empty is Void: \(empty is Void)")

//()
print("\(type(of: empty))")
//()
print("\(type(of: void))")


var loop = 3
repeat {
    print("Hello World!")
}while (loop -= 1,loop).1 > 0

if (loop -= 1,loop).0 is Void {
    print("Yes, it's void")
}

在Swift编程语言中，对元组各个元素的计算是有先后次序的，也就是说每个元素之间都会有一个顺序点（Sequence Point）。元组字面量的计算顺序为从左到右，即从第一个元素到最后一个元素。当第一个元素表达式计算完成之后，才会计算第二个元素表达式.