1. 结构体和类对比
-
共同点,两者都可以:
- 定义属性用于存储值
- 定义方法用于提供功能
- 定义下标操作用于通过下标语法访问它们的值
- 定义构造器用于设置初始值
- 通过扩展以增加默认实现之外的功能
- 遵循协议以提供某种标准功能
- 与结构体相比,类还有如下的附加功能:
- 继承允许一个类继承另一个类的特征
- 类型转换允许在运行时检查和解释一个类实例的类型
- 析构器允许一个类实例释放任何其所被分配的资源
- 引用计数允许对一个类的多次引用
- 类支持的附加功能是以增加复杂性为代价的。
- 一般准则,优先使用结构体,因为它们更容易理解,仅在适当或必要时才使用类。
- 实际上,这意味着你的大多数自定义数据类型都会是结构体和枚举。
2. 类型定义的语法
- 通过 struct 关键字引入结构体
- 通过 class 关键字引入类
将它们的具体定义放在一对大括号中:
struct SomeStructure {
// 在这里定义结构体
}
class SomeClass {
// 在这里定义类
}
示例:
struct Resolution {
var width = 0
var height = 0
}
class VideoMode {
var resolution = Resolution()
var interlaced = false
var frameRate = 0.0
var name: String?
}
定义了一个名为 Resolution 的结构体,用来描述基于像素的分辨率。
这个结构体包含了名为 width 和 height 的两个存储属性。
存储属性是与结构体或者类绑定的,并存储在其中的常量或变量。当这两个属性被初始化为整数 0 的时候,它们会被推断为 Int 类型。
定义了一个名为 VideoMode 的类,用来描述视频显示器的某个特定视频模式。
这个类包含了四个可变的存储属性:resolution:被初始化为一个新的 Resolution 结构体的实例,属性类型被推断为 Resolution。
初始值为 false 的 interlaced(意为“非隔行视频”)
初始值为 0.0 的 frameRate
以及值为可选 String 的 name。
因为 name 是一个可选类型,它会被自动赋予一个默认值 nil,意为“没有 name 值”。
3. 结构体和类的实例
- 创建结构体和类实例的语法非常相似:
let someResolution = Resolution()
let someVideoMode = VideoMode()
通过这种方式所创建的类或者结构体实例,其属性均会被初始化为默认值。
4. 属性访问
- 使用点语法访问实例的属性。
print("The width of someResolution is \(someResolution.width)") // 打印 "The width of someResolution is 0"
- 可以访问子属性,如 VideoMode 中 resolution 属性的 width 属性:
print("The width of someVideoMode is \(someVideoMode.resolution.width)")
// 打印 "The width of someVideoMode is 0"
- 也可以使用点语法为可变属性赋值:
someVideoMode.resolution.width = 1280
print("The width of someVideoMode is now \(someVideoMode.resolution.width)")
// 打印 "The width of someVideoMode is now 1280"
5. 结构体类型的成员逐一构造器
- 所有结构体都有一个自动生成的成员逐一构造器,用于初始化新结构体实例中成员的属性。
- 新实例中各个属性的初始值可以通过属性的名称传递到成员逐一构造器之中:
let vga = Resolution(width: 640, height: 480)
与结构体不同,类实例没有默认的成员逐一构造器。
6. 结构体和枚举是值类型
值类型是这样一种类型,当它被赋值给一个变量、常量或者被传递给一个函数的时候,其值会被拷贝。
Swift 中所有的基本类型:整数(integer)、浮点数(floating-point number)、布尔值(boolean)、字符串(string)、数组(array)和字典(dictionary),都是值类型,其底层也是使用结构体实现的。
-
Swift 中所有的结构体和枚举类型都是值类型。这意味着它们的实例,以及实例中所包含的任何值类型的属性,在代码中传递的时候都会被复制。
注意: 1. 标准库定义的集合,例如数组,字典和字符串,都对复制进行了优化以降低性能成本。 2. 新集合不会立即复制,而是跟原集合共享同一份内存,共享同样的元素。 3. 在集合的某个副本要被修改前,才会复制它的元素。而你在代码中看起来就像是立即发生了复制。
let hd = Resolution(width: 1920, height: 1080)
var cinema = hd
声明了一个名为 hd 的常量,其值为一个初始化为全高清视频分辨率(1920 像素宽,1080 像素高)的 Resolution 实例。
又声明了一个名为 cinema 的变量,并将 hd 赋值给它。
因为 Resolution 是一个结构体,所以会先创建一个现有实例的副本,然后将副本赋值给 cinema 。
尽管 hd 和 cinema 有着相同的宽(width)和高(height),但是在幕后它们是两个完全不同的实例。
enum CompassPoint {
case north, south, east, west
mutating func turnNorth() {
self = .north
}
}
var currentDirection = CompassPoint.west
let rememberedDirection = currentDirection
currentDirection.turnNorth()
print("The current direction is \(currentDirection)")
print("The remembered direction is \(rememberedDirection)")
// 打印 "The current direction is north"
// 打印 "The remembered direction is west"
当 rememberedDirection 被赋予了 currentDirection 的值,实际上它被赋予的是值的一个拷贝。
赋值过程结束后再修改 currentDirection 的值并不影响 rememberedDirection 所储存的原始值的拷贝。
7. 类是引用类型
- 与值类型不同,引用类型在被赋予到一个变量、常量或者被传递到一个函数时,其值不会被拷贝。
- 因此,使用的是已存在实例的引用,而不是其拷贝。
let tenEighty = VideoMode()
tenEighty.resolution = hd
tenEighty.interlaced = true
tenEighty.name = "1080i"
tenEighty.frameRate = 25.0
let alsoTenEighty = tenEighty
alsoTenEighty.frameRate = 30.0
print("The frameRate property of tenEighty is now \(tenEighty.frameRate)") // 打印 "The frameRate property of theEighty is now 30.0"
因为类是引用类型,所以 tenEight 和 alsoTenEight 实际上引用的是同一个 VideoMode 实例,它们是同一个实例的两种叫法。
7.1 恒等运算符
- 类是引用类型,所以多个常量和变量可能在幕后同时引用同一个类实例。
- 结构体和枚举来说,这并不成立。因为它们作为值类型,在被赋予到常量、变量或者传递到函数时,其值总是会被拷贝。
- 判定两个常量或者变量是否引用同一个类实例有时很有用,Swift 提供了两个恒等运算符:
- 相同(===)
- 不相同(!==)
if tenEighty === alsoTenEighty {
print("tenEighty and alsoTenEighty refer to the same VideoMode instance.")
}
// 打印 "tenEighty and alsoTenEighty refer to the same VideoMode instance."
使用这两个运算符检测两个常量或者变量是否引用了同一个实例。
“相同”(用三个等号表示,= = =)与“等于”(用两个等号表示,= =)不同。
“相同”表示两个类类型(class type)的常量或者变量引用同一个类实例。
“等于”表示两个实例的值“相等”或“等价”。
7.2 指针
- Swift 中引用的定义方式与其它的常量或变量的一样。如果需要直接与指针交互,你可以使用标准库提供的指针和缓冲区类型。