美文网首页
类NSObject与runtime系统基础知识总结

类NSObject与runtime系统基础知识总结

作者: foreverSun_122 | 来源:发表于2018-04-13 00:19 被阅读0次

    与runtime交互的三种方式

    runtime system:基本上是用C和汇编写的一个runtime库,这个库使得C语言获得面向对象的能力,负责完成对象生成、释放时的内存管理,为发来的消息查找对应的处理方法。

    • OC源代码,OC中的类方法和协议在runtime中由一些数据结构来定义。
    • NSObject方法,Cocoa中的大多数类都继承自NSObject类。
    • runtime函数,runtime是由一系列函数和数据结构组成,具有公共接口的动态共享库。

    根类作用

    根类的作用:程序无法直接是使用runtime system的功能,而根类能够提供了基本的runtime system功能,相当于runtime的一个接口。
    NSObject:大多数OC类的根类。

    类、对象和实例

    Class类型:表示Objective-C中的类。
    类对象(class object):类本身也是一个对象,即Class类型的对象。
    class 类型定义如下:

    typedef struct objc_class *Class;
    struct objc_class {
        Class isa  OBJC_ISA_AVAILABILITY;       //指向所属类的指针
        #if !__OBJC2__
        Class super_class                       OBJC2_UNAVAILABLE;  // 父类
        const char *name                        OBJC2_UNAVAILABLE;  // 类名
        long version                            OBJC2_UNAVAILABLE;  // 类的版本信息,默认为0
        long info                               OBJC2_UNAVAILABLE;  // 类信息,供运行期使用的一些位标识
        long instance_size                      OBJC2_UNAVAILABLE;  // 该类的实例变量大小
        struct objc_ivar_list *ivars            OBJC2_UNAVAILABLE;  // 该类的成员变量链表
        struct objc_method_list **methodLists   OBJC2_UNAVAILABLE;  // 方法定义的链表
        struct objc_cache *cache                OBJC2_UNAVAILABLE;  // 方法缓存
        struct objc_protocol_list *protocols    OBJC2_UNAVAILABLE;  // 协议链表
    #endif
    } OBJC2_UNAVAILABLE;
    

    元类(meta class):类对象所属的类就是元类,在Objective-C中类也是对象,即元类的实例,要注意的是,元类自身也是对象,其所属类是根类的元类。
    isa指针:用来指向对象所属的类,子类不能修改,也不能直接访问。通过isa指针可以找到实例对象的所属类,但并不总是指向对象的所属类,如KVO中。
    id:指向实例对象的指针,实例对象是一个objc_object的数据结构,包含一个isa指针。
    struct objc_object:表示一个类的实例的结构体,定义如下:

    struct objc_object {
        Class isa  OBJC_ISA_AVAILABILITY;
    };
    typedef struct objc_object *id;
    
    

    注:
    isa指针 是objc_class,即Class类型,指向的是对象的所属类,所以对象的所属类是Class类型。
    id指针 是objc_object,内部包含一个isa指针。

    ivars:所有的成员变量和属性都是放在ivars链表里的
    ivar类型:表示一个实例变量,结构如下:

    /// An opaque type that represents an instance variable.
    typedef struct objc_ivar *Ivar
    struct objc_ivar {
        char *ivar_name                  OBJC2_UNAVAILABLE;
        char *ivar_type                  OBJC2_UNAVAILABLE;
        int ivar_offset                  OBJC2_UNAVAILABLE;
    #ifdef __LP64__
        int space                        OBJC2_UNAVAILABLE;
    #endif
    }
    

    objc_property_t类型:表示OC中声明的属性
    objc_property_attribute_t类型:属性特性定义

    /// An opaque type that represents an Objective-C declared property.
    typedef struct objc_property *objc_property_t;
    typedef struct {
        const char *name;           /**< The name of the attribute */
        const char *value;          /**< The value of the attribute (usually empty) */
    } objc_property_attribute_t;
    
    

    实例对象、Class类对象与元类的关系

    • 实例对象的isa指针指向类对象,即所属类是class。
    • 类对象的isa指针指向元类,即类对象的所属类是元类。
    • 所有元类的isa指针都指向根类的元类(包括根类的元类的isa指针),即所有元类的所属类是根类的元类。
    • 所有类的根类最终都是NSObject。
    • 所有类对象的父类最终继承子NSObject,NSObject的父类为nil。

    三者关系如下:

    • Instance Of Root class是struct objc_object结构
    • Root class(class)和Root class(meta)都是struct objc_class结构
    对象、类与元类的关系

    Method类型、选择器和SEL类型

    Method类型:表示类中定义中的方法
    Method中,SEL唯一确定方法名,IMP确定方法的实现函数

    /// An opaque type that represents a method in a class definition. opaque type:隐含类型
    typedef struct objc_method *Method;
    struct objc_method {
        SEL method_name                   OBJC2_UNAVAILABLE;
        char *method_types                OBJC2_UNAVAILABLE;
        IMP method_imp                    OBJC2_UNAVAILABLE;
    };
    /// Defines a method
    struct objc_method_description {
        SEL name;               /**< The name of the method */
        char *types;            /**< The types of the method arguments */
    }; 
    

    选择器:又称消息选择器,与函数通过函数名区分一样,消息通过消息名区分
    消息表达式格式即使用如下:

    [obj msg];
    UIView *view = [[UIView alloc]init];    //使用消息表达式创建了初始化一个UIView的对象
    

    SEL类型:表示一个方法的选择器。选择器被编译后会被一个内部标识符替代,这个标识符的类型就是SEL类型,相同的方法名(选择器)的SEL变量值一定相同。
    @selector()指令:通过该指令就能获得了SEL类型变量,对变量进行操作

    SEL msg = @selector(init);      //取得了init方法的SEL变量
    [a init];                       //a的进行初始化
    [a performSelector:msg];        //a进行初始化
    [b performSelector:msg];        //b进行初始化
    

    在上述代码中可以看到[a init]的效果与[a performSelector:msg]的效果时一样的,并且[b performSelector:msg]并没有调用a的init方法,通过断点可以看到SEL变量的值前后并没有变化,因此根据SEL类型,可以根据条件动态选择执行哪个方法 SEL类型作用与函数指针类似,但是函数指针指向的是函数的地址,这是在编译过程中就决定了的。

    消息搜索

    • 实例对象在调用方法时,会检查类对象中是否存在同名的消息,若类中没有,就继续查找父类,若父类没有,就一直顺着父类的super 类往上找,直到根类,若根类NSObject中没有,由于根类的superclass指针指向空,因此会提示执行错误。
    • 同样若类对象执行静态方法,就查找其元类,若元类没有,则查找元类的父类,一直往上找,直到根元类,若根元类没有同名方法,由于根元类的superclass指向根类NSObject,因此会查找NSObject中是否有同名方法,若有则执行,没有则由于NSObject的superclass为空,因此会提醒执行错误。

    以函数的形式调用方法

    类中定义的方法通常以函数的方式实现,在使用OC进行编程时通常也不会直接操作方法所对应的函数。若想让程序运行更快,可以使用IMP指针,但这样会失去OC的动态性和多态性。

    IMP:是一个函数指针,它指向了方法实现的入口。

    typedef id (*IMP)(id, SEL, ...);
    

    可以看到IMP指针的返回值是id类型,而参数id则是调用SEL类型方法的对象,...则代表其它参数。假设类Test中有实例方法func,其参数为NSString 类型,func返回NSString 类型,要打印返回的NSString *,默认采用如下方式调用:

    NSLog(@"%@",[test func:@"hzc"]);
    

    在默认情况下,工程的这个配置是打开的,此时IMP被定义为无参数无返回值的函数,因此可以自定义IMP指针的方式,避免每次都要关闭该项。


    关闭objc_msgSend配置

    除了默认的方式外,还可以用IMP指针的方式:

    Test *test = [[Test alloc]init];
    IMP func1 = [test methodForSelector:@selector(func1:)];
    //以下两只方式效果一样
    NSString *xyz = func1(test, @selector(func1:), @"hzc");
    NSLog(@"%@", xyz); 
    xyz = (*func1)(test, @selector(func1:), @"fnm");
    NSLog(@"%@", xyz);
    

    由于默认的IMP指针返回值为id类型,当调用的方法的返回值为int或者空时,则会出现EXC_BAD_ACCESS的错误。若要使IMP指针能够指向返回void或者int类型的方法,可以自定义一个IMP指针,在要实现的函数中国年,至少需要id和SEL两个参数。

    //自定义一个可以调用返回值为void的IMP指针
    typedef void (*V_IMP)( id, SEL, ...);
    - (void)func3:(NSString *)str {
        NSLog(@"%@",str);
    }
    //定义返回值为void的IMP指针
    V_IMP func_p3 = (V_IMP)[test methodForSelector:@selector(func3:)];
    func_p3(test, @selector(func3:), @"+++++++++++++++");
    

    相关文章

      网友评论

          本文标题:类NSObject与runtime系统基础知识总结

          本文链接:https://www.haomeiwen.com/subject/lbsqkftx.html