C++ 7.1 函数的定义

简介

• 函数的运行以形参（隐式）定义和初始化开始

• 也就是说，当我们调用一个函数时，第一件事就是创建形参的那两个变量，并将这两个变量初始化为调用函数时传递的实参值。

• 当我们使用普通的形参（非引用类形参）时，实参对形参的初始化就是直接执行复制操作，将实参的值复制给形参。在后面讨论引用类型（7.2.2）的形参时会讨论到这个问题，就是直接执行复制有时候会效率很低

• 在函数体中定义的变量只在该函数中才可以访问，这种变量称为局部变量，这种变量只在函数运行时才存在；

• 执行return 语句后，被挂起的主调函数在调用处恢复执行，并将函数的返回值用作求解调用操作符的结果，继续处理在执行调用的语句中所剩余的工作。

• 类似于局部变量，函数的形参为函数提供了已经命名的局部存储空间。

• 他们之间的差别在于形参是在函数的形参表中定义的，并由调用函数时传递给函数的实参初始化。

• 实参类型必须与对应形参的类型完全匹配：类型相同或是能够隐式转换

• 函数的形参可以为空，但不能省略；

================================================================================================================================

一、函数调用

1、函数调用

• 函数调用做了两件事情

  • 用对应的实参初始化函数的形参，并将控制权转移给被调用函数；

  • 主调函数的执行被挂起，被调函数开始执行；

• 函数的运行以形参（隐式）定义和初始化开始，也就是说，当我们调用一个函数时，第一件事就是创建形参的那两个变量，并将这两个变量初始化为调用函数时传递的实参值。

2、函数体是一个作用域

• 函数体是一个语句块，定义了函数的具体操作；
• 这个语句块包含一个花括号，形成了一个新的作用域；
• 在函数体中定义的变量只在该函数中才可以访问，这种变量称为局部变量，这种变量只在函数运行时才存在；
• 当执行到return 语句时，函数调用结束。
• 被调用的函数完成时，将产生一个在return 语句中指定的结果值。
• 执行return 语句后，被挂起的主调函数在调用处恢复执行，并将函数的返回值用作求解调用操作符的结果，继续处理在执行调用的语句中所剩余的工作。

3、形参和实参

• 类似于局部变量，函数的形参为函数提供了已经命名的局部存储空间。

• 他们之间的差别在于形参是在函数的形参表中定义的，并由调用函数时传递给函数的实参初始化。

• 实参是一个表达式，它可以是变量或字面值常量，甚至是表达式；

• 调用函数时，所传递的实参个数必须与函数的形参个数完全相同；

• 实参类型必须与对应形参的类型完全匹配：类型相同或是能够隐式转换

• 实参和形参区别：

  • 形参是在函数定义的形参表中进行定义，是一个变量，作用域为整个函数；

  • 实参出现在函数调用中，是一个表达式；

  • 进行函数调用时，用传递给函数的实参对形参进行初始化

4、函数返回类型

• 函数的返回类型可以是内置类型（int 或 double）、类类型或复合类型（int & 或 string *），还可以是void 类型。

• 函数不能返回另一个函数或者内置数组类型，但可以返回指向函数的指针，或者指向数组元素的指针的指针；

• 函数必须指定返回类型，而且返回类型必须与函数里面return 类型相同。

bool is_present(int *,int);
int count(const string &,char);
Date &calendar(const char*);
void process();//无返回值

int * foo_bar(); //返回一个int型的指针，该指针可以指向数组中的一个元素

5、函数形参表

• 函数的形参可以为空，但不能省略；

• 没有任何形参的函数可以用空形参表或含有单个关键字void的形参来表示；

void process(){}
void process(void){} //两个等价

• 形参表由一系列用逗号分隔的参数类型和（可选）参数名组成，如果两个参数具有相同类型，则其类型必须重复声明；

int mainp(int v1,v2);//错误
int mainp(int v1,int v2);//正确

• 参数表中不能出现同名的参数。

• 局部与函数的变量也不能使用与函数的任意参数相同的名字；

• 调用参数时，对于每一个实参，其类型都必须与对应的形参类型相同，或具有可被转换为该形参类型的类型。

int  gcd(int v1,int v2)
{while(v2){
int temp=v2;
v2=v1%v2;
v1=temp;
}
return v1;
}

//gcd 是一个形参皆为int 型的函数，下面的函数调用都是错误的
gcd("hello","world"); //实参的类型都是const char *，这种类型无法转换为int
gcd(23324);//错误
gcd(42,10,0);//错误
gcd(3.14,6.29);//可以，double型值可以转化为int型的值，不过这种转化会导致精度损失。自动变成gcd(3,6)