C++ 函数详解

目录

函数概述

函数的分类

函数的参数

函数的调用

函数的嵌套调用

函数的链式访问

函数声明和定义

函数递归

---

函数概述

函数——具有某种功能的代码块。

一个程序中我们经常会用到某种功能，如两数相加，如果每次都在需要用到时实现，那么就显得过于繁杂。此时，我们就可以将两数相加的功能封装起来，在需要使用的地方进行函数调用即可。

函数的分类

库函数：

• 我们知道在我们学习C语言编程的时候，总是在一个代码编写完成之后迫不及待的想知道结果，想把这个结果打印到我们的屏幕上看看。这个时候我们会频繁的使用一个功能：将信息按照一定的格式打印到屏幕上（printf）。
• 在编程的过程中我们会频繁的做一些字符串的拷贝工作（strcpy）。
• 在编程是我们也计算，总是会计算n的k次方这样的运算（pow）。

像上面我们描述的基础功能，它们不是业务性的代码。我们在开发的过程中每个程序员都可能用的到，为了支持可移植性和提高程序的效率，所以C语言的基础库中提供了一系列类似的库函数，方便程序员进行软件开发。

那么库函数都有哪些呢？这里我给大家提供一个使用频率非常高的网站：
http://www.cplusplus.com（简易轻便，缺点是全英文但并不影响阅读）在里面我们可查询到各种各样的库函数及其使用方法。

库函数数量很多，无法一一列举，只能对其分类：

• IO函数
• 字符串操作函数
• 字符操作函数
• 内存操作函数
• 时间/日期函数
• 数学函数
• 其他库函数 ​

自定义函数：

如果库函数能干所有的事情，那还要程序员干什么？

所以更加重要的是自定义函数。

自定义函数和库函数一样，有函数名，返回值类型和函数参数。

但是不一样的是这些都是我们自己来设计。这给程序员一个很大的发挥空间。

函数的构成：

函数返回值类型  函数名  （参数1，参数2，参数3......)
{
       //...函数体
}

函数的参数

C语言中函数的参数一般分为两种：

• 实际参数（实参）：

真实传给函数的参数，叫实参。

实参可以是：常量、变量、表达式、函数等。

无论实参是何种类型的量，在进行函数调用时，它们都必须有确定的值，以便把这些值传送给形参。

• 形式参数（形参）：

形式参数是指函数名后括号中的变量，因为形式参数只有在函数被调用的过程中才实例化（分配内存单元），所以叫形式参数。形式参数当函数调用完成之后就自动销毁了。因此形式参数只在函数中有效。

举例：交换两个变量num1和num2中的值；

#include <stdio.h>
//实现成函数，但是不能完成任务
void Swap1(int x, int y) {
	int tmp = 0;
	tmp = x;
	x = y;
	y = tmp;
}
//正确的版本
void Swap2(int* px, int* py) {
	int tmp = 0;
	tmp = *px;
	*px = *py;
	*py = tmp;
}
int main()
{
	int num1 = 1;
	int num2 = 2;
	Swap1(num1, num2);
	printf("Swap1::num1 = %d num2 = %d\n", num1, num2);
	Swap2(&num1, &num2);
	printf("Swap2::num1 = %d num2 = %d\n", num1, num2);
	return 0;
}

运行结果如图所示，至于为什么两个函数的运行结果不相同，原因如下：

• 首先 Swap1 和 Swap2 函数中的参数 x，y，px，py 都是形式参数。在main函数中传给 Swap1 的 num1 ，num2 和传给 Swap2 函数的 &num1 ， &num2 是实际参数。
• 在调用函数Swap1时，形参 x 和 y 拥有自己的空间，同时拥有了和实参一模一样的内容。此时x=1，y=2，当函数执行完之后，x=2，y=2。x和y确实交换了值，但与num1和num2并没有什么关系。
• Swap2不同，形参 px、py是指针变量（int*为指针类型，后期会讲），对它俩进行解引用后再将值交换，实际上交换的就是num1和num2所在空间的内容。

所以我们可以简单的认为：形参实例化之后其实相当于实参的一份临时拷贝。
 

函数的调用

函数的调用分为两种：

传值调用；函数的形参和实参分别占有不同内存块，对形参的修改不会影响实参。（例如Swap1）

传址调用；传址调用是把函数外部创建变量的内存地址传递给函数参数的一种调用函数的方式。这种传参方式可以让函数和函数外边的变量建立起真正的联系，也就是函数内部可以直接操作函数外部的变量。（例如Swap2）

函数的嵌套调用

 在一个函数中可以调用另外一个函数。

#include<stdio.h>
int add(int x, int y)//函数1
{
	return x + y;
}

int addplus(int x, int y,int z)//函数2
{
	int sum = 0;
	sum = add(x, y);//调用函数1
	return sum + z;
}
int main()
{
	int num1 = 1;
	int num2 = 2;
	int num3 = 3;
	int pr=addplus(num1, num2, num3);
	printf("%d\n", pr);
	return 0;
}

函数的链式访问

把一个函数的返回值作为另外一个函数的参数。

#include<stdio.h>
int add(int x, int y)//add函数返回值是int类型
{
	return x + y;
}

#include <stdio.h>
int main()
{
	int num1 = 1;
	int num2 = 2;
	printf("%d\n", add(num1,num2));
	printf("%d", printf("%d", printf("%d", 43)));
	//结果是啥？
	//注：printf函数的返回值是打印在屏幕上字符的个数
	return 0;
}

函数声明和定义

函数声明：

• 告诉编译器有一个函数叫什么，参数是什么，返回类型是什么。但是具体是不是存在，函 数声明决定不了；

• 函数的声明一般出现在函数的使用之前。要满足先声明后使用；

• 函数的声明一般要放在头文件中的。

#pragma once
#include<stdio.h>
#include<stdlib.h>
#include<assert.h>

//申请一个结点
SLTNode* BuySLTNode(SLTDataType data);
//创建一个链表，包含数据为0~n
SLTNode* CreateSList(int n);
//释放内存
void SLTDestroy(SLTNode** pphead);
//尾插
void SLTPushBack(SLTNode** pphead, SLTDataType data);
//尾删
void SLTPopBack(SLTNode** pphead);
//...

 函数的定义是指函数的具体实现，交待函数的功能实现。

SLTNode* BuySLTNode(SLTDataType data)
{
	SLTNode* newNode = (SLTNode*)malloc(sizeof(SLTNode));
	//检查是否申请成功
	if (newNode == NULL)
	{
		perror("malloc fail");
		exit(-1);
	}
 
	//对newNode进行初始化
	newNode->data = data;
	newNode->next = NULL;
 
	//返回申请成功的结点
	return newNode;
}
 
SLTNode* CreateSList(int n)
{
	...//过程省略
}
 
void SLTDestroy(SLTNode** pphead)
{
	...//过程省略
}
 
void SLTPushBack(SLTNode** pphead, SLTDataType data)
{
	...//过程省略
}
void SLTPopBack(SLTNode** pphead)
{
	...//过程省略
}

函数递归

 程序调用自身的编程技巧称为递归（ recursion）。

递归做为一种算法在程序设计语言中广泛应用。 一个过程或函数在其定义或说明中有直接或间接调用自身的一种方法，它通常把一个大型复杂的问题层层转化为一个与原问题相似的规模较小的问题来求解， 递归策略 只需少量的程序就可描述出解题过程所需要的多次重复计算，大大地减少了程序的代码量。

递归的主要思考方式在于：把大事化小。

函数递归的两个必要条件：

• 存在限制条件，当满足这个限制条件的时候，递归便不再继续；

• 每次递归调用之后越来越接近这个限制条件。

举例：
接受一个整型值（无符号），按照顺序打印它的每一位（例如：输入：1234，输出 1 2 3 4）。

#include <stdio.h>
void print(int n) 
{
	if (n > 9)
	{
		print(n / 10);
	}
	printf("%d ", n % 10);
}
int main()
{
	int num = 1234;
	print(num);
	return 0;
}

函数在被调用时会建立函数栈帧（简单理解为建立函数栈帧就是在内存中申请了一块中间来运作函数执行）。有些情况下，递归并不是特别高效，例如遇到斐波那契数列的问题时，就不再那么实用（虽然递归的实现方式易于理解代码）。

举例

//求斐波那契数列中第n个数
int fib(int n) {
	if (n <= 2)
		return 1;
	else
		return fib(n - 1) + fib(n - 2);
}

这段代码理论上可以求出任何n的结果，但是实际上当n等于50左右程序就会挂掉。原因是这段代码的算法对内存的消耗巨大。

在调试 fib 函数的时候，如果你的参数比较大，那就会报错： stack overflow（栈溢出）这样的信息。系统分配给程序的栈空间是有限的，但是如果出现了死循环，或者（死递归），这样有可能导致一直开辟栈空间，最终产生栈空间耗尽的情况，这样的现象我们称为栈溢出。

那如何解决上述的问题？

• 将递归改写成非递归；
• 使用static对象替代 nonstatic 局部对象。在递归函数设计中，可以使用 static对象替代nonstatic局部对象（即栈对象），这不 仅可以减少每次递归调用和返回时产生和释放 nonstatic 对象的开销，而且static 对象还可以保存递归调用的中间状态，并且可为各个调用层所访问；

举例：下面代码就采用了非递归的方式来实现：

//求第n个斐波那契数
int fib(int n) {
	int result;
	int pre_result;
	int next_older_result;
	result = pre_result = 1;
	while (n > 2)
	{
		n -= 1;
		next_older_result = pre_result;
		pre_result = result;
		result = pre_result + next_older_result;
	}
	return result;
}

• 许多问题是以递归的形式进行解释的，这只是因为它比非递归的形式更为清晰。

• 但是这些问题的迭代实现往往比递归实现效率更高，虽然代码的可读性稍微差些。

• 当一个问题相当复杂，难以用迭代实现时，此时递归实现的简洁性便可以补偿它所带来的运行时开销。