面向对象01——编程语言的分类

---

前言

面向对象的程序设计是相对面向过程而言的。面向过程的核心是通过某个过程实现对象的某个功能，而面向对象的核心是实现具有某个功能的某个对象。面向对象编程首先要对编程语言有一个基本的了解。

---

编译型语言和解释型语言
动态类型语言与静态类型语言
强类型语言与弱类型语言

一、编译型语言和解释型语言

编译型语言在程序执行之前会对源代码进行一个编译的操作，编译成机器码。这样生成的目标文件就不需要进行其他操作，直接运行即可。最简单的实例如C语言——在编译器或命令行中执行编译操作，生成可执行的目标文件比如.exe或者.out文件，然后执行目标文件。
解释型语言如JavaScript、Python、PHP等——以Python为例，采用Python语言3.0以上的源代码写出的程序默认以py结尾，在安装Python环境的计算机中可以直接运行，比方说点一个绿色的小箭头，不用经历编译过程。或者说这种解释器对程序逐行进行解释，不用专门进行编译的操作。就像执行脚本文件一样。
一般而言，因为解释型语言是一边运行一边解释，所以程序的运行效率较低。但这也不绝对，例如Python也可以输出可执行文件。并且一些编程语言，如C#等，同时具有编译型语言和解释型语言的特点。

二、动态类型语言与静态类型语言

动态类型语言是在程序运行时变量类型才被确定的语言。
变量类型一般不会显式声明，而是由上下文确定，常见的如Python。
静态类型语言在程序编译时即会检查变量类型。一般而言变量类型会显式声明，常见的如C#，Java。

三、强类型语言与弱类型语言

强类型语言对数据转换的容忍度低。这在大多数情况下较为安全。如C#，不可以令一个数字与字符串相加，除非显式将数字转换为字符串。这种情况下编译器会发现许多因粗心造成的类型错误。但是强类型语言一般而言需要专门实现多态。
而弱类型语言则相反，如vb：

a=1
b=a+"1"+"a" //结果是11a, a 成了字符串
c=a+1 //结果是2 , a 则是数字型

总结

以上概念有许多重合之处，往往一门编程语言同时具有以上多种属性。
以上分类也不是完全对立的，如C#就同时具有编译型语言和解释型语言的特点。
另外可见：
弱类型、强类型、动态类型、静态类型语言的区别是什么？ - rainoftime的回答 - 知乎.