说明 declaration

　　Shuoming说明(dec.aration)程序中用到实体的属性或定义描述。程序的说明部分使名字与被说明的实体相联系。例如，一个常量说明 Pl:Cbns扭nt:=3 .1 415 926 536:使PI与数学中的二值相联系。 说明可分为常量说明，变量说明，类型说明，子程序说明，模块说明，异常说明等。史蚤说明定义了程序中使用的各种变量及其属性。典里说用除了通常的类型定义外，还有私有类型说明。当希望说明一个能为外界使用，但又要隐蔽其具体实现和内部数据结构的类型时，可以使用私有类型说明。子程序说明参见函数与过程。棋块说明包括顺序模块说明与并发模块说明。Ada语官中的程序包为一种典型的顺序模块，它描述具有相对独立性的一组逻辑上相关的实体。例如，定义复数类型的数据结构及其操作(十，一，二，/，求平方值)的程序包规约，在八da中写为 Paehageo，nPlex一arithrnetic 15 tyl湘Cornl〕lex访 r明rd r司~pan:noat:二0，氏 illlag」姆成川伪t:二0，山 erld record; funetion“一“(a，b:~plex)returna卫nplex; funetlon“二”(a，b:Conlplex)ret~田nlplex; function“/”(a，b:~口ex)return~口ex; funetionsqr(a，b:~口ex) elld conlplex一arithrnetic; 并发模块描述相对独立的可并行执行的一组逻辑实体。并发模块可在多机系统或多处理机系统上实现，也可在单处理机上以交叉执行的方式实现。例如沪da中任务模块就是一种典型的并发模块，几个任务模块中各个任务除了发生会合的时刻外均为独立、并行地运行。异常说明是现代程序语言中，针对程序执行过程中可能发生的错误或异常情况作出处理的机制。这既是实时程序设计的需要，又可使程序的正常运行部分与出错处理(或异常处理)部分分离，提高了程序的清晰度与可理解性。 说明部分的主要任务是描述或定义各种实体，这里有一个作用域的概念，即每个说明的实体有这样的程序区域，在这个区域内可按定义给出的含义使用该名字。说明实体定义的作用域一般可静态确定，即由直接包含它的程序语法构造确定。与作用域相关的一个概念是作用范围，作用范围是指说明的标识符的可见范围。在分程序结构的语言中，内层作用范围可以不是外层作用范围的一部分。