结构体
- 在Swift标准库中，绝大数的公开类型都是结构体，而枚举和类只占很小一部分
- 比如，bool、double、string、array、dictionary等常见的类型都是结构体
Demo
- 所有的结构体都是有一个编译器自动生成的初始化器（initializer，初始化方法、构造器、构造方法）
- 在第6行调用的，可以传入所有成员值，用以初始化所有成员（存储属性、stoted preoperty）
- 第6行是程序自动生成的
结构体的初始化器
- 下面系统生成4个初始化器
结构体初始化器1
结构体初始化器2
初始化为 可选类型，也是能编译通过的
- 可选类型都有一个默认值nil
可选类型初初始化器
自定义初始化器
- 一旦在自定义结构体时，自定义了初始化器，编译器就不会再帮它生成其他初始化器
自定义初始化器
窥探初始化器的本质
比较
上面的两份代码完全等效的，下面从汇编角度来分析下就知道了。
// demo 1
func testStruct() {
struct Point {
var x: Int = 0
var y: Int = 0
}
var p = Point()
}
// demo 2
func testStruct() {
struct Point {
var x: Int
var y: Int
init() {
x = 0
y = 0
}
}
var p = Point()
}
分别运行上面的两份代码，打断点进入汇编模式可以看出如下
- 第6、7行就是进行x、y的赋值
汇编
结构体的内存结构
内存结构
类
类的定义和结构体类似，但是编译器并没有为类自动生成可以传入成员值得初始化器
类只生成了一个无参数的初始化器
Point()
类和结构体
- 定义类的时间，没有初始化变量，编译器会报错
无初始化
类的初始化器
- 如果累的所有成员都在定义的时候指定了初始值，编译器会为类生成无参的初始化器
- 成员的初始化器是在这个初始化器中完成的
下面2段Demo代码是完全等效的
// demo1
class Point {
var x: Int = 10
var y: Int = 20
}
let p1 = Point()
// demo2
class Point {
var x: Int
var y: Int
init() {
x = 10
y = 20
}
}
let p2 = Point()
结构体与类的本质区别
- 结构体是值类型（枚举也是值类型），类是引用类型（指针类型）
定义了一个Size 类与一个Point结构体，并且都在函数test()中声明
定义
- 值类型，在函数里面创建的，一定在栈空间里面，所以point内存在栈空间，x，y共占用16个字节地址，
- size是类创建，是一个指针变量（在64bit中占8个字节），size指针变量的内存在栈空间，（栈空间有8个字节存放着这个指针变量0x90000），0x90000存放的就是Size对象的内存地址（在堆空间占用32个字节，
内存
值类型
- 值类型赋值给var、let或者给函数传参，是直接将所有内容拷贝一份
- 类似于对文件进行copy，paste操作，产生了全新的文件副本，属于深拷贝
demo
- p1与p2的内存空间如下图，p1与p2的内存是独立的，相互不影响
图片.png
值类型的赋值操作
- Swift中String、Array、Dictionary都是值类型
- 在Swift标准库中，为了提升性能，String、Array、Dictionary、Set采用了Copy On Write的技术（也就是，我们创建的String没有进行改变的时候）
- 比如仅当有“写”操作时，才会真正执行拷贝
- 对于标准库值类型的赋值操作，Swift能确保最佳性能，所以没必要为了保证最佳性能来避免赋值 （只有Swift标准库里，才有，自己定义的并没有这种技术）
- 建议：不需要修改的，尽量定义为let
值类型
例如
下面定义了一个变量p1，然后在重新赋新的值给p1，由于结构体是值类型，p1是变量，所以，新的值，直接改变p1里面的x、y
struct Point {
var x: Int
var y: Int
}
var p1 = Point(x: 10, y: 20)
p1 = Point(x: 11, y: 22);
赋值
引用类型
- 引用类型赋值给var、let或者给函数传参，是直接将内存地址拷贝一份
- 类似于制作一个文件的替身（快捷方式、链接），指向的是同一个文件。属于浅拷贝
demo
将s1的内存地址拷贝一份到s2中，两个地址相当于指向的同一个对内存空间
思考 若是将上面的s2.width = 11 s2.height = 22后s1的值会发生什么变化
内存分布
引用类型的赋值操作
class Size {
var width: Int
var height: Int
init(width: Int, height: Int) {
self.width = width
self.height = height
}
}
var s1 = Size(width: 10, height: 20)
s1 = Size(width: 11, height: 22)
- 总结：如果上面的s1的内存地址为
0x10000，内存数据为0x90000，那么0x90000指向的堆空间包含（指向类型信息、引用计数、10、20）
重新s1赋值后，s1的内存地址依旧为0x10000但是内存地址变化为0x80000，那么0x80000指向的堆空间包含（指向类型信息、引用计数、11、22）
s1消失，0x90000指向的堆空间 也消失
值类型、引用类型的let
比较
上图p = Ponit(x: 11, y: 22)、s = Size(width: 11, height: 22)不能改变是因为 let是常量，不能改变
p.x / p.y 不能改变是因为结构体是值类型，改变xy改变的是内存地址，所以不能改变
s.width/s.height能改变，是因为改变的是内存指向的堆空间的内容，所以能改变
枚举、结构体、类都可以定义方法
- 一般把定义在举、结构体、类内部的函数，叫做方法
方法
对象的堆空间申请过程
图片.png
嵌套类型
- 里面的结构体可能只在当前这个函数里用的到
-
定义好之后就能正常使用
嵌套类型
