Swift类结构探究

对于iOS开发,OC语言前端使用Clang编译器,swift语言前端使用swift编译器swiftc,这两个编译器将我们写的代码编译生成IR中间代码,后端都是通过LLVM进行优化,接着交给代码生成器生成机器语言,最终形成.o机器执行文件
在研究Swift之前,先来探究一下Swift类结构。

一、Swift类初始化

先写一段简单的代码:

class Person {
    var age: Int = 33
    var name: String = "chen"
}

let t = LGPerson()

生成SIL(Swift intermediate language)命令:swiftc -emit-sil main.swift | xcrun swift-demangle >> ./main.sil && open main.sil
xcrun swift-demangle用于还原变量,下文未用。

class Person {
  @_hasStorage @_hasInitialValue var age: Int { get set }
  @_hasStorage @_hasInitialValue var name: String { get set }
  @objc deinit
  init()
}

@_hasStorage @_hasInitialValue let t: Person { get }

// t
sil_global hidden [let] @$s4main1tAA6PersonCvp : $Person

// main
sil @main : $@convention(c) (Int32, UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>) -> Int32 {
bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>):
  alloc_global @$s4main1tAA6PersonCvp             // id: %2
  %3 = global_addr @$s4main1tAA6PersonCvp : $*Person // user: %7
  %4 = metatype $@thick Person.Type               // user: %6
  // function_ref Person.__allocating_init()
  %5 = function_ref @$s4main6PersonCACycfC : $@convention(method) (@thick Person.Type) -> @owned Person // user: %6
  %6 = apply %5(%4) : $@convention(method) (@thick Person.Type) -> @owned Person // user: %7
  store %6 to %3 : $*Person                       // id: %7
  %8 = integer_literal $Builtin.Int32, 0          // user: %9
  %9 = struct $Int32 (%8 : $Builtin.Int32)        // user: %10
  return %9 : $Int32                              // id: %10
} // end sil function 'main'
  1. @main 标识当前swift文件的入口函数,SIL标识符号名称以@作为前缀
  2. %0,%1...在SIL中也叫寄存器,类似代码中的常量,一旦赋值后不可修改。如果SIL中还要继续使用,就需要使用新的寄存器。

SIL代码解读:

alloc_global @$s4main1tAA6PersonCvp     :
@$s4main1tAA6PersonCvp反混淆出来就是Person,创建全局变量Person
%3 = global_addr @$s4main1tAA6PersonCvp : $*Person    :读取全局变量Person地址,赋值给%3
%4 = metatype $@thick Person.Type      :读取Person的Type,赋值给%4
%5 = function_ref @$s4main6PersonCACycfC       : $@convention(method) (@thick Person.Type) -> @owned Person      : 定义一个function_ref即函数,就是%5,这个函数入参是Person.Type
%6 = apply %5(%4) : $@convention(method) (@thick Person.Type) -> @owned Person   
    :调用函数%5,入参就是%4,将返回结果赋给%6
store %6 to %3 : $*Person      :将%6的结果存储到%3,%3是LGPerson的地址
%8 = integer_literal $Builtin.Int32, 0 和 %9 = struct $Int32 (%8 : $Builtin.Int32) 
     :就是构建一个Int值
return %9 : $Int32:  最终返回值

总结一下,main函数,通过Type返回了一个全局变量Person

实例化过程__allocating_init

// Person.__allocating_init()
sil hidden [exact_self_class] @$s4main6PersonCACycfC : $@convention(method) (@thick Person.Type) -> @owned Person {
// %0 "$metatype"
bb0(%0 : $@thick Person.Type):
  %1 = alloc_ref $Person                          // user: %3
  // function_ref Person.init()
  %2 = function_ref @$s4main6PersonCACycfc : $@convention(method) (@owned Person) -> @owned Person // user: %3
  %3 = apply %2(%1) : $@convention(method) (@owned Person) -> @owned Person // user: %4
  return %3 : $Person                             // id: %4
} // end sil function '$s4main6PersonCACycfC'

代码解读

%1 = alloc_ref $Person   :读取Person的alloc_ref方法地址,给%1
%2 = function_ref @$s4main6PersonCACycfc : $@convention(method) (@owned Person) -> @owned Person           : 读取Person.init()函数地址,给%2
%3 = apply %2(%1) : $@convention(method) (@owned Person) -> @owned Person // user: %4         : 调用alloc_ref创建一个Person实例对象,给%3
return %3 : $Person       :返回%3的实例对象

总结一下就是,调用alloc_refinit方法,返回对象。
init方法主要用于初始化变量,和OC中是一致的。这个过程用Swift代码会更简洁:Person() == [[Perosn alloc] init]

初始化过程,在底层是怎么实现的,通过__allocating_init断点,我们可以跟进去

swift实例对象的创建流程
__allocating_init -> swift_allocObject-> _swift_allocObject_ -> swift_slowAlloc -> malloc_zone_malloc

具体实现,参考Swift源码,最终对象会被转为HeapObject类型。

二、Swift类的结构

2.1 HeapObject结构体

HeapObject.jpg

HeapObject结构体有两个成员变量:元数据metadata引用计数refCounts,总共16字节

2.2 metadata的解析

HeapMetedata —> TargetHeapMetadata —> TargetMetadata ,他们都是struct类型TargetMetadata里面只有一个成员变量kind
通过注释getKind()找到如下代码:

  /// Get the metadata kind.
  MetadataKind getKind() const {
    return getEnumeratedMetadataKind(Kind);
  }


/// Try to translate the 'isa' value of a type/heap metadata into a value
/// of the MetadataKind enum.
inline MetadataKind getEnumeratedMetadataKind(uint64_t kind) {
  if (kind > LastEnumeratedMetadataKind)
    return MetadataKind::Class;
  return MetadataKind(kind);
}

getKind是调用getEnumeratedMetadataKind,而入参kinduint64_t类型,占8字节大小,所以元数据metadata8字节大小。
kind类型如下:

name value
Class 0x0
Struct 0x200
Enum 0x201
Optional 0x202
ForeignClass 0x203
Opaque 0x300
Tuple 0x301
Function 0x302
Existential 0x303
Metatype 0x304
ObjCClassWrapper 0x305
ExistentialMetatype 0x306
HeapLocalVariable 0x400
HeapGenericLocalVariable 0x500
ErrorObject 0x501
LastEnumerated 0x7FF

metadata的数据结构体

struct swift_class_t: NSObject{
    void *kind;//相当于OC中的isa,kind的实际类型是unsigned long。兼容oc,swift对象转换为oc时,即为isa指针。
    void *superClass;
    void *cacheData;
    void *data;
    uint32_t flags; //4字节
    uint32_t instanceAddressOffset;//4字节
    uint32_t instanceSize;//4字节
    uint16_t instanceAlignMask;//2字节
    uint16_t reserved;//2字节
    
    uint32_t classSize;//4字节
    uint32_t classAddressOffset;//4字节
    void *description;
    ...
}
2.3 refCounts

接着我们看看refCountsrefCountsInlineRefCounts类型,搜索InlineRefCounts

typedef RefCounts<InlineRefCountBits> InlineRefCounts;

InlineRefCountsRefCounts类型

RefCounts.jpg

RefCountsclass类型,确切的说,refCounts是个指针,占8字节大小

综上所述

  • swift类本质是HeapObject
  • HeapObject默认大小为16字节: metadata(struct)8字节refCounts(class)8字节
    所以,上文,Person的size应该为40字节 = age(Int)占8字节 + name(String)占16字节 + HeapObject(16字节)

验证一下

class Person {
    var age: Int = 33
    var name: String = "chen"
}

let t = Person()


print("Int32 大小: \(MemoryLayout<Int32>.size)")
print("Int64 大小: \(MemoryLayout<Int64>.size)")
print("Int 大小: \(MemoryLayout<Int>.size)")
print("Srtring 大小: \(MemoryLayout<String>.size)")

print("Person 大小: \(class_getInstanceSize(Person.self))")

打印结果是:


image.png
最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 206,968评论 6 482
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 88,601评论 2 382
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 153,220评论 0 344
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 55,416评论 1 279
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 64,425评论 5 374
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 49,144评论 1 285
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 38,432评论 3 401
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 37,088评论 0 261
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 43,586评论 1 300
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 36,028评论 2 325
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 38,137评论 1 334
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,783评论 4 324
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 39,343评论 3 307
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,333评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,559评论 1 262
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 45,595评论 2 355
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,901评论 2 345

推荐阅读更多精彩内容