静态类型、动态类型

1.静态类型和动态类型

    静态类型

        将一个指针变量定义为特定类的对象时,使用的是静态类型,在编译的时候就知道这个指针变量所属的类,这个变量总是存储特定类的对象。

GSPerson *p = [GSPerson new];

    动态类型

        这一特性是程序直到执行时才确定对象所属的类

id obj = [Person new];

2.为什么要有动态类型?

    (1).我们知道NSObject是OC中的基类

    (2).那么任何对象的NSObject类型的指针可以指向任意对象，都没有问题

    (3).但是NSObject是静态类型，如果通过它直接调用NSObject上面不存在的方法，编译器会报错。

    (4).你如果想通过NSObject的指针调用特定对象的方法，就必须把NSObject * 这种类型强转成特定类型。然后调用。如下

//定义NSObject * 类型

NSObject* obj = [Cat new]; 

GSCat *c = (GSCat*)obj;

 [c eat];

    (5).id 是一种通用的对象类型,它可以指向属于任何类的对象,也可以理解为万能指针 ,相当于C语言的 void *

    (6).因为id是动态类型,所以可以通过id类型直接调用指向对象中的方法, 编译器不会报错

    注意：

    在id的定义中,已经包好了*号。id指针只能指向OC中的对象

    为了尽可能的减少编程中出错，Xcode做了一个检查，当使用id 的类型调用本项目中所有类中都没有的方法，编译器会报错

    id类型不能使用.语法, 因为.语法是编译器特性, 而id是运行时特性

3.id数据类型与静态类型

    虽然说id数据类型可以存储任何类型的对象，但是不要养成滥用这种通用类型

    如没有使用到多态尽量使用静态类型

    静态类型可以更早的发现错误(在编译阶段而不是运行阶段)

    静态类型能够提高程序的可读性

    使用动态类型前最好判断其真实类型

    动态类型判断类型

- (BOOL)isKindOfClass:classObj 判断实例对象是否是这个类或者这个类的子类的实例

- (BOOL) isMemberOfClass: classObj 判断是否是这个类的实例

+ (BOOL) isSubclassOfClass:classObj 判断类是否是指定类的子类

3.id与instancetype区别

instancetype == id == 万能指针 == 指向一个对象

id在编译的时候不能判断对象的真实类型

instancetype在编译的时候可以判断对象的真实类型

id和instancetype除了一个在编译时不知道真实类型, 一个在编译时知道真实类型以外, 还有一个区别

id可以用来定义变量, 可以作为返回值, 可以作为形参

instancetype只能用于作为返回值

注意: 以后但凡自定义构造方法, 返回值尽量使用instancetype, 不要使用id