iOS类的结构分析

实例对象、类、元类关系图

一、实例对象、类、元类关系分析

1. 实例对象、类、元类关系图解析

我相信上面这张经典的实例对象、类、元类关系图大家都不陌生,接下来我就来分析下这张图。
新建一个FXPerson类

FXPerson *person   = [FXPerson alloc];

arm64x86_64 中掩码 ISA_MASK 定义

# if __arm64__
#   define ISA_MASK        0x0000000ffffffff8ULL
...
# elif __x86_64__
#   define ISA_MASK        0x00007ffffffffff8ULL

isa底层结构分析中我们讲过,通过isa & ISA_MSAK可以查看 isa 指向的类信息。

利用LLDB指令调试信息

x/4gx: 以16进制形式打印地址内容,读取 416 字节内容
p/x: 打印变量的十六进制格式信息
pexpression 的简写 , 并非很多同学理解的 print 哦 ,
poexpression -O ( --object-description NSObjectdescription 方法 ) 的简写,打印变量的 description 方法

(lldb) x/4gx person
0x6000000044a0: 0x001d800100003c31 0x0000000000000000
0x6000000044b0: 0x0000000000000000 0x00000000000007fb
(lldb) p/x 0x001d800100003c31 & 0x00007ffffffffff8ULL
(unsigned long long) $9 = 0x0000000100003c30
(lldb) po 0x0000000100003c30
FXPerson

(lldb) x/4gx 0x0000000100003c30
0x100003c30: 0x0000000100003c08 0x00007fff92740118
0x100003c40: 0x0000600002c30f00 0x0004801000000007
(lldb) p/x 0x0000000100003c08 & 0x00007ffffffffff8ULL
(unsigned long long) $11 = 0x0000000100003c08
(lldb) po 0x0000000100003c08
FXPerson

(lldb) x/4gx 0x0000000100003c08
0x100003c08: 0x00007fff927400f0 0x00007fff927400f0
0x100003c18: 0x0000600002c2c880 0x0003e03100000007
(lldb) p/x 0x00007fff927400f0 & 0x00007ffffffffff8ULL
(unsigned long long) $13 = 0x00007fff927400f0
(lldb) po 0x00007fff927400f0
NSObject

(lldb) x/4gx 0x00007fff927400f0
0x7fff927400f0: 0x00007fff927400f0 0x00007fff92740118
0x7fff92740100: 0x0000600003e10700 0x000ae0310000000f
(lldb) p/x 0x00007fff927400f0 & 0x00007ffffffffff8ULL
(unsigned long long) $15 = 0x00007fff927400f0
(lldb) po 0x00007fff927400f0
NSObject

(lldb) x/4gx teacher
0x600000010810: 0x001d800100003be1 0x0000000000000000
0x600000010820: 0x00007fff899ff560 0x0000000000000000
(lldb) p/x 0x001d800100003be1 & 0x00007ffffffffff8ULL
(unsigned long long) $25 = 0x0000000100003be0
(lldb) po 0x0000000100003be0
FXTeacher

(lldb) x/4gx 0x0000000100003be0
0x100003be0: 0x0000000100003bb8 0x0000000100003c30
0x100003bf0: 0x00007fff6afaa140 0x0000801000000000
(lldb) p/x 0x0000000100003bb8 & 0x00007ffffffffff8ULL
(unsigned long long) $27 = 0x0000000100003bb8
(lldb) po 0x0000000100003bb8
FXTeacher

(lldb) x/4gx 0x0000000100003bb8
0x100003bb8: 0x00007fff927400f0 0x0000000100003c08
0x100003bc8: 0x0000600002c04080 0x0003e03100000007
(lldb) p/x 0x00007fff927400f0 & 0x00007ffffffffff8ULL
(unsigned long long) $29 = 0x00007fff927400f0
(lldb) po 0x00007fff927400f0
NSObject

(lldb) x/4gx 0x00007fff927400f0
0x7fff927400f0: 0x00007fff927400f0 0x00007fff92740118
0x7fff92740100: 0x0000600003e10700 0x000ae0310000000f
(lldb) p/x 0x00007fff927400f0 & 0x00007ffffffffff8ULL
(unsigned long long) $15 = 0x00007fff927400f0
(lldb) po 0x00007fff927400f0
NSObject
  • person实例对象的 isa 指向了 FXPerson
  • FXPerson类对象的 isa 指向了 FXPerson 元类
  • FXPerson 元类对象的 isa 指向了 NSObject
  • NSObject 类对象的 isa 指向了自己
  • teacher实例对象的 isa 指向了 FXTeacher
  • FXTeacher类对象的 isa 指向了 FXTeacher 元类
  • FXTeacher 元类对象的 isa 指向了 NSObject
  • NSObject 类对象的 isa 指向了自己

我们通过LLDB指令调试得到的结论与上图不谋而合,验证完毕!

2.元类的说明

下面来解释什么是 元类 ,主要有以下几点说明:

  • 我们都知道 对象的 isa 是指向类,类的其实也是一个对象,可以称为类对象,其 isa 的位域指向苹果定义的 元类

  • 元类 是系统给的,其定义和创建都是由编译器完成,在这个过程中,类的归属来自于 元类

  • 元类类对象 的类,每个类都有一个独一无二的 元类 用来存储 类方法 的相关信息。

  • 元类 本身是没有名称的,由于与类相关联,所以使用了同类名一样的名称

二、类的结构定义

我们在isa底层结构分析中讲过生成 cpp 文件的指令。从 cpp 文件中我们可以看到如下这行代码:

typedef struct objc_class *Class;

由此可以得出一个结论,Class 是一个 objc_class 的结构体指针,接着,我们需要到 objc源码 探索一下 objc_class 的结构。

typedef struct objc_class *Class;
typedef struct objc_object *id;
struct objc_class : objc_object {
    // Class ISA;
    Class superclass;
    cache_t cache;             // formerly cache pointer and vtable
    class_data_bits_t bits;    // class_rw_t * plus custom rr/alloc flags
    class_rw_t *data() const {
        return bits.data();
    }
    ...
}
struct objc_object {
private:
    isa_t isa;
public:
    // ISA() assumes this is NOT a tagged pointer object
    Class ISA();
    ...
}

objc源码 中我们可以看到,我们的类 Classobjc_class 类型的, objc_class 类型继承自 objc_object 类型,objc_object 类型有一个 isa 的成员变量。objc_class 结构体是继承自 objc_object 结构体,自然也就有一个 isa 的成员变量,这是爹给的,并且objc_class 结构体的 isa 是指向父类 objc_object 结构体的,这也就说明了类也是一种类对象。

【百度面试题】objc_object 与 对象的关系

所有的 对象 都是以 objc_object 为模板继承过来的

所有的 对象 是 来自 NSObject(OC) ,但是真正到底层的 是一个 objc_object(C/C++)的结构体类型

【总结】 objc_object对象的关系 是 继承关系

总结

所有的 对象 + 类 + 元类 都有 isa属性

所有的 对象 都是由 objc_object 继承来的

简单概括就是万物皆 对象,万物皆来源于 objc_object,有以下两点结论:

所有以 objc_object 为模板 创建的 对象,都有 isa属性

所有以 objc_class 为模板,创建的 ,都有 isa属性

在结构层面可以通俗的理解为 上层OC底层 的对接:

下层 是通过 结构体 定义的 模板 ,例如 objc_class、objc_object
上层 是通过 底层模板 创建的 一些类型,例如 FXLPerson

其中 objc_objectobjc_class 关系图如下:

objc_object和objc_class关系图.png

三、内存偏移

在探究类的属性方法分析之前,先补充一下内存偏移的概念,主要是为了更好理解后面的类的结构体。

int c[4] = {1,2,3};           // 这里先定义一个int数组 c
int *d   = c;                   // 然后定义一个指针d指向 c
NSLog(@"%p - %p - %p",&c,&c[0],&c[1]);
NSLog(@"%p - %p - %p",d,d+1,d+2);
打印结果:0x7ffeefbff4a0 - 0x7ffeefbff4a0 - 0x7ffeefbff4a4 - 0x7ffeefbff4a8
打印结果:                 0x7ffeefbff4a0 - 0x7ffeefbff4a4 - 0x7ffeefbff4a8
看这里我们会发现 数组c 的地址 和 c[0] 是同一个地址, 而指针d也是等于 数组c的首地址
并且通过指针d+1,d+2 也能找到数组相应的元素,所以说通过指针偏移可以指向接下来连续的内存地址。 

四、类的属性和方法分析

1. objc_class分析

上面我们知道了类的结构是什么样的,那么类里面具体都包含了一些什么内容呢,下面我们就来分析一下 objc_class

struct objc_class : objc_object {
    // Class ISA;
    Class superclass;
    cache_t cache;             // formerly cache pointer and vtable
    class_data_bits_t bits;    // class_rw_t * plus custom rr/alloc flags
    class_rw_t *data() const {
        return bits.data();
    }
    ...
}

1.1 第一个属性 Class ISA 被注释掉的,意思就是从父类继承过来的,我们进入 objc_object 里面可以看到,占用8个字节。

struct objc_object {
private:
    isa_t isa;
    ...
}

1.2 第二个属性 Class superclass 父类,是一个指针,占用8个字节。

typedef struct objc_class *Class;

1.3 第三个属性cache_t cache一个结构体,占16个字节。

struct cache_t {
#if CACHE_MASK_STORAGE == CACHE_MASK_STORAGE_OUTLINED
    explicit_atomic<struct bucket_t *> _buckets;
    explicit_atomic<mask_t> _mask;
#elif CACHE_MASK_STORAGE == CACHE_MASK_STORAGE_HIGH_16
    explicit_atomic<uintptr_t> _maskAndBuckets;
    mask_t _mask_unused;
    
    // How much the mask is shifted by.
    static constexpr uintptr_t maskShift = 48;
    ... 都是静态变量,不计入结构体大小
#elif CACHE_MASK_STORAGE == CACHE_MASK_STORAGE_LOW_4
    // _maskAndBuckets stores the mask shift in the low 4 bits, and
    // the buckets pointer in the remainder of the value. The mask
    // shift is the value where (0xffff >> shift) produces the correct
    // mask. This is equal to 16 - log2(cache_size).
    explicit_atomic<uintptr_t> _maskAndBuckets;
    mask_t _mask_unused;

    static constexpr uintptr_t maskBits = 4;
   ... 都是静态变量,不计入结构体大小
#else
#error Unknown cache mask storage type.
#endif
    
#if __LP64__
    uint16_t _flags;
#endif
    uint16_t _occupied;
    ...都是方法和静态变量,不计入结构体大小
}

现在可以看到结构体就只剩下4个成员变量:_buckets、_mask、_flags、_occupied。
①. _buckets:指针类型占8个字节
②. _mask:uint32_t类型,4个字节

#if __LP64__
typedef uint32_t mask_t;  // x86_64 & arm64 asm are less efficient with 16-bits
#else
typedef uint16_t mask_t;
#endif
typedef unsigned int uint32_t;

③. _flags:uint16_t类型,2个字节

typedef unsigned short uint16_t;

④. _occupied:uint16_t类型,2个字节

C OC 32位 64位
bool BOOL(64位) 1 1
signed char (__signed char)in8_t、BOOL(32位) 1 1
unsigned char Boolean 1 1
short int16_t 2 2
unsigned short unichar 2 2
int int32_t NSInterger(32位)、boolean_t(32位) 4 4
unsigned int boolean_t(64位)、NSInterger(32位) 4 4
long NSInterger(64位) 4 8
unsigned long NSInterger(64位) 4 8
long long int64_t 8 8
float CGFloat(32位) 4 4
double CGFloat(64位) 8 8

1.4 第四个属性class_data_bits_t bits,是一个结构体,结构体 bits 有一个方法 bits.data() ,我们可以看到方法 data()class_rw_t 类型的,查看 class_rw_t 类型,我们会发现我们要找的属性和方法就在里面

struct class_rw_t {
    ...
    const method_array_t methods() const {
        auto v = get_ro_or_rwe();
        if (v.is<class_rw_ext_t *>()) {
            return v.get<class_rw_ext_t *>()->methods;
        } else {
            return method_array_t{v.get<const class_ro_t *>()->baseMethods()};
        }
    }

    const property_array_t properties() const {
        auto v = get_ro_or_rwe();
        if (v.is<class_rw_ext_t *>()) {
            return v.get<class_rw_ext_t *>()->properties;
        } else {
            return property_array_t{v.get<const class_ro_t *>()->baseProperties};
        }
    }

    const protocol_array_t protocols() const {
        auto v = get_ro_or_rwe();
        if (v.is<class_rw_ext_t *>()) {
            return v.get<class_rw_ext_t *>()->protocols;
        } else {
            return protocol_array_t{v.get<const class_ro_t *>()->baseProtocols};
        }
    }
};
2. 类属性方法分析

下面我们就针对下面的代码进行LLDB调试

@interface FXPerson : NSObject

@property (nonatomic,copy) NSString *name;     // XuPengfei
@property (nonatomic,copy) NSString *nickName; // FX
@property (nonatomic) int height; // 180

- (void)sayHello;

+ (void)sayBye;

@end
FXPerson *person = [[FXPerson alloc] init];
person.name     = @"XuPengfei";
person.nickName  = @"FX";
person.height    = 180;

2.1 打印FXPerson类信息

(lldb) x/4gx FXPerson.class
0x1000022b0: 0x0000000100002288 0x0000000100334140
0x1000022c0: 0x00000001038be0d0 0x0001802c00000007

2.21. objc_class分析里面已经分析过类信息结构为Class ISA、Class superclass、cache_t cache、class_data_bits_t bits;并且Class ISA、Class superclass、cache_t cache的大小分别为8、8、16字节,所以类信息的首地址 8 + 8 + 16 = 32 个字节就可以得到 class_data_bits_t 类型的 bits 信息。(0x1000022b0 + 0x20(32bit) = 0x1000022d0

(lldb) p (class_data_bits_t *)0x1000022d0
(class_data_bits_t *) $1 = 0x00000001000022d0

2.3 接下来我们打印 bits.data() 信息。

(lldb) p $1->data()
(class_rw_t *) $2 = 0x00000001038bdd00
(lldb) p *$2
(class_rw_t) $3 = {
  flags = 2148007936
  witness = 1
  ro_or_rw_ext = {
    std::__1::atomic<unsigned long> = 4294975648
  }
  firstSubclass = nil
  nextSiblingClass = NSUUID
}

2.41.4 class_data_bits_t bits 中我们分析过 bits.data()class_rw_t 类型, class_rw_t 类型有methods()、properties()、protocols() 等成员变量,我们可以打印 properties() 信息

(lldb) p $3.properties()
(const property_array_t) $4 = {
  list_array_tt<property_t, property_list_t> = {
     = {
      list = 0x0000000100002218
      arrayAndFlag = 4294976024
    }
  }
}
(lldb) p $4.list
(property_list_t *const) $5 = 0x0000000100002218
(lldb) p *$5
(property_list_t) $6 = {
  entsize_list_tt<property_t, property_list_t, 0> = {
    entsizeAndFlags = 16
    count = 3
    first = (name = "name", attributes = "T@\"NSString\",C,N,V_name")
  }
}
(lldb) p $6.get(0)
(property_t) $7 = (name = "name", attributes = "T@\"NSString\",C,N,V_name")
(lldb) p $6.get(1)
(property_t) $8 = (name = "nickName", attributes = "T@\"NSString\",C,N,V_nickName")
(lldb) p $6.get(2)
(property_t) $9 = (name = "height", attributes = "Ti,N,V_height")
(lldb) p $6.get(3) // 获取第4个属性,报错:数组越界
Assertion failed: (i < count), function get, file /Users/xxx/xxx, line 438.

2.5 接下来我们查看 methods() 信息

(lldb) p $3.methods()
(const method_array_t) $10 = {
  list_array_tt<method_t, method_list_t> = {
     = {
      list = 0x00000001000020e8
      arrayAndFlag = 4294975720
    }
  }
}
(lldb) p $10.list
(method_list_t *const) $11 = 0x00000001000020e8
(lldb) p *$11
(method_list_t) $12 = {
  entsize_list_tt<method_t, method_list_t, 3> = {
    entsizeAndFlags = 26
    count = 8
    first = {
      name = "sayHello"
      types = 0x0000000100000f6a "v16@0:8"
      imp = 0x0000000100000cb0 (KCObjc`-[FXPerson sayHello])
    }
  }
}
(lldb) p $12.get(0)
(method_t) $13 = {
  name = "sayHello"
  types = 0x0000000100000f6a "v16@0:8"
  imp = 0x0000000100000cb0 (KCObjc`-[FXPerson sayHello])
}
(lldb) p $12.get(1)
(method_t) $14 = {
  name = ".cxx_destruct"
  types = 0x0000000100000f6a "v16@0:8"
  imp = 0x0000000100000dc0 (KCObjc`-[FXPerson .cxx_destruct])
}
(lldb) p $12.get(2)
(method_t) $15 = {
  name = "name"
  types = 0x0000000100000f80 "@16@0:8"
  imp = 0x0000000100000cc0 (KCObjc`-[FXPerson name])
}
(lldb) p $12.get(3)
(method_t) $16 = {
  name = "height"
  types = 0x0000000100000f93 "i16@0:8"
  imp = 0x0000000100000d80 (KCObjc`-[FXPerson height])
}
(lldb) p $12.get(4)
(method_t) $17 = {
  name = "setName:"
  types = 0x0000000100000f88 "v24@0:8@16"
  imp = 0x0000000100000cf0 (KCObjc`-[FXPerson setName:])
}
(lldb) p $12.get(5)
(method_t) $18 = {
  name = "setHeight:"
  types = 0x0000000100000f9b "v20@0:8i16"
  imp = 0x0000000100000da0 (KCObjc`-[FXPerson setHeight:])
}
(lldb) p $12.get(6)
(method_t) $19 = {
  name = "setNickName:"
  types = 0x0000000100000f88 "v24@0:8@16"
  imp = 0x0000000100000d50 (KCObjc`-[FXPerson setNickName:])
}
(lldb) p $12.get(7)
(method_t) $20 = {
  name = "nickName"
  types = 0x0000000100000f80 "@16@0:8"
  imp = 0x0000000100000d20 (KCObjc`-[FXPerson nickName])
}
(lldb) p $12.get(8) // 报错:数组越界
Assertion failed: (i < count), function get, file /Users/xxx/xxx

2.6 问题来了,我们不是还有 类方法 没有打印吗?为什么会报数组越界的错误呢?很简单,前面我们已经说过,每个 都有一个独一无二的 元类 ,用来存储 类方法。我们在一、实例对象、类、元类关系分析已经分析过,类对象isa指针 指向 类对象元类 。所以 元类 的首地址 8 + 8 + 16 = 32 个字节就可以得到 元类class_data_bits_t 类型的 bits 信息。

(lldb) p (class_data_bits_t *)0x00000001000022a8
(class_data_bits_t *) $21 = 0x00000001000022a8

2.7 接下来我们打印 元类bits.data() 信息。

lldb)  p $21->data()
(class_rw_t *) $22 = 0x00000001038bdce0
(lldb) p *$22
(class_rw_t) $23 = {
  flags = 2684878849
  witness = 1
  ro_or_rw_ext = {
    std::__1::atomic<unsigned long> = 4294975544
  }
  firstSubclass = nil
  nextSiblingClass = 0x00007fff88e04cd8
}

2.8 接下来我们查看 元类methods() 信息

(const method_array_t) $24 = {
  list_array_tt<method_t, method_list_t> = {
     = {
      list = 0x0000000100002080
      arrayAndFlag = 4294975616
    }
  }
}
(lldb) p $24.list
(method_list_t *const) $25 = 0x0000000100002080
(lldb) p *$25
(method_list_t) $26 = {
  entsize_list_tt<method_t, method_list_t, 3> = {
    entsizeAndFlags = 26
    count = 1
    first = {
      name = "sayBye"
      types = 0x0000000100000f6a "v16@0:8"
      imp = 0x0000000100000ca0 (KCObjc`+[FXPerson sayBye])
    }
  }
}
(lldb) p $26.get(0)
(method_t) $27 = {
  name = "sayBye"
  types = 0x0000000100000f6a "v16@0:8"
  imp = 0x0000000100000ca0 (KCObjc`+[FXPerson sayBye])
}
(lldb) p $26.get(1) // 数组越界,因为我们只有1个类方法,合情合理
Assertion failed: (i < count), function get, file /Users/xxx/xxx
最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 217,084评论 6 503
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 92,623评论 3 392
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 163,450评论 0 353
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 58,322评论 1 293
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 67,370评论 6 390
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 51,274评论 1 300
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 40,126评论 3 418
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 38,980评论 0 275
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 45,414评论 1 313
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 37,599评论 3 334
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 39,773评论 1 348
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 35,470评论 5 344
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 41,080评论 3 327
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 31,713评论 0 22
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,852评论 1 269
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 47,865评论 2 370
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 44,689评论 2 354