C++函数参数和返回值

形式参数和实际参数

在调用函数时，大多数情况下，函数是带参数的。主调函数和被调用函数之间有数据传递关系。前面已提到：在定义函数时函数名后面括号中的变量名称为形式参数(formal parameter，简称形参)，在主调函数中调用一个函数时，函数名后面括号中的参数(可以是一个表达式)称为实际参数(actual parameter，简称实参)。

【例4.2】调用函数时的数据传递。

#include <iostream>
using namespace std;
int max(int x,int y)  //定义有参函数max
{
   int z;
   z=x>y?x:y;
   return(z);
}
int main( )
{
   int a,b,c;
   cout<<"please enter two integer numbers:";
   cin>>a>>b;
   c=max(a,b);//调用max函数,给定实参为a,b。函数值赋给c
   cout<<"max="<<c<<endl;
   return 0;
}

运行情况如下：

有关形参与实参的说明：

1) 在定义函数时指定的形参，在未出现函数调用时，它们并不占内存中的存储单元，因此称它们是形式参数或虚拟参数，表示它们并不是实际存在的数据，只有在发生函数调用时，函数max中的形参才被分配内存单元，以便接收从实参传来的数据。在调用结束后，形参所占的内存单元也被释放。

2) 实参可以是常量、变量或表达式，如max(3, a+b);但要求a和b有确定的值。以便在调用函数时将实参的值赋给形参。

3) 在定义函数时，必须在函数首部指定形参的类型(见例4.2程序第3行)。

4) 实参与形参的类型应相同或赋值兼容。例4.2中实参和形参都是整型，这是合法的、正确的。如果实参为整型而形参为实型，或者相反，则按不同类型数值的赋值规则进行转换。例如实参a的值为3.5，而形参x为整型，则将3.5转换成整数3，然后送到形参b。字符型与整型可以互相通用。

5) 实参变量对形参变量的数据传递是“值传递”，即单向传递，只由实参传给形参，而不能由形参传回来给实参。在调用函数时，编译系统临时给形参分配存储单元。

请注意：实参单元与形参单元是不同的单元。图4.3表示将实参a和b的值2和3传递给对应的形参x和y。 

调用结束后，形参单元被释放，实参单元仍保留并维持原值。因此，在执行一个被调用函数时，形参的值如果发生改变，并不会改变主调函数中实参的值。例如，若在执行max函数过程中形参x和y的值变为10和15，调用结束后，实参a和b仍为2和3，见图4.4。

函数的返回值

1) 函数的返回值是通过函数中的return语句获得的。return语句将被调用函数中的一个确定值带回主调函数中去。return语句后面的括号可以要，也可以不要。return后面的值可以是一个表达式。

2) 函数值的类型。既然函数有返回值，这个值当然应属于某一个确定的类型，应当在定义函数时指定函数值的类型。

3) 如果函数值的类型和return语句中表达式的值不一致，则以函数类型为准，即函数类型决定返回值的类型。对数值型数据，可以自动进行类型转换。