语言多态、动态类型和动态绑定

     遇到oc语言后，相信很多朋友会看到这样一句话，oc语言是一种动态语言，与静态语言相比，它具有灵活的优点。。。

     那么，究竟什么是动态语言呢，什么是动态类型与绑定呢？

     说到动态类型就必须先说静态类型。

     静态类型语言就是编译器在编译阶段就可以完全确定每个变量的类型的一种语言。比如，c。每个变量的类型在编译阶段可以完全确定下来。

     动态类型语言就不是这样。编译阶段并不能完全确定部分变量的类型，得等到运行时才能确定。比如c++，再如python,pHp等。

     <<Objective-C 程序设计（第6版）>>第九章举了几个例子讲解了多态、动态类型以及动态绑定的含义。其实这些在c++等书上也肯定有所描述。

     简单俩说里面涉及到了id变量，它实际上相当于c++中的指针变量，即这个变量存储的就是一个地址值。而在oc中，任何类对象的变量在变量声明阶段，只是指出了这个变量是一个地址变量而已，并没有指明它所指向的地址空间会是一个什么具体类型的类。而在运行阶段才会具体赋予这个指针，或者说id变量他所指向的地址区域具体代表的是什么类。

     另外，还得理解runtime。这里参考《ios runtime原理 》。察看runtime的方法是,对一个写好的main函数

         

#import <Foundation/Foundation.h>

@interface Person : NSObject

@property (nonatomic, strong) NSString *name; 

@property (nonatomic, assign) int age;

@end

main.m文件如下

int main(int argc, const char * argv[])

{

Person *p = [[Person alloc] init];

NSString *str = @"zhangsan";

p.name = str;

// p.name 等价于

[p setName:str];

p.age = 20;

return 0;

}

然后我们打开终端，在命令行找到cd到文件目录，然后中输入：

clang -rewrite-objc main.m

命令可以将main.m编译成C++的代码，改成不同的文件名，就会生成不同的c++代码 

这是就生成了main.cpp这个c++文件，打开文件代码,看该main.cpp最底下的main函数， 

这样我们就可以看到底层具体实现的方式！

这时，我们就需要知道这些方法： 

objc_msgSend 可以给对象发送消息 

objc_getClass(“Person”) 可以获取到指定名称的对象 

sel_registerName(“alloc”) 可以调用到对象的方法

通过查看，c++代码，我们得出结论： 

使用objc_msgSend函数，给objc_getClass函数实例化的对象发送sel_registerName获取到的方法 这么一个消息 

代码是给人看的，顺带让机器实现功能。日常的程序开发过程中，要少用runtime，

那什么时候会使用runtime呢？ 

runtime应用的时机： 

1> 当需要非常高的性能开发时，使用runtime，注释：oc的代码已经无法满足性能需求 

2> 动态修改函数执行过程等.这一点可以联想到method swizzling,可以参考念茜的<<Objective-C的hook方案（一）: Method Swizzling>>.

其它可参考的技术文档：
http://www.tuicool.com/articles/uimInm  http://blog.csdn.net/lengshengren/article/details/17764135
总结来说,oc代码归根结底,是会被编译器转换成c++代码,然后连接c++底层库函数,最后由c++编译器编译连接成可执行代码.



欢迎大家留言,交流讨论!!