决策（ Decision Making）

优质

小牛编辑

127浏览

2023-12-01

子程序 (Subprograms)

子程序是执行特定任务的程序单元/模块。这些子程序组合在一起形成更大的程序。这基本上被称为“模块化设计”。子程序/程序可以调用子程序，称为调用程序。

Pascal提供两种子程序 -

Functions - 这些子程序返回单个值。
Procedures - 这些子程序不直接返回值。

功能 (Functions)

function是一组一起执行任务的语句。每个Pascal程序至少有一个函数，即程序本身，所有最简单的程序都可以定义其他函数。

函数declaration告诉编译器函数的名称，返回类型和参数。函数definition提供函数的实际主体。

Pascal标准库提供了许多程序可以调用的内置函数。例如，函数AppendStr()附加两个字符串，函数New()动态地将内存分配给变量和更多函数。

定义一个函数 (Defining a Function)

在Pascal中，使用function关键字定义函数。函数定义的一般形式如下 -

function name(argument(s): type1; argument(s): type2; ...): function_type;
local declarations;
begin
   ...
   < statements >
   ...
   name:= expression;
end;

Pascal中的函数定义由函数header ，局部declarations和函数body 。函数头由关键字函数和赋予函数的name组成。以下是函数的所有部分 -

Arguments - 参数建立调用程序和函数标识符之间的链接，也称为形式参数。参数类似于占位符。调用函数时，将值传递给参数。该值称为实际参数或参数。参数列表是指函数的类型，顺序和参数数量。使用这种形式参数是可选的。这些参数可以具有标准数据类型，用户定义的数据类型或子范围数据类型。
出现在函数语句中的形式参数列表可以是简单的或下标的变量，数组或结构化变量，或子程序。
Return Type - 所有函数必须返回一个值，因此必须为所有函数分配一个类型。 function-type是函数返回的值的数据类型。它可以是标准的，用户定义的标量或子范围类型，但它不能是结构化类型。
Local declarations - 局部声明是指标签，常量，变量，函数和过程的声明，它们仅适用于函数体。
Function Body - 函数体包含一组语句，用于定义函数的功能。它应始终包含在保留字开头和结尾之间。它是所有计算完成的函数的一部分。必须有一个类型的赋值语句 - name := expression; 在函数体中为函数名赋值。执行该函数时返回该值。正文中的最后一个陈述必须是最终陈述。

以下是一个示例，说明如何在pascal中定义函数 -

(* function returning the max between two numbers *)
function max(num1, num2: integer): integer;
var
   (* local variable declaration *)
   result: integer;
begin
   if (num1 > num2) then
      result := num1
   else
      result := num2;
   max := result;
end;

函数声明 (Function Declarations)

函数declaration告诉编译器函数名称以及如何调用函数。函数的实际主体可以单独定义。

功能声明包含以下部分 -

function name(argument(s): type1; argument(s): type2; ...): function_type;

对于上面定义的函数max（），以下是函数声明 -

function max(num1, num2: integer): integer;

在一个源文件中定义函数并在另一个文件中调用该函数时，需要函数声明。在这种情况下，您应该在调用该函数的文件顶部声明该函数。

调用一个函数 (Calling a Function)

在创建函数时，您可以定义函数必须执行的操作。要使用函数，您必须调用该函数来执行定义的任务。当程序调用一个函数时，程序控制被转移到被调用的函数。被调用的函数执行已定义的任务，当执行其返回语句或达到最后结束语句时，它将程序控制返回给主程序。

要调用函数，只需要传递必需的参数和函数名称，如果函数返回一个值，那么您可以存储返回的值。以下是一个显示用法的简单示例 -

program exFunction;
var
   a, b, ret : integer;
(*function definition *)
function max(num1, num2: integer): integer;
var
   (* local variable declaration *)
   result: integer;
begin
   if (num1 > num2) then
      result := num1
   else
      result := num2;
   max := result;
end;
begin
   a := 100;
   b := 200;
   (* calling a function to get max value *)
   ret := max(a, b);
   writeln( 'Max value is : ', ret );
end.

编译并执行上述代码时，会产生以下结果 -

Max value is : 200