AI 助理
备案控制台
开发者社区 开发与运维 文章 正文

iOS-底层原理 19：类扩展 与 关联对象 底层原理探索

2022-05-19 131
版权
版权声明：
本文内容由阿里云实名注册用户自发贡献，版权归原作者所有，阿里云开发者社区不拥有其著作权，亦不承担相应法律责任。具体规则请查看《 阿里云开发者社区用户服务协议》和 《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容，填写 侵权投诉表单进行举报，一经查实，本社区将立刻删除涉嫌侵权内容。
简介： iOS-底层原理 19：类扩展 与 关联对象 底层原理探索

本文的主要目的是针对类的加载的一个扩展，主要讲讲类拓展和分类的底层实现原理


【面试题】类扩展 与 分类 的区别

1、category 类别、分类


  • 专门用来给类添加新的方法
  • 不能给类添加成员属性，添加了成员属性，也无法取到
  • 注意：其实可以通过runtime 给分类添加属性，即属性关联，重写setter、getter方法
  • 分类中用@property 定义变量，只会生成变量的setter、getter方法的声明，不能生成方法实现 和 带下划线的成员变量


2、extension 类扩展


  • 可以说成是特殊的分类 ，也可称作 匿名分类
  • 可以给类添加成员属性，但是是私有变量
  • 可以给类添加方法，也是私有方法


类扩展 底层原理探索

类的扩展有两种创建方式


  • 直接在类中书写：永远在声明之后，在实现之前（需要在.m文件中书写）
  • 通过 command+N 新建 -> Objective-C File -> 选择Extension

image.png


类扩展的的本质

通过clang底层编译

  • 写一个类扩展

image.png

通过clang -rewrite-objc main.mm -o main.cpp命令生成cpp文件，打开cpp文件，搜索ext_name属性

image.png

查看 LGTeacher 类拓展的方法，在编译过程中，方法就直接添加到了 methodlist中，作为类的一部分，即编译时期直接添加到本类里面

image.png


通过源码调试探索

  • 创建LGPerson+LGEXT.h即类的扩展，并声明两个方法
    image.png

在LGperon.m中实现这两个方法

image.png

运行objc源码程序，在readClass中断住，查看kc_ro

image.png

  • p kc_ro->baseMethodList
  • p $0->get(0) ~ p $0->get(10)

image.png


总结

  • 类的扩展 在编译器 会作为类的一部分，和类一起编译进来
  • 类的扩展只是声明，依赖于当前的主类，没有.m文件，可以理解为一个·h文件


分类关联对象 底层原理探索

其底层原理的实现，主要分为两部分：


  • 通过objc_setAssociatedObject设值流程
  • 通过objc_getAssociatedObject取值流程


关联对象-设值流程

  • 在分类LG中重写属性cate_name的set、get方法，通过runtime的属性关联方法实现

image.png

运行程序，断点断在main中cate_name赋值处

image.png

继续往下运行，断在分类的setCate_name方法中

image.png

其中objc_setAssociatedObject方法有四个参数，分别表示：


  • 参数1：要关联的对象，即给谁添加关联属性
  • 参数2：标识符，方便下次查找
  • 参数3：value
  • 参数4：属性的策略，即nonatomic、atomic、assign等，如下所示

image.png

进入objc_setAssociatedObject源码实现


  • 这种设计模式属于是接口模式，对外的接口不变，内部的逻辑变化不影响外部的调用， 类似于set方法的底层源码实现
    image.png

进入get方法实现，其中 ChainedHookFunction是一个函数指针

image.png


进入SetAssocHook，其底层实现是_base_objc_setAssociatedObject，类型是ChainedHookFunction

image.png

所以可以理解为SetAssocHook.get()等价于_base_objc_setAssociatedObject

void
objc_setAssociatedObject(id object, const void *key, id value, objc_AssociationPolicy policy)
{
    SetAssocHook.get()(object, key, value, policy);//接口模式，对外接口始终不变
}
👇等价于
void
objc_setAssociatedObject(id object, const void *key, id value, objc_AssociationPolicy policy)
{
    _base_objc_setAssociatedObject(object, key, value, policy);//接口模式，对外接口始终不变
}

进入_base_objc_setAssociatedObject源码实现：_base_objc_setAssociatedObject -> _object_set_associative_reference，通过断点调试，确实会来到这里

image.png


_object_set_associative_reference 方法

进入_object_set_associative_reference源码实现

关于关联对象 底层原理的探索 主要是看value存到了哪里， 以及如何取出value ，以下是源码

void
_object_set_associative_reference(id object, const void *key, id value, uintptr_t policy)
{
    // This code used to work when nil was passed for object and key. Some code
    // probably relies on that to not crash. Check and handle it explicitly.
    // rdar://problem/44094390
    if (!object && !value) return;
    if (object->getIsa()->forbidsAssociatedObjects())
        _objc_fatal("objc_setAssociatedObject called on instance (%p) of class %s which does not allow associated objects", object, object_getClassName(object));
    //object封装成一个数组结构类型，类型为DisguisedPtr
    DisguisedPtr<objc_object> disguised{(objc_object *)object};//相当于包装了一下 对象object,便于使用
    // 包装一下 policy - value
    ObjcAssociation association{policy, value};
    // retain the new value (if any) outside the lock.
    association.acquireValue();//根据策略类型进行处理
    //局部作用域空间
    {
        //初始化manager变量，相当于自动调用AssociationsManager的析构函数进行初始化
        AssociationsManager manager;//并不是全场唯一，构造函数中加锁只是为了避免重复创建，在这里是可以初始化多个AssociationsManager变量的
        AssociationsHashMap &associations(manager.get());//AssociationsHashMap 全场唯一
        if (value) {
            auto refs_result = associations.try_emplace(disguised, ObjectAssociationMap{});//返回的结果是一个类对
            if (refs_result.second) {//判断第二个存不存在，即bool值是否为true
                /* it's the first association we make 第一次建立关联*/
                object->setHasAssociatedObjects();//nonpointerIsa ，标记位true
            }
            /* establish or replace the association 建立或者替换关联*/
            auto &refs = refs_result.first->second; //得到一个空的桶子，找到引用对象类型,即第一个元素的second值
            auto result = refs.try_emplace(key, std::move(association));//查找当前的key是否有association关联对象
            if (!result.second) {//如果结果不存在
                association.swap(result.first->second);
            }
        } else {//如果传的是空值，则移除关联，相当于移除
            auto refs_it = associations.find(disguised);
            if (refs_it != associations.end()) {
                auto &refs = refs_it->second;
                auto it = refs.find(key);
                if (it != refs.end()) {
                    association.swap(it->second);
                    refs.erase(it);
                    if (refs.size() == 0) {
                        associations.erase(refs_it);
                    }
                }
            }
        }
    }
    // release the old value (outside of the lock).
    association.releaseHeldValue();//释放
}


通过源码可知，主要分为以下几部分：


  • 1：创建一个 AssociationsManager 管理类
  • 2：获取唯一的全局静态哈希Map：AssociationsHashMap
  • 3：判断是否插入的关联值value是否存在
  • 3.1：存在走第4步
  • 3.2：不存在就走 : 关联对象-插入空流程
  • 4：通过try_emplace方法，并创建一个空的 ObjectAssociationMap 去取查询的键值对：
  • 5：如果发现没有这个 key 就插入一个 空的 BucketT进去并返回true
  • 6：通过setHasAssociatedObjects方法标记对象存在关联对象即置isa指针的has_assoc属性为true
  • 7：用当前 policy 和 value 组成了一个 ObjcAssociation 替换原来 BucketT 中的空
  • 8：标记一下 ObjectAssociationMap 的第一次为 false


设置流程 源码调试


  • 定义AssociationsManager类型的变量，相当于自动调用AssociationsManager的析构函数进行初始化


  • 加锁lock，并不代表 唯一，只是为了避免多线程重复创建，其实在外面是可以定义多个AssociationsManager manager;的


  • 定义AssociationsHashMap类型的哈希map，这个全场唯一的，从哪里可以体现呢？
  • 通过_mapStorage.get()生成哈希map，其中_mapStorage是一个静态变量，所以 哈希map 永远是通过静态变量获取出来的，所以是全场唯一的

image.png

通过调试，可以查看 目前的数据结构


  • p disguised :其中的value是来自object 还原出来的
  • p association
  • p manager
  • p associations :目前的associations为0x0,表示还没有查找到相应的递归查找域中

image.png

走到局部作用域的if判断，此时的 value是有值的，为KC

image.png

如果传入的value是空值，走到局部作用域的else流程，通过源码可知，相当于移除关联

image.png

继续往下执行，查看 refs_result -- p refs_result，其中的类型数据非常多，可以进行拆解查看


  • associations调用try_emplace方法，传入一个对象disguised 和 一个空的关联mapObjectAssociationMap{}

image.png

//pair -- 表示有键值对
(std::__1::pair<
 objc::DenseMapIterator<DisguisedPtr<objc_object>,
 objc::DenseMap<const void *, objc::ObjcAssociation, objc::DenseMapValueInfo<objc::ObjcAssociation>, objc::DenseMapInfo<const void *>, objc::detail::DenseMapPair<const void *, objc::ObjcAssociation> >,
 objc::DenseMapValueInfo<objc::DenseMap<const void *, objc::ObjcAssociation, objc::DenseMapValueInfo<objc::ObjcAssociation>, objc::DenseMapInfo<const void *>, objc::detail::DenseMapPair<const void *, objc::ObjcAssociation> > >,
 objc::DenseMapInfo<DisguisedPtr<objc_object> >,
 objc::detail::DenseMapPair<DisguisedPtr<objc_object>, objc::DenseMap<const void *, objc::ObjcAssociation, objc::DenseMapValueInfo<objc::ObjcAssociation>, objc::DenseMapInfo<const void *>, objc::detail::DenseMapPair<const void *, objc::ObjcAssociation> > >,
 false>,
 bool>)
//可以简写为
(std::__1::pair<
 objc
bool>)

进入try_emplace方法的源码实现


  • 有两个返回，都是通过std::make_pair生成相应的键值对
  • 通过LookupBucketFor方法查找桶子，如果map中已经存在，则直接返回，其中make_pair的第二个参数bool值为false
  • 如果没有找到，则通过InsertIntoBucket插入map，其中make_pair的第二个参数bool值为true

image.png进入LookupBucketFor源码，有两个同名方法，其中第二个方法属于重载函数，区别于第一个的是第二个参数没有const修饰，通过调试可知，外部的调用是调用的第二个重载函数，而第二个LookupBucketFor方法，内部的实现是调用第一个LookupBucketFor方法

image.png

第一个LookupBucketFor方法源码实现

image.png

第二个LookupBucketFor方法的源码实现

image.png

断点运行至try_emplace方法中的获取bucket部分TheBucket = InsertIntoBucket(TheBucket, Key, std::forward(Args)...);


p TheBucket

image.png

其中TheBucket的类型与 refs_result中属性的类型是一致

image.png

进入if (refs_result.second)的if流程，通过setHasAssociatedObjects将 nonpointerIsa 的has_assoc标记为 true

image.png

继续往下执行，查看refs


  • p refs,执行try_emplace前查看
  • p refs,执行try_emplace后查看
    image.png

第一次执行try_emplace插入的是一个空桶，还没有值，第二次执行第一次执行try_emplace才插入值，即往空桶中插入ObjectAssociationMap（value，policy），返回true，可以通过调试验证


image.png

p result.second ,返回的true，到此就将属性与value关联上了

image.png

所以，关联对象的设值图示如下，有点类似于cache_t中的insert方法插入sel-imp的逻辑，如下图所示

image.png


属性关联涉及的哈希map结构


所以到目前为止，关联属性涉及的map结构如下

image.png

哈希map结构


  • AssociationsManager可以有多个，通过AssociationsManagerLock锁可以得到一个AssociationsHashMap类型的map
  • map中有很多的关联对象map，类型是ObjectAssociationMap，其中key为DisguisedPtr<objc_object>，例如LGPerson会对应一个ObjectAssociationMap，LGTeacher也会对应一个ObjectAssociationMap
typedef DenseMap<DisguisedPtr<objc_object>, ObjectAssociationMap> AssociationsHashMap;

ObjectAssociationMap哈希表中有很多key-value键值对，其中key的类型为const void *，其实这个key从底层这个方法_object_set_associative_reference(id object, const void *key, id value, uintptr_t policy)的参数就可以看出，key是我们关联属性时设置的字符串，value的类型为ObjcAssociation

typedef DenseMap<const void *, ObjcAssociation> ObjectAssociationMap;

中ObjcAssociation是用于包装policy和value的一个类

image.png


对象插入空流程

根据源码可知，主要是局部作用域中的else流程，其实这个流程可以通俗的理解为当传入的value为nil时，则移除关联，主要分为以下几步：

image.png

  • 1、根据 DisguisedPtr 找到 AssociationsHashMap 中的 iterator 迭代查询器
  • 2、清理迭代器
  • 3、其实如果插入空置 相当于清除


关联对象-取值流程

  • main中 打印person.cate_name的值，断点来到分类中重写的属性get方法

image.png

进入objc_getAssociatedObject源码实现

image.png


_object_get_associative_reference方法

其源码实现如下：

id
_object_get_associative_reference(id object, const void *key)
{
    ObjcAssociation association{};//创建空的关联对象
    {
        AssociationsManager manager;//创建一个AssociationsManager管理类
        AssociationsHashMap &associations(manager.get());//获取全局唯一的静态哈希map
        AssociationsHashMap::iterator i = associations.find((objc_object *)object);//找到迭代器，即获取buckets
        if (i != associations.end()) {//如果这个迭代查询器不是最后一个 获取
            ObjectAssociationMap &refs = i->second; //找到ObjectAssociationMap的迭代查询器获取一个经过属性修饰符修饰的value
            ObjectAssociationMap::iterator j = refs.find(key);//根据key查找ObjectAssociationMap，即获取bucket
            if (j != refs.end()) {
                association = j->second;//获取ObjcAssociation
                association.retainReturnedValue();
            }
        }
    }
    return association.autoreleaseReturnedValue();//返回value
}

通过源码可知，主要分为以下几部分


  • 1：创建一个 AssociationsManager 管理类
  • 2：获取唯一的全局静态哈希Map：AssociationsHashMap
  • 3：通过find方法根据 DisguisedPtr 找到 AssociationsHashMap 中的 iterator 迭代查询器
  • 4：如果这个迭代查询器不是最后一个 获取 : ObjectAssociationMap (policy和value)
  • 5：通过find方法找到ObjectAssociationMap的迭代查询器获取一个经过属性修饰符修饰的value
  • 6：返回 value


调试取值流程

  • ，接着上一步调试，进入_object_get_associative_reference源码实现
  • 进入find方法：根据关联对象迭代查找AssociationsHashMap，即buckets

image.png


  • p i
  • p i->second


image.png

再次通过find方法，在buckets中查找与key配对的bucket

  • find方法执行之前，j的打印，此时的value为nil

    image.png

find方法查询之后，j的打印，此时的value 为KC

image.png


总结

所以，综上所述，所以关联对象的底层调用流程如下图所示

image.png

总的来说，关联对象主要就是两层哈希map的处理，即存取时都是两层处理，类似于二维数组


补充

AssociationsHashMap 唯一性验证

  • 验证AssociationsHashMap 的唯一性，而AssociationsManager不唯一
  • 去掉AssociationsManager中的加锁

image.png

在_object_set_associative_reference方法中再次定义一遍manager 和 associations

image.png

下面是调试运行的结果，从下图中可以看出两个association的地址是一样的，验证了其唯一性

image.png

image.png

  • 加锁的目的：保证对象的安全性，防止冲突
AssociationsManager manager;
👇等价于
AssociationsManager();
lock();
...
unlock();//作用域之后unlock


文章标签：
C++
iOS开发
设计模式
编译器
关键词：
iOS原理
iOS底层原理
iOS类
5na6pyt44b2ti
目录
相关文章
憧憬blog
|
4月前
|
存储 运维 安全
iOS加固原理与常见措施：保护移动应用程序安全的利器
iOS加固原理与常见措施：保护移动应用程序安全的利器
憧憬blog
73 0
iOS学霸
|
4月前
|
存储 运维 安全
iOS加固原理与常见措施：保护移动应用程序安全的利器
iOS加固原理与常见措施：保护移动应用程序安全的利器
iOS学霸
124 0
cy6s2s5ao5drg
|
C语言 索引
09-iOS之load和initialize底层调用原理分析
09-iOS之load和initialize底层调用原理分析
cy6s2s5ao5drg
82 0
瓜子三百克
|
测试技术 程序员 C++
iOS:项目中无用类检测和无用图片检测汇总
在涉及到项目大改版，或者涉及到某个功能模块大变更，就会涉及到图片废弃和文件废弃的情况。 但是这时候就会遗留下一个很大的问题，没有将废弃的、无用的文件类或资源删除干净。而这次需要对工程代码的无用资源和无用文件进行删除处理，感触颇多，故在此笔记。 首先，感觉很多人的代码习惯还是恶待提高。比如我发现一些人的代码操作习惯，从好到次，可以大略分以下情况
瓜子三百克
1243 0
iOS:项目中无用类检测和无用图片检测汇总
5na6pyt44b2ti
|
存储 缓存 监控
iOS 底层原理39：Instruments系列（一）Instruments介绍
iOS 底层原理39：Instruments系列（一）Instruments介绍
5na6pyt44b2ti
1842 0
iOS 底层原理39：Instruments系列（一）Instruments介绍
iOS开发欢乐使者
|
4月前
|
安全 前端开发 数据安全/隐私保护
【教程】 iOS混淆加固原理篇
本文介绍了iOS应用程序混淆加固的缘由，编译过程以及常见的加固类型和逆向工具。详细讨论了字符串混淆、类名、方法名混淆、程序结构混淆加密等加固类型，并介绍了常见的逆向工具和代码虚拟化技术。
iOS开发欢乐使者
110 0
iOS开发欢乐使者
|
4月前
|
安全 算法 前端开发
【完整版教程】iOS混淆加固原理篇
在iOS开发中，应用程序的安全性和保护显得尤为重要。由于iOS系统的开放性，一些逆向工具可以轻松地对应用程序进行反编译和分析，从而导致应用程序源代码、算法和敏感信息的泄露。为了保护应用程序的安全性，我们需要对应用程序进行混淆加固。本文将介绍iOS混淆加固的原理和常见的加固类型。
iOS开发欢乐使者
60 0
iOS学霸
|
4月前
|
JSON 安全 数据安全/隐私保护
​iOS Class Guard github用法、工作原理和安装详解及使用经验总结
​iOS Class Guard github用法、工作原理和安装详解及使用经验总结
iOS学霸
85 0
iOS学霸
|
4月前
|
安全 数据安全/隐私保护 iOS开发
【iOS开发】iOS App的加固保护原理：使用ipaguard混淆加固
【iOS开发】iOS App的加固保护原理：使用ipaguard混淆加固
iOS学霸
81 0
iOS开发欢乐使者
|
10月前
|
运维 安全 数据安全/隐私保护
iOS加固原理与常见措施：保护移动应用程序安全的利器
随着移动应用的普及和用户对数据安全的关注度提高，iOS加固成为了很多开发者和企业的必备工具。那么，iOS加固是如何保护应用程序的安全性的呢? iOS加固是指对OS应用程序进行一系列的安全措施，以提高其抗逆向工程、反编译和破解的能力。下面将介绍iOS加固的原理和常见的加固措施。
iOS开发欢乐使者
83 0
iOS加固原理与常见措施：保护移动应用程序安全的利器