软件工程概论：第6章 编码与语言选择（选讲）.ppt

第6章 编码与语言选择 6.1 编码的目的和任务 6.2 编码所使用的语言 6.3 编码的风格 6.1 编码的目的和任务 编码阶段即软件实现阶段 编码的目的：把模块的过程性描述翻译成用选定的程序设计语言书写的源程序（或者源代码）。 模块的过程性 描述 源程序 6.1 编码的目的和任务 编码产生的源程序，应该 逻辑正确一致 表述简明清晰 并且具有较高的运行效率 对于大多数模块，编码时应该把简明清晰放在第一位。如果个别模块要求特别高的效率，就应把具体要求告诉程序员，以便作特殊的处理。 程序员不仅要养成良好的编码风格，而且要十分熟悉所使用的语言，以便能得心应手、恰到好处地运用语言的特点，为提高程序的清晰性和效率服务。 6.2 编码所使用的语言 程序设计语言范型 命令式语言 结构化程序设计语言 面向对象程序设计语言 … 声明式语言 函数式语言 逻辑式语言 … 6.2 编码所使用的语言 命令式编程（Imperative programming）是一种描述电脑所需作出的行为的编程范型，即指定问题求解的算法。How？ 几乎所有电脑的硬件工作都是指令式的；几乎所有电脑的硬件都是设计来运行机器码，使用指令式的风格来写的。因为命令式编程的基础观念，不但概念上比较熟悉，而且较容易具体表现于硬件，所以大部分的编程语言都是命令式的。 命令式语言的核心就在于“通过运算去改变内存（中的数据）”。由于命令式语言的实质是面向存储的编程，所以这一类语言比其他语言更加关注存储的方式。在程序设计的经典法则“程序=算法+结构”中，命令式语言是首先关注“结构”的，这里是特指“数据结构（或类型系统）”。 6.2 编码所使用的语言 命令式语言的演化分为“结构化编程”和“面向对象编程”两个阶段。 早期的命令式编程语言都是电脑本身的机器语言。在这些语言中，指示非常简单，令硬件的运行更容易，却阻碍了复杂程序的设计。 1954年开始开发的FORTRAN，是首个在复杂程序的设计中除掉机器码的编程语言。 后来的二十年中，可以看到大量的其他高级命令式编程语言出现。例：C、Basic、Pascal等。 在1980年后，面向对象编程有迅速的发展；面向对象编程语言均有着指令式的风格，但增添了支持对象的功能。例： C++、 Java等。 6.2 编码所使用的语言 声明式编程（Declarative programming）是一种编程范型，采用了和命令式编程对立的方向。它描述目目标性质，让电脑明白目标是什么。What？ 声明式编程通过函数、推论规则或项重写规则，来描述变量之间的关系。它的语言运行器（编译器或解释器）采用了一个固定的算法，以从这些关系产生结果。 声明式编程主要包括函数式编程和逻辑式编程。 函数式编程是一种编程范型，它将电脑运算视为函数的计算。例：Haskell、LISP。 逻辑式编程是种编程范型，它设置答案须符合的规则来解决问题，而非设置步骤来解决问题。例，Prolog。 6.2 编码所使用的语言 面向机器的语言 高级语言（第三代） 更高级语言 机器语言（第一代） 汇编语言（第二代） 基础语言 结构化语言 面向对象语言 （第四代语言） MASM Fortran Pascal, C Smalltalk, Java SQL, 4GL 6.2 编码所使用的语言 6.2 编码所使用的语言 面向机器 的语言 高级语言 G3 甚高级语言 机器语言 G1 汇编语言 G2 基础语言 结构化语言 面向对象语言 第四代语言 G4 6.2 编码所使用的语言 基础语言 FORTRAN COBOL BASIC 结构化语言 Pascal C Ada 面向对象的语言 Smalltalk C++ Java C# 6.2 编码所使用的语言 编码语言的选择，标准： 应用领域 算法与计算复杂性 数据结构的复杂性 效率 6.2 编码所使用的语言 年代 应用领域 主要语言 其他语言 20世纪60年代 商业 Cobol Assembler 科学计算 Fortran Algol、Basic、APL 系统 Assembler 人工智能 LISP SNOBOL 商业 Cobol、C++、Java、电子表格 C、PL/1 现代 科学计算 Fortran、C、C++、Java Basic 系统 C、C++、Java Ada、Modula 人工智能 LISP、Prolog 6.3 编码的风格 编码风格又称程序设计风格， 其实就是程序员在书写代码过程中保持源代码清晰易读、便于维护的一种方式。 人们意识到良好的代码风格可以降低程序出错的几率，提高程序的易读性和质量，利于构造大软件所必须的团队开发，同时也可有效降低了程序的维护成本。 1974年Kernighan 与 Plauger在《The Elements of Programmi