与其他编程语言所不同的是,Swift 并不要求你为自定义类和结构去创建独立的接口和实现文件。你所要做的是在一个单一文件中定义一个类或者结构体,系统将会自动生成面向其它代码的外部接口。
注意:通常一个类的实例被称为对象。然而在Swift 中,类和结构体的关系要比在其他语言中更加的密切,本章中所讨论的大部分功能都可以用在类和结构体上。因此,我们会主要使用实例而不是对象。
类和结构体对比
Swift 中类和结构体有很多共同点。共同处在于:与结构体相比,类还有如下的附加功能:
- 继承允许一个类继承另一个类的特征
- 类型转换允许在运行时检查和解释一个类实例的类型
- 取消初始化器允许一个类实例释放任何其所被分配的资源
- 引用计数允许对一个类的多次引用
注意:结构体总是通过被复制的方式在代码中传递,因此请不要使用引用计数。
定义
类和结构体有着类似的定义方式。我们通过关键字class和struct来分别表示类和结构体,并在一对大括号中定义它们的具体内容:
- class SomeClass {
- // class definition goes here
- }
- struct SomeStructure {
- // structure definition goes here
- }
注意:在你每次定义一个新类或者结构体的时候,实际上你是有效地定义了一个新的 Swift 类型。因此请使用UpperCamelCase这种方式来命名(如SomeClass和SomeStructure等),以便符合标准Swift 类型的大写命名风格(如String,Int和Bool)。相反的,请使用lowerCamelCase这种方式为属性和方法命名(如framerate和incrementCount),以便和类区分。以下是定义结构体和定义类的示例:
- struct Resolution {
- var width = 0
- var heigth = 0
- }
- class VideoMode {
- var resolution = Resolution()
- var interlaced = false
- var frameRate = 0.0
- var name: String?
- }
在上面的示例中我们还定义了一个名为VideoMode的类,用来描述一个视频显示器的特定模式。这个类包含了四个储存属性变量。第一个是分辨率,它被初始化为一个新的Resolution结构体的实例,具有Resolution的属性类型。新VideoMode实例同时还会初始化其它三个属性,它们分别是,初始值为false(意为“non-interlaced video”)的inteflaced,回放帧率初始值为0.0的frameRate和值为可选String的name。name属性会被自动赋予一个默认值nil,意为“没有name值”,因它是一个可选类型。
类和结构体实例
Resolution结构体和VideoMode类的定义仅描述了什么是Resolution和VideoMode。它们并没有描述一个特定的分辨率(resolution)或者视频模式(video mode)。为了描述一个特定的分辨率或者视频模式,我们需要生成一个它们的实例。生成结构体和类实例的语法非常相似:
- let someResolution = Resolution()
- let someVideoMode = VideoMode()
属性访问
通过使用点语法(dot Syntax),你可以访问实例中所含有的属性。其语法规则是,实例名后面紧跟属性名,两者通过点号(.)连接:
- println("The width of someResolution is \(someResolution.width)")
- // 输出 "The width of someResolution is 0"
你也可以访问子属性,如何VideoMode中Resolution属性的width属性:
- println("The width of someVideoMode is \(someVideoMode.resolution.width)")
- // 输出 "The width of someVideoMode is 0"
- someVideoMode.resolution.width = 12880
- println("The width of someVideoMode is now \(someVideoMode.resolution.width)")
- // 输出 "The width of someVideoMode is now 1280"
注意:与 Objective-C 语言不同的是,Swift 允许直接设置结构体属性的子属性。上面的最后一个例子,就是直接设置了someVideoMode中resolution属性的width这个子属性,以上操作并不需要从新设置resolution属性。
结构体类型的成员逐一初始化器
所有结构体都有一个自动生成的成员逐一初始化器,用于初始化新结构体实例中成员的属性。新实例中各个属性的初始值可以通过属性的名称传递到成员逐一初始化器之中:
- let vga = resolution(width:640,heigth: 480)
结构体和枚举是值类型
值类型被赋予给一个变量,常数或者本身被传递给一个函数的时候,实际上操作的是其的拷贝。在之前的章节中,我们已经大量使用了值类型。实际上,在 Swift 中,所有的基本类型:整数(Integer)、浮点数(floating-point)、布尔值(Booleans)、字符串(string)、数组(array)和字典(dictionaries),都是值类型,并且都是以结构体的形式在后台所实现。
在 Swift 中,所有的结构体和枚举都是值类型。这意味着它们的实例,以及实例中所包含的任何值类型属性,在代码中传递的时候都会被复制。
请看下面这个示例,其使用了前一个示例中Resolution结构体:
- let hd = Resolution(width: 1920,height: 1080)
- var cinema = hd
然后示例中又声明了一个名为cinema的变量,其值为之前声明的hd。因为Resolution是一个结构体,所以cinema的值其实是hd的一个拷贝副本,而不是hd本身。尽管hd和cinema有着相同的宽(width)和高(height)属性,但是在后台中,它们是两个完全不同的实例。
下面,为了符合数码影院放映的需求(2048 像素宽,1080 像素高),cinema的width属性需要作如下修改:
- cinema.width = 2048
- println("cinema is now \(cinema.width) pixels wide")
- // 输出 "cinema is now 2048 pixels wide"
- println("hd is still \(hd.width ) pixels wide")
- // 输出 "hd is still 1920 pixels wide"
枚举也遵循相同的行为准则:
- enum CompassPoint {
- case North,South,East,West
- }
- var currentDirection = CompassPoint.West
- let rememberedDirection = currentDirection
- currentDirection = .East
- if rememberDirection == .West {
- println("The remembered direction is still .West")
- }
- // 输出 "The remembered direction is still .West"
类是引用类型
与值类型不同,引用类型在被赋予到一个变量,常量或者被传递到一个函数时,操作的并不是其拷贝。因此,引用的是已存在的实例本身而不是其拷贝。请看下面这个示例,其使用了之前定义的VideoMode类:
- let tenEighty = VideoMode()
- tenEighty.resolution = hd
- tenEighty.interlaced = true
- tenEighty.name = "1080i"
- tenEighty.frameRate = 25.0
然后,tenEighty被赋予名为alsoTenEighty的新常量,同时对alsoTenEighty的帧率进行修改:
- let alsoTenEighty = tenEighty
- alsoTenEighty.frameRate = 30.0
下面,通过查看tenEighty的frameRate属性,我们会发现它正确的显示了基本VideoMode实例的新帧率,其值为30.0:
- println("The frameRate property of tenEighty is now \(tenEighty.frameRate)")
- // 输出 "The frameRate property of theEighty is now 30.0"
恒等运算符
因为类是引用类型,有可能有多个常量和变量在后台同时引用某一个类实例。(对于结构体和枚举来说,这并不成立。因为它们作值类型,在被赋予到常量,变量或者传递到函数时,总是会被拷贝。)如果能够判定两个常量或者变量是否引用同一个类实例将会很有帮助。为了达到这个目的,Swift 内建了两个恒等运算符:
- 等价于 ( === )
- 不等价于 ( !== )
以下是运用这两个运算符检测两个常量或者变量是否引用同一个实例:
- if tenEighty === alsoTenTighty {
- println("tenTighty and alsoTenEighty refer to the same Resolution instance.")
- }
- //输出 "tenEighty and alsoTenEighty refer to the same Resolution instance."
- “等价于”表示两个类类型(class type)的常量或者变量引用同一个类实例。
- “等于”表示两个实例的值“相等”或“相同”,判定时要遵照类设计者定义定义的评判标准,因此相比于“相等”,这是一种更加合适的叫法。
当你在定义你的自定义类和结构体的时候,你有义务来决定判定两个实例“相等”的标准。在章节 运算符函数(Operator Functions)中将会详细介绍实现自定义“等于”和“不等于”运算符的流程。
指针
如果你有 C,C++ 或者 Objective-C 语言的经验,那么你也许会知道这些语言使用指针来引用内存中的地址。一个 Swift 常量或者变量引用一个引用类型的实例与C语言中的指针类似,不同的是并不直接指向内存中的某个地址,而且也不要求你使用星号(*)来表明你在创建一个引用。Swift 中这些引用与其它的常量或变量的定义方式相同。类和结构体的选择
在你的代码中,你可以使用类和结构体来定义你的自定义数据类型。然而,结构体实例总是通过值传递,类实例总是通过引用传递。这意味两者适用不同的任务。当你的在考虑一个工程项目的数据构造和功能的时候,你需要决定每个数据构造是定义成类还是结构体。
按照通用的准则,当符合一条或多条以下条件时,请考虑构建结构体:
- 结构体的主要目的是用来封装少量相关简单数据值。
- 有理由预计一个结构体实例在赋值或传递时,封装的数据将会被拷贝而不是被引用。
- 任何在结构体中储存的值类型属性,也将会被拷贝,而不是被引用。
- 结构体不需要去继承另一个已存在类型的属性或者行为。
合适的结构体候选者包括:
- 几何形状的大小,封装一个width属性和height属性,两者均为Double类型。
- 一定范围内的路径,封装一个start属性和length属性,两者均为Int类型。
- 三维坐标系内一点,封装x,y和z属性,三者均为Double类型。
集合(Collection)类型的赋值和拷贝行为
Swift 中数组(Array)和字典(Dictionary)类型均以结构体的形式实现。然而当数组被赋予一个常量或变量,或被传递给一个函数或方法时,其拷贝行为与字典和其它结构体有些许不同。以下对数组和结构体的行为描述与对NSArray和NSDictionary的行为描述在本质上不同,后者是以类的形式实现,前者是以结构体的形式实现。NSArray和NSDictionary实例总是以对已有实例引用,而不是拷贝的方式被赋值和传递。
注意:以下是对于数组,字典,字符串和其它值的拷贝的描述。 在你的代码中,拷贝好像是确实是在有拷贝行为的地方产生过。然而,在Swift 的后台中,只有确有必要,实际(actual)拷贝才会被执行。Swift 管理所有的值拷贝以确保性能最优化的性能,所以你也没有必要去避免赋值以保证最优性能。(实际赋值由系统管理优化)
字典类型的赋值和拷贝行为
无论何时将一个字典实例赋给一个常量或变量,或者传递给一个函数或方法,这个字典会即会在赋值或调用发生时被拷贝。在章节 结构体和枚举是值类型中将会对此过程进行详细介绍。如果字典实例中所储存的键(keys)和/或值(values)是值类型(结构体或枚举),当赋值或调用发生时,它们都会被拷贝。相反,如果键(keys)和/或值(values)是引用类型,被拷贝的将会是引用,而不是被它们引用的类实例或函数。字典的键和值的拷贝行为与结构体所储存的属性的拷贝行为相同。
下面的示例定义了一个名为ages的字典,其中储存了四个人的名字和年龄。ages字典被赋予了一个名为copiedAges的新变量,同时ages在赋值的过程中被拷贝。赋值结束后,ages和copiedAges成为两个相互独立的字典。
- var ages = ["Peter": 23,"Wei": 35,"Anish": 65,"Katya": 19]
- var copiedAges = ages
我们可以通过改变一个字典中的年龄值(age value),检查另一个字典中所对应的值,来证明ages字典确实是被拷贝了。如果在copiedAges字典中将Peter的值设为24,那么ages字典仍然会返回修改前的值23:
- copiedAges["Peter"] = 24 println(ages["Peter"]) // 输出 "23"
数组的赋值和拷贝行为
在Swift 中,数组(Arrays)类型的赋值和拷贝行为要比字典(Dictionary)类型的复杂的多。当操作数组内容时,数组(Array)能提供接近C语言的的性能,并且拷贝行为只有在必要时才会发生。如果你将一个数组(Array)实例赋给一个变量或常量,或者将其作为参数传递给函数或方法调用,在事件发生时数组的内容不会被拷贝。相反,数组公用相同的元素序列。当你在一个数组内修改某一元素,修改结果也会在另一数组显示。
对数组来说,拷贝行为仅仅当操作有可能修改数组长度时才会发生。这种行为包括了附加(appending),插入(inserting),删除(removing)或者使用范围下标(ranged subscript)去替换这一范围内的元素。只有当数组拷贝确要发生时,数组内容的行为规则与字典中键值的相同,参见章节[集合(collection)类型的赋值与复制行为](#assignment_and_copy_behavior_for_collection_types。
下面的示例将一个整数(Int)数组赋给了一个名为a的变量,继而又被赋给了变量b和c:
- var a = [1,2,3]
- var b = a
- var c = a
- println(a[0])
- // 1
- println(b[0])
- // 1
- println(c[0]) // 1
- a[0] = 42
- println(a[0])
- // 42
- println(b[0])
- // 42
- println(c[0])
- // 42
拷贝发生后,如果再修改a中元素值的话,a将会返回与b,c不同的结果,因为后两者引用的是原来的数组:
- a.append(4)
- a[0] = 777
- println(a[0])
- // 777
- println(b[0])
- // 42
- println(c[0])
- // 42
确保数组的唯一性
在操作一个数组,或将其传递给函数以及方法调用之前是很有必要先确定这个数组是有一个唯一拷贝的。通过在数组变量上调用unshare方法来确定数组引用的唯一性。(当数组赋给常量时,不能调用unshare方法)如果一个数组被多个变量引用,在其中的一个变量上调用unshare方法,则会拷贝此数组,此时这个变量将会有属于它自己的独立数组拷贝。当数组仅被一个变量引用时,则不会有拷贝发生。
在上一个示例的最后,b和c都引用了同一个数组。此时在b上调用unshare方法则会将b变成一个唯一个拷贝:
- b.unshare()
- b[0] = -105
- println(a[0])
- // 77
- println(b[0])
- // -105
- println(c[0])
- // 42
判定两个数组是否共用相同元素
我们通过使用恒等运算符(identity operators)( === and !==)来判定两个数组或子数组共用相同的储存空间或元素。下面这个示例使用了“恒等于(identical to)” 运算符(===) 来判定b和c是否共用相同的数组元素:
- if b === c {
- println("b and c still share the same array elements.")
- } else {
- println("b and c now refer to two independent sets of array elements.")
- }
- // 输出 "b and c now refer totwo independent sets of array elements."
- if b[0...1] === b[0...1] {
- println("These two subarrays share the same elements.")
- } else {
- println("These two subarrays do not share the same elements.")
- }
- // 输出 "These two subarrays share the same elements."
强制复制数组
我们通过调用数组的copy方法进行强制显性复制。这个方法对数组进行了浅拷贝(shallow copy),并且返回一个包含此拷贝的新数组。下面这个示例中定义了一个names数组,其包含了七个人名。还定义了一个copiedNames变量,用以储存在names上调用copy方法所返回的结果:
- var names = ["Mohsen","Hilary","Justyn","Amy","Rich","Graham","Vic"]
- var copiedNames = names.copy
- copiedName[0] = "Mo"
- println(name[0])
- // 输出 "Mohsen"
注意:如果你仅需要确保你对数组的引用是唯一引用,请调用unshare方法,而不是copy方法。unshare方法仅会在确有必要时才会创建数组拷贝。copy方法会在任何时候都创建一个新的拷贝,即使引用已经是唯一引用。