天天看点

Swift-进阶 08:枚举enum

本文主要介绍enum的常见使用形式,以及枚举大小是如何计算的

通过target -> +,选择 other -> Aggregate,,然后命名为CJLScript

Swift-进阶 08:枚举enum

image

Swift-进阶 08:枚举enum

选中CJLScript,选择Build Phases -> New Run Script Phase

Swift-进阶 08:枚举enum

在Run Script中输入以下命令

然后我们就可以通过脚本自动生成SIL并自动打开啦 ✿✿ヽ(°▽°)ノ✿✿

在介绍swift中的枚举之前,首先我们来回顾下C中的枚举写法,如下所示

在swift中,枚举的创建方式如下所示,如果没有指定枚举值的类型,那么enum默认枚举值是整型的

如果此时想创建一个枚举值是String类型的enum,可以通过指定enum的枚举值的类型来创建,其中枚举值和原始值rawValue的关系为case 枚举值 = rawValue原始值

如果不想写枚举值后的字符串,也可以使用隐式RawValue分配,如下所示

注:如果enum没有声明类型,是没有rawValue属性的
Swift-进阶 08:枚举enum

枚举的访问方式如下所示

这里就有一个疑问,swift是如何做到打印 MON的?我们通过SIL文件分析

首先查看SIL文件中的enum,底层多增加了一些东西

1、给枚举值的类型,通过typealias取了一个别名RawValue

2、默认添加了一个可选类型的init方法

3、增加一个计算属性rawValue,用于获取枚举值的原始值

Swift-进阶 08:枚举enum

查看SIL中的main方法,可以得知w是通过枚举值的rawValue的get方法获取

Swift-进阶 08:枚举enum

查看SIL文件rawValue的get方法,主要有以下几步:

1、接收一个枚举值,用于匹配对应的分支

2、在对应分支创建对应的String

3、返回对应的String

Swift-进阶 08:枚举enum

结论1:使用rawValue的本质是调用get方法

但是get方法中的String是从哪里来的呢?String存储在哪里?

其实这些对应分支的字符串在编译时期就已经存储好了,即存放在Maach-O文件的__TEXT.cstring中,且是连续的内存空间,可以通过编译后查看Mach-O文件来验证

Swift-进阶 08:枚举enum

结论2:rawValue的get方法中的分支构建的字符串,主要是从Mach-O文件对应地址取出的字符串,然后再返回给w

总结

使用rawValue的本质就是在底层调用get方法,即在get方法中从Mach-O对应地址中取出字符串并返回的操作

请问下面这段代码的打印结果是什么?

虽然这两个输出的值从结果来看是没有什么区别的,虽然输出的都是MON,但并不是同一个东西

第一个输出的case枚举值

第二个是通过rawValue访问的rawValue的get方法

如果我们像下面这种写法,编译器就会报错

Swift-进阶 08:枚举enum

主要是探索枚举的init会在什么时候调用

定义一个符号断点Weak.init

Swift-进阶 08:枚举enum

定义如下代码

通过运行结果发现,都是不会走init方法的

如果是通过init方式创建enum呢?

运行结果如下

Swift-进阶 08:枚举enum

注:这个断点首先需要通过init前的一个断点 + Weak.init符号断点+init符号断点,一起配合,才能断住

总结:enum中init方法的调用是通过枚举.init(rawValue:)或者枚举(rawValue:)触发的

我们再继续来分析init方法,来看下面这段代码的打印结果是什么?

从结果中可以看出,第一个输出的可选值,第二个输出的是nil,表示没有找到对应的case枚举值。为什么会出现这样的情况呢?

首先分析SIL文件中的weak.init方法,主要有以下几步:

1、在init方法中是将所有enum的字符串从Mach-O文件中取出,依次放入数组中

2、放完后,然后调用_findStringSwitchCase方法进行匹配

Swift-进阶 08:枚举enum

其中

- index_addr 表示获取当前数组中的第n个元素值的地址,然后再把构建好的字符串放到当前地址中

在swift-source中查找_findStringSwitchCase方法,接收两个参数,分别是 数组 + 需要匹配的String

1、遍历数组,如果匹配则返回对应的index

2、如果不匹配,则返回-1

继续分析SIL中的weak.init方法

1、如果没有匹配成功,则构建一个.none类型的Optional,表示nil

2、如果匹配成功,则构建一个.some类型的Optional,表示有值

Swift-进阶 08:枚举enum

所以,这也是为什么一个打印可选值,一个打印nil的原因

CaseIterable协议通常用于没有关联值的枚举,用来访问所有的枚举值,只需要对应的枚举遵守该协议即可,然后通过allCases获取所有枚举值,如下所示

如果希望用枚举表示复杂的含义,关联更多的信息,就需要使用关联值了

例如,使用enum表达一个形状,其中有圆形、长方形等,圆形有半径,长方形有宽、高,我们可以通过下面具有关联值的enum来表示

注:具有关联值的枚举,就没有rawValue属性了,主要是因为一个case可以用一个或者多个值来表示,而rawValue只有单个的值

这一点我们也可以通过SIL文件 来验证

首先查看SIL文件,发现此时的enum中既没有别名,也没有init方法、计算属性rawValue了,简称三无枚举(个人叫法,大家随意哈)

Swift-进阶 08:枚举enum

其中关联值中radius、width、height这些都是自定义的标签,也可以不写,如下所示,但并不推荐这种方式,因为`可读性非常差

那么如何创建一个有关联值的枚举值呢?可以直接在使用时给定值来创建一个关联的枚举值

enum中的模式匹配其实就是匹配case枚举值

简单enum的模式匹配

注:swift中的enum模式匹配需要将所有情况都列举,或者使用default表示默认情况,否则会报错

查看其SIL文件,其内部是将nil放入current全局变量,然后匹配case,做对应的代码跳转

Swift-进阶 08:枚举enum

具有关联值enum的模式匹配

关联值的模式匹配主要有两种:

通过switch匹配所有case

也可以这么写,将关联值的参数使用let、var修饰

然后查看SIL中的关联值的模式匹配,如下图所示

1、首先构建一个关联值的元组

2、根据当前case枚举值,匹配对应的case,并跳转

3、取出元组中的值,将其赋值给匹配case中的参数

Swift-进阶 08:枚举enum

通过if case匹配单个case,如下所示

如果我们只关心不同case的相同关联值(即关心不同case的某一个值),需要使用同一个参数,例如案例中的x,如果分别使用x、y, 编译器会报错

也可以使用通配符_(表示匹配一切)的方式

注: 枚举使用过程中不关心某一个关联值,可以使用通配符_表示 OC只能调用swift中Int类型的枚举

枚举的嵌套主要用于以下场景:

1、【枚举嵌套枚举】一个复杂枚举是由一个或多个枚举组成

2、【结构体嵌套枚举】enum是不对外公开的,即是私有的

枚举嵌套枚举

例如,以吃鸡游戏中的方向键为例,有上下左右四个方向键,不同的组合会沿着不同的方向前进

结构体嵌套枚举

enum中只能包含计算属性、类型属性,不能包含存储属性

为什么struct中可以放存储属性,而enum不可以?

主要是因为struct中可以包含存储属性是因为其大小就是存储属性的大小。而对enum来说就是不一样的(请查阅后文的enum大小讲解),enum枚举的大小是取决于case的个数的,如果没有超过255,enum的大小就是1字节(8位)

可以在enum中定义实例方法、static修饰的方法

如果我们想要表达的enum是一个复杂的关键数据结构时,可以通过indirect关键字来让当前的enum更简洁

为什么呢?

因为enum是值类型,也就意味着他们的大小在编译时期就确定了,那么这个过程中对于当前的enum的大小是不能确定的,从系统的角度来说,不知道需要给enum分配多大的空间,以下是官方文档的解释

打印enum的大小

如果传入的类型是String呢?

Swift-进阶 08:枚举enum

从结果发现,换成其他类型,其结果依旧是8,这是为什么呢?

下面来分析其内存结构,首先需要定义一个全局变量

通过lldb分析其内存

Swift-进阶 08:枚举enum

所以indirect关键字其实就是通知编译器,我当前的enum是递归的,大小是不确定的,需要分配一块堆区的内存空间,用来存放enum

如果是end,此时存储的是case值,而case为node时存储的是引用地址

Swift-进阶 08:枚举enum

然后再通过插件来查看哪个地址在堆上,哪个地址在栈上

Swift-进阶 08:枚举enum

这一点也可以通过SIL来验证

Swift-进阶 08:枚举enum

也可以通过node的断点来验证,确实是执行了swift_allocObject

Swift-进阶 08:枚举enum

在swift中,enum非常强大,可以添加方法、添加extension

而在OC中,enum仅仅只是一个整数值

如果想将swift中的enum暴露给OC使用:

用@objc关键字标记enum

当前enum应该是Int类型

OC调用Swift的enum

Swift调用OC的enum

OC中的枚举会自动转换成swift中的enum

如果OC中是使用typedef enum定义的,自动转换成swift就成了下面这样

自动转换成swift中的如下所示,通过typedef enum定义的enum,在swift中变成了一个结构体,并遵循了两个协议:Equatable 和 RawRepresentable

Swift-进阶 08:枚举enum

如果在OC中使用typedef NS_ENUM定义枚举呢?

自动转换成swift后的结果如下

Swift-进阶 08:枚举enum

问题:OC如何访问swift中String类型的enum?

swift中的enum尽量声明成Int整型

然后OC调用时,使用的是Int整型的

enum在声明一个变量/方法,用于返回固定的字符串,用于在swift中使用

主要分析以下几种情况的大小:

1、普通enum

2、具有关联值的enum

3、enum嵌套enum

4、struct嵌套enum

在前面提及enum中不能包含存储属性,其根本在于enum的大小与Struct的计算方式是不一样的,这里我们将展开详细的分析

首先,我们先来看看下面这段代码的打印结果是什么?

如果此时增加一个 case b,此时的打印结果是什么?

如果在增加多个呢?

从结果来看,仍然是1,说明enum就是以1字节存储在内存中的,这是为什么呢?我们来分析下

断点分析

首先通过断点来分析,case分别a、b、c的情况

Swift-进阶 08:枚举enum

从断点可以看出,

case是UInt8,即1字节(8位),最大可以存储255

如果超过了255,会自动从UInt8 -> UInt16 -> UInt32 -> UInt64 ...

LLDB分析

分别定义4个全局变量tmp、tmp1、tmp2、tmp3

通过lldb查看内存情况如下,case都是1字节大小

Swift-进阶 08:枚举enum

普通enum总结

1、如果enum中有原始值,即rawValue,其大小取决于case的多少,如果没有超过UInt8即255,则就是1字节存储case

2、Int标识的其实就是 RawValue的值

3、当只有一个case的情况下,size是0,表示这个enum是没有意义的,

4、当有两个及以上case时,此时的enum是有意义的,如果没有超过255,则case的步长是1字节,如果超过,则UInt8->UInt16...,以此类推

如果enum中有关联值,其大小又是多少呢?有如下代码,打印其size和stride

说明从打印结果可以说明 enum中有关联值时,其内存大小取决于关联值的大小

enum有关联值时,关联值的大小 取 对应枚举关联值 最大的,例如circle中关联值大小是8,而rectangle中关联值大小是16,所以取16。所以enum的size = 最大关联值大小 + case(枚举值)大小 = 16 + 1 = 17,而stride由于8字节对齐,所以自动补齐到24

定义一个全局变量,观察其内存

Swift-进阶 08:枚举enum

1、具有关联值的enum大小,取决于最大case的内存大小【枚举大小的本质】

2、关联值枚举的大小 = 最大case的内存大小 + 1(case的大小)

3、size 表示 实际大小

4、stride 表示 对齐后的大小(内存空间中真实占用的大小)

从结果中说明enum嵌套enum同具有关联值的enum是一样的,同样取决于关联值的大小,其内存大小是最大关联值的大小

通过嵌套枚举定义一个全局变量

查看其内存情况如下

Swift-进阶 08:枚举enum

这里我们会有一个疑问,其中的81到底指的是什么?这里先提前剧透下:8表示 case leftDown的枚举值,1表示其中down的枚举值,下面我们来验证

在上面这个例子中,是有4个case,其case在内存中是用0、4、8、12体现的,如果是有很多个case,是否还满足我们现在这样的规律呢?

【尝试1】:在4个case的基础上增加了10个case

查看case downDown1,在内存中为0x1,即1

Swift-进阶 08:枚举enum

尝试1-1

查看case rightUp,在内存中为0xb,即11

Swift-进阶 08:枚举enum

尝试1-2

从这里可以发现case是从0、1、2....这样依次往后的顺序

【尝试2】:如果去掉其中的几种情况呢,发现case依旧是0、1、2....

Swift-进阶 08:枚举enum

尝试2

【尝试3】:当只有2个case时,发现case的枚举值是0、8

Swift-进阶 08:枚举enum

尝试3

【尝试4】:当有3个case时,发现case的枚举值是 0、4、8

Swift-进阶 08:枚举enum

尝试4

PS:至于为什么会是这样的结果,目前也没找到任何依据,后续如果有了依据,再来补充吧(有知道的童鞋,欢迎留言~)

enum嵌套enum同样取决于最大case的关联值大小

当嵌套enum的case只有2个时,case在内存中的存储是0、8

当嵌套enum的case大于2,小于等于4时,case在内存中的存储是 0、4、8、12

当嵌套enum的case大于4时,case在内存中的存储是从0、1、2...以此类推

如果只嵌套了enum,没有声明变量,结构体的大小是多少呢?

如果不仅有枚举变量,还有其他属性,结构体的大小是多少呢?

如果在增加一个Int类型的属性呢?

结论

1、如果结构体中没有其他属性,只有枚举变量,那么结构体的大小就是枚举的大小,即size为1

2、如果结构体中嵌套了enum,但是没有声明变量,此时的size是0,stride是1

3、如果结构体中还有其他属性,则按照OC中的结构体内存对齐三原则进行分析(参考iOS-底层原理 05:内存对齐原理这篇文章)

内存对齐:iOS中是8字节对齐,苹果实际分配采用16字节对齐,这种只会在分配对象时出现

字节对齐:存储属性的位置必须是偶地址,即OC内存对齐中的min(m,n),其中m表示存储的位置,n表示属性的大小,需要满足位置m整除n时,才能从该位置存放属性。简单来说,就是必须在自身的倍数位置开始

外部调用对象时,对象是服从内存对齐。

单纯从结构上说,结构内部服从最大字节对齐。

例如下面这个例子

size为12的原因是:内存从0位置开始Int是占据0-7,UInt8占据8,下一个位置是9,但是UInt16是2字节对齐的要在它的倍数位置开始所以找下一个可以整除它的位置也就是UInt16占据10-11正好整个size在0-11,所以size为12

stride为16的原因:stride是实际分配的,必须是最大属性大小的整数倍,即8的倍数,所以是16

枚举说明:

1、enum中使用rawValue的本质是调用get方法,即在get方法中从Mach-O对应地址中取出字符串并返回的操作

2、enum中init方法的调用是通过枚举.init(rawValue:)或者枚举(rawValue:)触发的

3、没有关联值的enum,如果希望获取所有枚举值,需要遵循CaseIterable协议,然后通过枚举名.allCase的方式获取

4、case枚举值和rawValue原始值的关系:case 枚举值 = rawValue原始值

5、具有关联值的枚举,可以成为三无enum,因为没有别名RawValue、init、计算属性rawValue

6、enum的模式匹配方式,主要有两种:switch / if case

7、enum可以嵌套enum,也可以在结构体中嵌套enum,表示该enum是struct私有的

8、enum中还可以包含计算属性、类型属性,但是不能包含存储属性

9、enum中可以定义实例 + static修饰的方法

枚举内存大小结论:

1、普通enum的内存大小一般是1字节,如果只有一个case,则为0,表示没有意义,如果case个数超过255,则枚举值的类型由UInt8->UInt16->UInt32...

2、具有关联值的enum大小,取决于最大case的内存大小+case的大小(1字节)

3、enum嵌套enum同样取决于最大case的关联值大小

4、结构体嵌套enum,如果没有属性,则size为0,如果只有enum属性,size为1,如果还有其他属性,则按照OC中内存对齐原则进行计算