1. 动态类型:
    程序在运行的时候才能确定的类型;
        比如:1),多态;Animal *ani = [Dog new];
                   [ani run];
            2),id类型;

    静态类型:就是程序在编译时就能确定的类型;

2. id类型:
        称为万能指针,可以指向任何继承自NSObject的对象.
        id类型是属于动态类型,是在运行时检查类型;

注意:
    id只能指向对象类型,不能指向非对象类型;


3,NSObject和id的区别:(面试题)
    (1),NSObject和id都可以指向任何对象。
        NSObject *obj = [Animal new];
        id obj1 = [Animal new];

    (2),NSObject对象会进行编译时检查，需要强制类型转换；
        [(Animal*)obj run]; //动物再跑

    (3,)id类型不需要编译时检查,不需要强制转换，可以直接使用。编译器看到id以后，认为是动态类型，不在检查类型。
        [obj1 run];


4,instancetype和id的异同:(面试题)
    相同点: 都可以作为方法的返回类型
    不同点:
        1)，instancetype可以返回和方法所在类相同类型的对象,id只能返回未知类型的对象;
        2)，instancetype只能作为返回值,不能像id那样作为参数,



2. 动态绑定：
动态绑定是基于动态类型的：
基于动态类型，在某个实例对象被确定后，其类型便被确定了。该对象对应的属性和响应的消息也被完全确定，这就是动态绑定。
动态绑定所做的，即是在实例所属类确定后，将某些属性和相应的方法绑定到实例上。


3. 动态加载：
动态创建类Class,动态添加Class成员变量与成员函数,动态变量赋值与取值，动态函数调用等;


4.  内省（Introspection）是面向对象语言和环境的一个强大特性，Objective-C和Cocoa在这个方面尤其的丰富。
内省是对象揭示自己作为一个运行时对象的详细信息的一种能力。这些详细信息包括对象在继承树上的位置，对象是否遵循特定的协议，以及是否可以响应特定的消息。

正在学习，一起努力

学习了，看了你的贴子，我也想学oc