神经病院objc runtime入院考试

2019-01-04 本文已影响0人风不会停歇

本文的题目源自2014年11月1日，sunny分享的objc runtime。

在一次看到这四个题目的时候，我居然很巧妙的避开了所有的正确答案，这让我对自己的技术水平产生了深深的怀疑。更让我感到绝望的是有些题目我居然看参考答案都无法理解！！！时隔多年，当我回过头来继续看这些题目的时候，我发现我居然能够理解了，这种能够看到自己进步的感觉，真好。由于前三道题目比较简单，而且太多的博客讲解了，在此不做细谈，重点来看第四题。

(4) 下面的代码会？Compile Error / Runtime Crash / NSLog…?
@interface Sark : NSObject
@property (nonatomic, copy) NSString *name;
@end
@implementation Sark
- (void)speak {
   NSLog(@"my name's %@", self.name);
}
@end
@implementation ViewController
- (void)viewDidLoad {
   [super viewDidLoad];
   id cls = [Sark class];
   void *obj = &cls;
   [(__bridge id)obj speak];
}
@end
答案

(4)编译运行正常，输出ViewController中的self对象。编译运行正常，调用了-speak方法，由于
id cls = [Sark class];
void *obj = &cls;
obj已经满足了构成一个objc对象的全部要求（首地址指向ClassObject），遂能够正常走消息机制；
由于这个人造的对象在栈上，而取self.name的操作本质上是self指针在内存向高位地址偏移（32位下一个指针是4字节），按viewDidLoad执行时各个变量入栈顺序从高到底为（self, _cmd, self.class, self, obj）（前两个是方法隐含入参，随后两个为super调用的两个压栈参数），遂栈低地址的obj+4取到了self。

这道题考察的重点是：

1.什么是一个OC的对象？
2.对象怎么去调用一个方法？
3.对象怎么去获取一个属性的值？

客官，坐下来喝杯茶，且听我徐徐道来。

什么是一个OC的对象?

在OC2.0中，对象的定义是：


typedef struct objc_class *Class;
typedef struct objc_object *id;

@interface Object { 
    Class isa; 
}

@interface NSObject <NSObject> {
    Class isa  OBJC_ISA_AVAILABILITY;
}

struct objc_object {
private:
    isa_t isa;
}

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
}

union isa_t 
{
    isa_t() { }
    isa_t(uintptr_t value) : bits(value) { }
    Class cls;
    uintptr_t bits;
}

可以看到我们所使用的OC对象其实是一个结构体，它里面的第一个变量就是一个指向类地址的isa指针。而且我们的类也是一个对象，他继承自objc_object。同时它的isa指针指向meta class。下面看这张经典的图。

isa指针
图中虚线表示isa指针，实线表示superclass指针。

1.Root class (class)其实就是NSObject，NSObject是没有超类的，所以Root class(class)的superclass指向nil。
2.每个Class都有一个isa指针指向自身的Meta class。
3.Root class(meta)的superclass指向Root class(class)，也就是NSObject，形成一个回路。
4.每个Meta class的isa指针都指向Root class (meta)。

这个时候再来回归我们的问题，什么是一个OC的对象?

答：一个首地址指向类地址的结构体。

注：如果还想继续深入可以参考霜神这片文章

对象怎么去调用一个方法？

上面我们说到了，每个实例对象都有一个isa指针指向类对象。
为什么要指向类对象呢？因为所有的实例方法列表都存储在类对象中，类方法存储在元类中。
当我们去调用一个实例方法时，是通过实例对象的isa找到类，然后再去寻找方法的实现。
网上有很多的文章可供参考，在此不做细谈。

对象怎么去获取一个属性的值？

我们已经知道了OC的对象其实是一个结构体，且实例对象的方法存储在类对象中，类对象和元类对象在全局中只有一份，所以实例对象的属性肯定是存储在实例对象中。

下面我们来证明：
首先：属性 = Ivar + get +set；

@interface IntClass : NSObject{
    
    @public
    int value1;
}
@end

@implementation IntClass

@end

@interface CharClass : NSObject {
    
    @public
    char value1;
    char value2;
}

@end

我们定义了两个类IntClass和CharClass，他们分别有一个int型实例变量value1和两个char型实例变量value1，value2。
接下来看我的测试代码：

    CharClass *charObject = [CharClass new];
    charObject->value1 = 1;
    charObject->value2 = 2;
    int value = ((IntClass *)charObject)->value1;

测试代码1

在这里你可以看到，我把一个CharClass的对象强转为IntClass的对象并且强制获取的他value1，没有奔溃，而且有值为513。
这个513是不是有点眼熟，刚好等于256*2+1，也就是说他去取值的时候，刚好把char类型的value2和value1的值当做了一个int类型来读取。

这个时候我们再把实例变量换成属性。

    CharClass *charObject = [CharClass new];
    charObject.value1 = 1;
    charObject.value2 = 2;
    struct object *obj = (__bridge struct object *)charObject;
    obj->isa = [IntClass class];
    int value = ((__bridge IntClass *)obj).value1;

struct object的定义如下：

struct object {

    Class isa;
};

测试代码2

你会发现结果和上面一直，但是如果你注释掉第52行代码，你会发现value的值为1。

由此我们可以得出以下结论：
1.实例变量存储在实例对象（结构体）中。
2.实例变量的获取方式为实例对象的地址+offset。
如图所示：

示意图1

因为char类型占一个字节，而一个int占4个字节。所以，当我们把isa指向IntClass或者用实例变量来强制访问IntClass的value1值时，其实是把value1和value2当做了一个整体来读取，即*(int *)(charObject+8)。注：一个指针占8个字节，Class其实是一个struct objc_class的指针。

示意图2

这个时候再回到最开始的问题，也就是sunny的考试题。

@interface Sark : NSObject
@property (nonatomic, copy) NSString *name;
@end
@implementation Sark
- (void)speak {
   NSLog(@"my name's %@", self.name);
}
@end
@implementation ViewController
- (void)viewDidLoad {
   [super viewDidLoad];
   id cls = [Sark class];
   void *obj = &cls;
   [(__bridge id)obj speak];
}
@end

很显然obj满足了一个OC的基本条件，拥有指向类对象的指针。
但是此时这个类对象有点特殊，因为他没有指向堆区，而是指向了栈区。堆是从低地址向高地址生长，而栈是从高地址向低地址生长。因此obj+8等于向栈底偏移8个单位。那么这个时候他指向了哪里呢？我们用clang命令重写看看。

示意图3

我们可以看到viewDidLoad方法中有两个隐藏参数：self，_cmd在栈底，然后是super标识符的构成，self，ViewController类。
所以此时的栈分布图如下：

示意图4

注：引用自霜神博客。

证明图如下所示：

示意图5

所以，此时的obj对象的name属性就是cls的地址再偏移8个字节，也就是刚好是self的地址。所以此时输出的是self的信息。