浅谈程序设计语言中四种语言范型的区别
byclara
过程式程序设计语言 :
? 基本观点:计算实现的模型如果按冯 ·诺依曼原理强制改变内存中的值叫命令 (或译指
令、强制 Imperative 式)的。所有过程语言都基于这个原理。由于强制改变值,程序
状态的变化没有一定规则,程序大了就很难查错,很难调试,不易证明其正确。组
织程序的范型即 : 算法过程 +数据结构。到目前软件开发主导语言仍是过程式语言。
近代命令式语言增加了模块强制类型检查、抽象数据类型、类属等机制可开发较安
全、可靠的大程序。命令型范式强调的是一个可以方便解决问题的过程。
? 表达上的特点: 面向过程就是分析出解决问题所需要的步骤,然后用函数把这些步
骤一步一步实现。
原始的程序设计范型是:
确定需要哪些过程;
采用能找到的最好的算法。
? 执行效率:
执行效率最高
? 程序的并发,安全,程序的控制,类型系统:
1.并发性:
支持程序的并发性处理,提供并发线程调度。
2.安全:
安全性不高。其中表现在:1 .滥用 goto,通过结构化程序设计和限制少量可控制的
跳转,已经完全解决。2.悬挂指针,尽可能多用引用和在堆栈框架中分配指针,
可消除大量悬挂指针。但引用的对象依然有时、空问题。没有完全解决。3.函数
副作用,由于冯 ·诺依曼机的本质是改变变量的存储从而改变程序状态,但是状态时
空效应不可免,副作用不可能消除。
3.程序控制:
通常的计算机程序总是由若干条语句组成,从执行方式上看,从第一条语句到最后
一条语句完全按顺序执行,是简单的顺序结构;在程序执行过程当中,根据用户的
输入或中间结果去执行若干不同的任务则为选择结构;如果在程序的某处,需要根
据某项条件重复地执行某项任务若干次或直到满足或不满足某条件为止,这就构成
循环结构。过程式程序设计语言并不是只有简单的顺序结构,而是顺序、选择、循
环三种结构的复杂组合。其中,选择控制语句如: i f ; s w i t c h 、c a s e,循环
控制语句如: f o r、w h i l e 、d o...w h i l e ,转移控制语句如: b r e a k、c o n t i n u
e、g o t o。
4.类型系统:
有限类型,指针类型,复合类型(数组类型) ,记录类型,联合类型,集合类型等类
型组成的,并可以对这些类型进行操作。
? 适用范围:
应用范围非常广,由于效率非常高,通常用来设计需要严格控制执行时间的系统,
同时能够准确的控制系统的存储调度等。
http://www.PDFdu.com/
PDFdu Insert Page Trial