前面的文章分析了OC类的结构构体实现，了解了objc_class结构体中有几个主要成员分别是isa、superclass、cache以及bits，今天就来分析一下cache成员的作用，以及如何实现的。

classstruct.png

@interface Person : NSObject
@property (nonatomic, copy) NSString *lgName;
@property (nonatomic, strong) NSString *nickName;
- (void)sayHello;
- (void)sayCode;
- (void)sayMaster;
- (void)sayXX;
+ (void)sayHappy;
@end

@implementation Person
- (void)sayHello{
    NSLog(@"Person say : %s",__func__);
}
- (void)sayCode{
    NSLog(@"Person say : %s",__func__);
}
- (void)sayMaster{
    NSLog(@"Person say : %s",__func__);
}
- (void)sayXX{
    NSLog(@"Person say : %s",__func__);
}
+ (void)sayHappy{
    NSLog(@"Person say : %s",__func__);
}
@end
//cache_t测试代码
int main(int argc, const char * argv[]) {
    @autoreleasepool {
        // insert code here...
        Person *p  = [Person alloc];
        Class pClass = [Person class];
        [p sayHello];
        [p sayCode];
        [p sayMaster];
        NSLog(@"%@",pClass);
    }
    return 0;
}

在[p sayHello];处打断点，运行后在lldb窗口进行打印调试：

classadress.png

struct objc_class : objc_object {
    // Class ISA;
    Class superclass;
    cache_t cache;             // formerly cache pointer and vtable
    class_data_bits_t bits; 
.......
}

还是用指针偏移的方式，找到cache_t cache;所在的内存位置并打印出来。cache_t cache;之前有两个成员分别是isa和superclass，各占8字节，所以cache_t cache;的位置就是类的首地址偏移16字节，对于十六进制地址0x0000000100002298来说，就是倒数第二位加1，变成0x00000001000022a8，并把类型转换为cache_t类型，打印可以看到：

(lldb) p (cache_t*)0x00000001000022a8
(cache_t *) $1 = 0x00000001000022a8

这样就拿到了cache_t cache;成员的指针，那么想看其内部的内容就要先了解cache_t结构体的实现，找到源码打开看下：

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;
   ....省略
#elif CACHE_MASK_STORAGE == CACHE_MASK_STORAGE_LOW_4
   ....
    explicit_atomic<uintptr_t> _maskAndBuckets;
    mask_t _mask_unused;
....
#else
#error Unknown cache mask storage type.
#endif
    
#if __LP64__
    uint16_t _flags;
#endif
    uint16_t _occupied;
....
};

已经省略了很多非关键代码，可以看到cache_t的内部是比较复杂的，如何来分析他的内容呢，比较明显的是这里面的几个宏判断：

#if CACHE_MASK_STORAGE == CACHE_MASK_STORAGE_OUTLINED
....
#elif CACHE_MASK_STORAGE == CACHE_MASK_STORAGE_HIGH_16
....
#elif CACHE_MASK_STORAGE == CACHE_MASK_STORAGE_LOW_4
....
#else
#error Unknown cache mask storage type.
#endif

首先要确定我们的调试环境会走入那个分支，这个在我之前分析OC类的isa结构的文章中已经做过分析，这里就不在赘述，结论就是在MAC环境下调试会进入第一个分支，也就是#if CACHE_MASK_STORAGE == CACHE_MASK_STORAGE_OUTLINED，有了这个结论结合源码就可以知道此时我们只关心下面的两个家伙就可以了：

explicit_atomic<struct bucket_t *> _buckets;
explicit_atomic<mask_t> _mask;

这两个家伙看起来也不是什么好对付的，不过他们的声明方式很像泛型都有一个<>来指定具体类型，前面也是相同的explicit_atomic类型，那就点击explicit_atomic看下源码：

template <typename T>
struct explicit_atomic : public std::atomic<T> {
    explicit explicit_atomic(T initial) noexcept : std::atomic<T>(std::move(initial)) {}
    operator T() const = delete;
    
    T load(std::memory_order order) const noexcept {
        return std::atomic<T>::load(order);
    }
    void store(T desired, std::memory_order order) noexcept {
        std::atomic<T>::store(desired, order);
    }
    
    // Convert a normal pointer to an atomic pointer. This is a
    // somewhat dodgy thing to do, but if the atomic type is lock
    // free and the same size as the non-atomic type, we know the
    // representations are the same, and the compiler generates good
    // code.
    static explicit_atomic<T> *from_pointer(T *ptr) {
        static_assert(sizeof(explicit_atomic<T> *) == sizeof(T *),
                      "Size of atomic must match size of original");
        explicit_atomic<T> *atomic = (explicit_atomic<T> *)ptr;
        ASSERT(atomic->is_lock_free());
        return atomic;
    }
};

果然第一行就是template <typename T>，很明显是个泛型声明，这个就是C++的模板，具体的类型还是由<>中的类型决定，除此之外explicit_atomic只是对泛型T进行了方法声明，并没有其他的成员，所以对于整个explicit_atomic<struct bucket_t *> _buckets;来说，我们只关心struct bucket_t * _buckets就可以了，对于explicit_atomic<mask_t> _mask;也可以等价为mask_t _mask来看待。如果实在想弄明白explicit_atomic的作用，这里可以做一个简单的解答，由于struct cache_t结构体顾名思义是一个缓存，对于缓存来说就会有增删改查，而对数据进行增删改查操作就会牵扯到线程安全，而atomic关键字就是线程安全的作用，所以explicit_atomic<T>结构体声明的数据类型代表着他的操作是线程安全的。由于本文的重点是研究cache_t缓存的工作机制，对于explicit_atomic<T>模板泛型是怎么实现的线程安全暂不展开。
下面再来看看另外一个重点分析的对象struct bucket_t * _buckets，看看他的源码：

struct bucket_t {
private:
    // IMP-first is better for arm64e ptrauth and no worse for arm64.
    // SEL-first is better for armv7* and i386 and x86_64.
#if __arm64__
    explicit_atomic<uintptr_t> _imp;
    explicit_atomic<SEL> _sel;
#else
    explicit_atomic<SEL> _sel;
    explicit_atomic<uintptr_t> _imp;
#endif
............
};

同样的道理，这里我们只关心uintptr_t _imp和SEL _sel就好了，而外面套着的explicit_atomic就是起到线程安全的作用，这个宏判断#if __arm64__当然是区分运行环境的，可以看到真机环境和非真机环境只是两个成员的声明顺序不同。bucket本身是桶的意思，代表一个可以存放东西的工具，因此可以得知bucket_t就是存放方法实现_imp和方法编号SEL的地方。说完了bucket_t再回到struct cache_t中看看下一个成员mask_t _mask，mask顾名思义是面具的意思，之前分析isa的时候也有一个ISA_MASK，也就是掩码，再往下跳出宏判断还有两个需要关注的成员，一个是uint16_t _flags;，另外一个是uint16_t _occupied;，这些成员就是我们分析cache_t缓存机制时需要重点分析的内容：

dijinfenxi.png

//打印出cache_t的指针
(lldb) p (cache_t*)0x00000001000022a8
(cache_t *) $1 = 0x00000001000022a8
//打印cache_t指针内容
(lldb) p *$1
(cache_t) $2 = {
  _buckets = {
    std::__1::atomic<bucket_t *> = 0x000000010032e410 {
      _sel = {
        std::__1::atomic<objc_selector *> = (null)
      }
      _imp = {
        std::__1::atomic<unsigned long> = 0
      }
    }
  }
  _mask = {
    std::__1::atomic<unsigned int> = 0
  }
  _flags = 32804
  _occupied = 0
}
(lldb) 

可以看到，直接p *$1，也就是cache_t的指针，可以直接打印出cache_t的内容，可以清晰的看到里面有_buckets，它的内部还有_sel和_imp，还有_mask、_flags以及_occupied，下面就要有一些处理，看看最开始的代码，还记得最初的断点是在[p sayHello];这里，下面就让[p sayHello];这里的断点过一下，按照上面的方法在打印一次看看结果是否相同：

aftermethod.png

cannotprint.png

struct cache_t {
...........
public:
    static bucket_t *emptyBuckets();
    struct bucket_t *buckets();
..........
}

在public方法声明中，有一个buckets()方法，返回bucket_t *类型，就来试试它能否拿到我们需要的_buckets成员：

buckets.png

struct bucket_t {
.............
public:
    inline SEL sel() const { return _sel.load(memory_order::memory_order_relaxed); }
    inline IMP imp(Class cls) const{
.............
}

接着打印p $7.sel()就拿到了方法名称sayHello，再来试试打印imp(Class cls)方法：

impl.png

machoview.png