动态 静态语言

1.动态语言和静态语言

先说下什么是动态语言

动态语言，是指程序在运行时可以改变其结构：新的函数可以被引进，已有的函数可以被删除等在结构上的变化。

ECMAScript(JavaScript)便是一个动态语言。除此之外如Ruby、Python等也都属于动态语言，而C、C++等语言则不属于动态语言。

动态类型语言，意思就是类型的检查是在运行时做的，比如如下代码是不是合法的要到运行时才判断（注意是运行时的类型判断）

而静态类型语言的类型判断是在运行前判断（如编译阶段），比如C#、java就是静态类型语言

2.Objective-C的动态运行性

Objective-C语言是C语言的一个子类，所以Objective-C是一个静态语言，但是Objective-C的三大特性之一的多态性让其拥有了动态性。

oc的动态性让程序可以在运行时判断其该有的行为，而不是像c等静态语言一样在编译构建时就确定下来。它的动态性主要体现在一下三个方面：

2.1。动态类型。 如id类型。实际上静态类型因为其固定性和可预知性而使用得更加广泛。静态类型是强类型，而动态类型属于弱类型。运行时决定接收者。

这里补充讲一下强、弱类型：语言有无类型、强类型和弱类型三种。无类型的不做任何检查，甚至不区分指令和数据；弱类型的检查很弱，仅能区分指令和数据；强类型的严格在编译期进行检查。强类型语言在没有强制类型转化前，不允许两种不同类型的变量相互操作

2.2。 动态绑定。让代码在运行时判断需要调用什么方法，而不是在编译时。与其他面向对象语言一样，方法调用和代码并没有在编译时连接在一起，而是在消息发送时才进行连接。运行时决定调用哪个方法。

2.3。 动态载入。让程序在运行时添加代码模块以及其他资源。用户可以根据需要加载一些可执行代码和资源，而不是在启动时就加载所有组件。可执行代码中可以含有和程序运行时整合的新类。

3.运行时机制

主要是将数据类型的确定由编译时，推迟到了运行时。 这个问题其实浅涉及到两个概念，运行时和多态。 简单来说，运行时机制使我们直到运行时才去决定一个对象的类别，以及调用该类别对象指定方法。

多态：不同对象以自己的方式响应相同的消息的能力叫做多态。

意思就是假设生物类（life）都用有一个相同的方法-eat; 那人类属于生物，猪也属于生物，都继承了life后，实现各自的eat，但是调用是我们只需调用各自的eat方法。 也就是不同的对象以自己的方式响应了相同的消息（响应了eat这个选择器）。 因此也可以说，运行时机制是多态的基础。

因此也可以说，运行时机制是多态的基础

4.OC 和 Swift 的动静

因为 OC 是动态的语言，方法的调用并不是在编译阶段完全定死的，而是在运行的时候以发送消息的形式进行调用，所以这里就引出了一个比较受争议的做法，就是通过运行时的 api 对方法的调用进行交换

Swift通过var和let声明变量和常量，不需要指定数据类型，非常像JavaScript等动态语言。但是仔细学习可以发现，其实Swift是静态语言，而且是类型安全的静态语言，即使是Int和Double也需要显示转换。那么不需要数据类型的声明其实就是语法糖了，是编译器做的类型推断，一旦类型确定就无法再改变了。所以Swift应该还是静态语言

5.补充:

做程序需三个阶段。

第一阶段：编辑，就是用写字板、word之类或专用的软件输入软件语句。

第二阶段：编译，把软件语句翻译准机器代码，并进行适当的优化，一般产生.obj文件。

第三阶段：连接，把.obj根据里面的调用进行优化并产生可执行文件，即.exe或dll文件。