当前位置：首页 > news >正文

人工智能篇---常见地编程范式

news 2026/5/12 11:22:02

下面，我将为你系统地介绍几组核心的编程概念。

编程范型（Programming Paradigm）是编程的宏观分类，代表了程序员构建程序的典型思维模式。它决定了你如何看待一个程序：它是一系列指令？是相互交互的对象？还是一个数学函数的计算序列？

范型类别	核心思想	代表语言	一句话理解
命令式编程	关注“如何做”，通过一系列指令明确告诉计算机每一步要做什么。	C、BASIC、汇编	像一个菜谱，一步步指导厨师完成菜肴。
过程式编程	命令式编程的一种，核心思想是将代码组织成可复用的过程或函数。	C、Pascal	将菜谱的步骤分解为“切菜”、“炒菜”、“装盘”等多个可复用的子流程。
面向对象编程	将程序视为一系列相互协作的对象，每个对象封装了数据（属性）和操作数据的方法（行为）。	Java、C++、Python、Smalltalk	像一个工厂，各个部门（对象）各司其职，通过协作完成整个产品的生产。
函数式编程	将程序视为一系列函数的组合，强调无副作用的纯函数和不可变数据。	Haskell、Scheme、Elixir	像一个数学公式`f(x) = y`，给定输入`x`，总能得到确定的输出`y`，且过程中不会改变任何外部状态。
声明式编程	关注“做什么”，只描述想要的结果，而将具体实现步骤交给语言底层去完成。	SQL、HTML、Prolog	像在餐厅点菜，你只告诉服务员“我要一份牛排”，而不需要告诉他具体怎么煎。

需要特别说明的是，一种编程语言往往支持多种范型。例如，C++同时支持过程式、面向对象和泛型编程；Python也支持面向对象和一定程度的函数式编程。开发者可以根据具体问题，混合使用不同范型的思想。

如果说编程范型是“道”（理念），那么程序设计方法学（Programming Methodology）就是“术”（实践方法）。它是用于指导程序设计各阶段工作的原理、原则和技术，目标是设计出可靠、易读且易于维护的程序。

诞生背景：1960年代末的“软件危机”催生了这一学科。当时，随着软件规模和复杂度急剧上升，手工作坊式的编程方式导致了项目延期、预算超支、软件质量低下等问题。
核心内容：
- 结构化编程：由Edsger Dijkstra等先驱提出，核心是避免使用goto语句，而仅使用顺序、选择（if-else）、循环（while, for）这三种基本控制结构来构建程序。这极大地提高了程序的可读性和逻辑清晰度。
- 自顶向下逐步求精：由Niklaus Wirth提出，主张将复杂问题逐层分解成更小、更易于管理的子问题，直到每个子问题都可以被直接解决。
- 程序正确性证明：运用数学方法（如Hoare逻辑）来证明程序的正确性，从理论上确保程序符合其规格说明。
- 抽象数据类型：将数据及其操作封装在一起，只对外暴露接口，隐藏内部实现细节，这正是面向对象编程中“封装”思想的源头。

除了上述宏观的理念，还有一些具体的技术概念也至关重要。

程序的执行方式：解释 vs. 编译
这是程序如何被计算机理解和执行的基础区别。
- 解释型语言：由解释器逐行读取源代码并立即执行。优点是跨平台性好，开发调试灵活（可以即时看到结果），适合脚本开发、Web开发等。代表：Python、JavaScript、Ruby、PHP 。
- 编译型语言：需要先用编译器将源代码一次性翻译成机器码，生成可执行文件后再运行。优点是执行效率极高，对系统资源利用更充分，适合操作系统、游戏引擎、大型应用等对性能要求严苛的领域。代表：C、C++、Go、Rust 。
程序的驱动力：流程驱动 vs. 事件驱动
这描述了程序如何响应并处理任务。
- 流程驱动编程：程序的控制流由预设好的流程决定，像一个流水线，主动轮询或按照固定顺序执行任务。
- 事件驱动编程：程序的控制流由外部发生的事件（如用户点击、鼠标移动、传感器信号）决定。程序启动后进入等待状态，当事件发生时，相应的事件处理器被触发执行。现代图形用户界面（GUI）应用几乎都采用这种模式。代表：JavaScript（浏览器端）、C#（WinForms）、Java Swing 。