iOS深入理解property之setter

前言

上一篇文章iOS深入理解property之getter了解runtime中getter实现，这篇文章是一步一步从源代码层面分析了解runtime中setter是怎么样的，揭开setter里面实现的实现细节。

runtime的setter实现

在上文中已经知道在objc-accessors.mm文件中有具体的getter实现，那么一瓢葫芦，也在objc-accessor.mm文件查看的setter实现。具体的方法实现如下:

//
void objc_setProperty(id self, SEL _cmd, ptrdiff_t offset, id newValue, BOOL atomic, signed char shouldCopy) 
{
    bool copy = (shouldCopy && shouldCopy != MUTABLE_COPY);
    bool mutableCopy = (shouldCopy == MUTABLE_COPY);
    reallySetProperty(self, _cmd, newValue, offset, atomic, copy, mutableCopy);
}
/**
原子操作且非复制修饰的属性对应的方法，类对应的属性定义如下几种
@property (atomic ,retain) id value;
@property (atomic ,strong) id value;
@property (atomic ,weak) id value;
*/
void objc_setProperty_atomic(id self, SEL _cmd, id newValue, ptrdiff_t offset)
{
    reallySetProperty(self, _cmd, newValue, offset, true, false, false);
}
/**
非原子操作且非复制修饰的属性对应的方法，类对应的属性定义如下几种
@property (nonatomic ,retain) id value;
@property (nonatomic ,strong) id value;
@property (nonatomic ,weak) id value;
*/
void objc_setProperty_nonatomic(id self, SEL _cmd, id newValue, ptrdiff_t offset)
{
    reallySetProperty(self, _cmd, newValue, offset, false, false, false);
}
/**
原子操作且复制(copy)修饰的属性对应的方法，类对应的属性定义如下几种
@property (atomic ,copy) id value;
*/
void objc_setProperty_atomic_copy(id self, SEL _cmd, id newValue, ptrdiff_t offset)
{
    reallySetProperty(self, _cmd, newValue, offset, true, true, false);
}
/**
非原子操作且复制(copy)修饰的属性对应的方法，类对应的属性定义如下几种
@property (nonatomic ,copy) id value;
*/
void objc_setProperty_nonatomic_copy(id self, SEL _cmd, id newValue, ptrdiff_t offset)
{
    reallySetProperty(self, _cmd, newValue, offset, false, true, false);
}

从上面几个函数的定义看来，已经覆盖了所有的修饰词的情况，而且从函数定义上看，strong、weak、assign和unsafe_unretained的定义并没有体现，看来是在上一层进行实现。

从以上代码可以，所有的setter对应的runtime函数，最终都是调用reallySetProperty这个runtime函数来实现，通过3个bool类型的参数来区分不同修饰符对应的实现，那么所有的实现细节都在reallySetProperty这个函数里面。

下面来看一下reallySetProperty函数的具体实现。

/**
self:隐含参数，对象消息接收者
_cmd:隐含参数，setter对应函数
newValue:需要赋值的传入
offset:属性所在指针的偏移量
atomic:是否是原子操作
copy:是否是浅拷贝
mutableCopy:是否是深拷贝
*/
static inline void reallySetProperty(id self, SEL _cmd, id newValue, ptrdiff_t offset, bool atomic, bool copy, bool mutableCopy)
{
    //偏移量是0的时候，指向对象自身，对对象自身赋值
    if (offset == 0) {
        object_setClass(self, newValue);
        return;
    }

    //定义一个oldValue对象，用于存储旧对象
    id oldValue;
    //获取对应属性的对象指针
    id *slot = (id*) ((char*)self + offset);

    if (copy) {
        //如果是浅拷贝，则将传入的新对象调用copyWithZone方法浅拷贝一份，并且赋值给newValue变量
        newValue = [newValue copyWithZone:nil];
    } else if (mutableCopy) {
        //如果是深拷贝，则将传入的新对象调用mutableCopyWithZone方法深拷贝一份，并且赋值给newValue变量
        newValue = [newValue mutableCopyWithZone:nil];
    } else {
        //如果都不是而且传入的对象与旧对象一致，则直接返回
        if (*slot == newValue) return;
        //否则，调用objc_retain函数，将newValue变量指向对象引用计数+1，并且将返回值赋值给newValue变量
        newValue = objc_retain(newValue);
    }
    
    if (!atomic) {
        //如果不是原子操作，将slot指针指向的对象引用赋值给oldValue
        oldValue = *slot;
        //且slot指针指向newValue，完成赋值操作
        *slot = newValue;
    } else {
        //如果是原子操作，则获取锁（这个获取锁的操作在上一篇了解getter的文章有详细说明了，不重复了）
        spinlock_t& slotlock = PropertyLocks[slot];
        slotlock.lock();//加锁
        oldValue = *slot;//将slot指针指向的对象引用赋值给oldValue
        *slot = newValue;//且slot指针指向newValue，完成赋值操作        
        slotlock.unlock();//解锁操作
        //因为增加了锁，线程安全
    }
    //调用objc_release函数释放oldValue所持有的对象
    objc_release(oldValue);
}

最后

在runtime这一层，可以清晰的看到了setter的内部逻辑。但是好好像还差些什么。比如strong、weak和unsafe_unretained这几个修饰词并没有体现，而且copy修饰词只是有区分了copy和mutableCopy，但是并没有copy和mutableCopy的具体逻辑，对我来说还是一个黑盒。所以，还需要继续寻根问底。需要彻底搞清楚才行。

下载了runtime源代码的工程，在majove和Xcode上能编译通过，但是运行的时候会报错。暂时还没电脑来跑起工程来截图。

最后的最后

设置好High Sierra后，终于可以验证我的理解了。
不过，调用reallySetProperty函数只会在MRC内存管理模式下的类才会调用，在ARC模式下的变量赋值，是调用objc_storeStrong函数进行赋值

MRC模式下的属性赋值