什么是编程模型

什么是编程模型

聊聊编程模型这个话题。先从一个基本问题说起：程序到底是什么？

程序，说白了就是解题过程的书面表达。而用来表达这个过程的各种语言，我们统称为编程语言。

那解题过程又是什么？其实就是逻辑——无非是顺序、条件、循环这三种基本形式的组合。所以，程序是用特定语言包装起来的逻辑：程序是形式，逻辑才是内容。

模型这个概念，是对事物共性的抽象。那么编程模型，自然就是对编程活动中那些共性的抽象。

关键问题来了：编程的共性到底是什么？说到底，最重要的那一条就是——写代码的时候，我们怎么抽象、怎么组织、怎么复用。

很多时候，编程技术和编程模型这两个概念并不严格区分。比如“面向对象编程”，两种含义都沾边。但如果深究一下，区别还是有的：前者更贴近具体的语言和工具，后者则更偏向方法和思想层面的东西。

举个例子你就明白了。面向过程编程，核心是功能分解；而面向对象编程，核心是概念抽象。这两者在认识论上的差异非常深刻。结果就是：面向过程的一条指令，最大能操作一个过程；而面向对象的一条指令，最大能操作一个对象。

值得一提的是，编程模型并不关心最小的操作单元是什么。有些语言能精细到比特级别，和机器指令的抽象级别差不多，但它完全可能采用面向对象的编程模型。

这就像装修行业的分工层级：最低级的是筛沙子，好比用汇编语言编程；往上一点是搬砖头，对应高级语言编程；再往上就是装门、装窗户；而最高级的，大概是安装整体橱柜这类角色，这就是面向对象编程。不同层级的人，本质上就是在不同的“模型”上工作。

2 抽象与复用

在编程模型里，指令的抽象程度和复用程度是直接挂钩的：

1) 抽象是手段，复用才是目标；
2) 你能抽象到什么程度，才能复用到什么程度。

从最终效果来看，编程模型其实就是代码的复用模型。

3 相关概念

像.NET、Eclipse这类东西，本质上是编程工具或开发平台，是具体的、实例化的。而编程模型是抽象的、思想性的，两者不能混为一谈。

编程模型处于方法或思想的层面，很多情况下也可以叫编程方法、编程方式、编程模式或编程技术。之所以用“编程模型”这个说法，是因为它同时兼顾了技术与思想两种含义，能更好地表达本文要讨论的核心意思。

另外，编程模型和体系架构中的C/S模式、三层模型这些概念也有明显区别。前者针对的是程序设计本身的模型，后者指的是系统架构层面的模型，含义完全不同。