【C/C++】系列文章目录
第三节【C/C++】初识C语言语句、函数、数组、运算符、关键字
目录
前言
本章节是对前述章节函数部分的补充,涉及函数调用中的传值调用和传址调用,递归,栈溢出等。
一、函数是什么?
我们知道函数是C程序中的子程序,而:
在计算机科学中,子程序(英语:Subroutine, procedure, function, routine, method, subprogram, callable unit),是一个大型程序中的某部分代码, 由一个或多个语句块组 成。它负责完成某项特定任务,而且相较于其他代 码,具备相对的独立性。
一般会有输入参数并有返回值,提供对过程的封装和细节的隐藏。这些代码通常被集成为软件库。
二、函数的分类
- 库函数—已经定义并随着编译系统发布的、可供用户调用的标准函数。使用库函数,必须包含#include对应的头文件。
如:printf,scanf函数须引用stdio.h文件,sqrt函数须引用math.h文件等。
- IO函数
- 字符串操作函数
- 字符操作函数
- 内存操作函数
- 时间/日期函数
- 数学函数
- 其他库函数
2.自定义函数——用户根据需要自己定义的。
如:定义一个函数,返回两个数中的最大值。
int get_max(int x, int y)
{
return (x>y)?(x):(y);
}
三、函数的参数
1.实际参数(实参)
真实传给函数的参数,叫实参。
实参可以是:常量、变量、表达式、函数等。
无论实参是何种类型的量,在进行函数调用时,它们都必须有确定的值,以便把这些值传送给形参。
int Add(int x, int y)
{
int result = 0;
result = x + y;
return result;
}
//调用函数
Add(2,3)//2,3是实参,是常量
int a = 2;
int b = 3;
Add(a,b);//a,b是实参,是变量
Add(1+1,1+2),//1+1,1+2是实参,是表达式
printf("%d\n",Add(2,3));//Add(2,3)是实参,是函数。printf函数的参数
2.形式参数(形参)
形式参数是指函数名后括号中的变量,因为形式参数只有在函数被调用的过程中猜实例化(分配内存单元),所以叫形式参数。形式参数当函数调用完成之后就自动销毁了。因此形式参数只在函数中有效。
以int Add(int x, int y)为例,x,y就是形式参数,在被调用的时候也会有自己的内存空间,作用范围也只在Add函数内部。
四、函数的调用
函数名(实参列表);
如:Add(2,3);
1.传值调用
函数的形参和实参分别占有不同的内存块,对形参的修改不会影响实参。
2.传址调用
传址调用是把函数外部创建变量的内存地址传递给函数参数的一种调用函数的方式。
这种传参方式可以让函数和函数外边的变量建立起真正的练习,也就是函数内部可以直接操作函数外部的变量,修改形参就是在修改实参。
例:分别用两种调用方式写一个交换两个整数的函数。
传值调用:
过程图如下:
以上两张图的过程,可以看出调用Swrap1函数调用时,为x,y也分配了内存单元,值也变为了1,2,此时a,b,x,y都相应的有各自的内存空间,而在执行完Swrap1函数时,x,y的值是交换了的,x变为了2,y变为了1,但是a和b并没有变化。因此传值调用操作的只是形参,并不影响实参,本质是形参和实参是各自独立的内存空间,形参无法找到实参去进行操作,只能自己玩自己的。
那怎么才能让形参找到实参呢?我们之前讲的操作符*间接运算符,可以通过地址获取到变量。所以,用指针变量接收地址,不就可以通过指针找到变量了。
传址调用:
可以看到,x中存储的是a的地址,y中存储的是b的地址。x和y都是指针变量。 *x找到变量a,*y找到变量b进行操作。
最终外边的实参a和b被交换了。
这就相当于a和b把自己内存空间的地址给了x和y,x和y通过间接运算符*找到了a和b的家,把a家里的1拿出来,把b家里的2拿出来放到a家里边了,又把1塞到了b家里。
因此传址调用本质就是通过地址直接找到了实参,对实参进行操作。
五、函数的嵌套调用和链式访问
1.嵌套调用
#include <stdio.h>
void new_line()
{
printf("hehe\n");
}
void three_line()
{
int i = 0;
for(i=0; i<3; i++)
{
new_line();
}
}
int main()
{
three_line();
return 0;
}
函数可以嵌套调用,但是不能嵌套定义。
2.链式访问
int main()
{
printf("%d", printf("%d", printf("%d", 43)));
//结果是啥?
//注:printf函数的返回值是打印在屏幕上字符的个数
return 0;
}
结果是4321。
printf函数返回的是打印的字符数。打印43两个字符返回2,打印2返回1,在打印1。
注意d和e的值。虽然都是985三个字符,但是打印e时格式化字符串参数处还多了一个换行符'\n',也要计算在内。
拓展:scanf返回的是什么呢?
scanf返回的是读取并被分配的变量个数。
六、函数的声明和定义
1.函数声明:
返回值类型 函数名(形参列表);
int Add(int x, int y);
1. 告诉编译器有一个函数叫什么,参数是什么,返回类型是什么。但是具体是不是存在,函数
声明决定不了。
2. 函数的声明一般出现在函数的使用之前。要满足先声明后使用。
3. 函数的声明一般要放在头文件中的。
2.函数定义
返回类型 函数名 (形参表列)
{
语句系列;
return 表达式;
}
函数的定义是指函数的具体实现,交待函数的功能实现。
//add.c文件
int Add(int x, int y)
{
int result = 0;
result = x + y;
return result;
}
函数的声明和定义可以写在 同一源文件中,如上。也可以分文件书写,如:
add.h中书写函数声明,add.c中书写函数实现。
add.h文件:
#ifndef __ADD_H__
#define __ADD_H__
//函数的声明
int Add(int x, int y);
#endif //__ADD_H__
add.c文件
#include "add.h"//使用#include引入add.h头文件
//函数Add的实现
int Add(int x, int y)
{
return x+y;
}
另外:
我们看到函数不写返回类型,仍然可以正常调用使用。因为函数如果不写返回类型,则默认返回是int类型,正好符合上边Add函数的返回值类型。
七、函数递归
1. 什么是递归?
程序调用自身的编程技巧称为递归( recursion)。
递归做为一种算法在程序设计语言中广泛应用。 一个过程或函数在其定义或说明中有直接或间接
调用自身的一种方法,它通常把一个大型复杂的问题层层转化为一个与原问题相似的规模较小的问题来求解,
递归策略
只需少量的程序就可描述出解题过程所需要的多次重复计算,大大地减少了程序的代码量。
2.递归的必要条件
- 存在限制条件,当满足这个限制条件的时候,递归便不再继续。
- 每次递归调用之后越来越接近这个限制条件。
示例1:编写函数不允许创建临时变量,求字符串的长度。
#incude <stdio.h>
int Strlen(const char*str)
{
if(*str == '\0')
return 0;
else
return 1+Strlen(str+1);
}
int main()
{
char *p = "abc";
int len = Strlen(p);
printf("%d\n", len);
return 0;
}
以字符串“abc”为例:
- 传入字符串首地址,进入Strlen中*str指向字符‘a',!='\0',返回1+(指针后移一位指向'b'再次进入Strlen函数)
- ‘b',!='\0',返回1+(指针后移一位指向'c'再次进入Strlen函数)
- ‘c',!='\0',返回1+(指针后移一位指向'\0'再次进入Strlen函数)
- '\0',=='\0',返回0,并回到调用处3的括号处
- 3号得到返回值1+(0),再次返回调用处2的括号处
- 2号得到返回值1+(1+(0)),再次返回调用处1的括号处
- 最终得到返回值1+(1+(1+(0)))=3;
int fib(int n)
{
if (n <= 2)
return 1;
else
return fib(n - 1) + fib(n - 2);
}
然而当我们将球斐波那契数列使用递归的写法,求第10000个数时,程序会崩溃报错。
这个错误就是栈溢出。
我们知道内存分为栈区,堆区,静态区。
可以看到函数在栈区中开辟空间,那么我们单独将栈区拿出来进行递归栈溢出的讲解。
系统分配给程序的栈空间是有限的,每调用一个函数都会在栈区中为其分配空间,函数调用结束,对应的空间会被释放。而不停的调用函数,总会把栈区空间占满,导致栈溢出。
而且有时候使用递归并不高效,以fib函数为例,想求得fib(50),过程如下图,可以看到全是重复的求值。
将以上递归换一种写法:
int fb2(int n)
{
int a = 1;
int b = 1;
int c = 1;
while (n > 2)
{
c = a + b;
a = b;
b = c;
n--;
}
return c;
}
- 许多问题是以递归的形式进行解释的,这只是因为它比非递归的形式更为清晰。
- 但是这些问题的迭代实现往往比递归实现效率更高,虽然代码的可读性稍微差些。
- 当一个问题相当复杂,难以用迭代实现时,此时递归实现的简洁性便可以补偿它所带来的运行时开销。
八、其他
可将项目生成静态库(.lib)文件,静态库文件是二进制的,这样写一个模块功能给别人,给对方头文件(注释说明好函数功能和使用方法),和生成的lib文件就可以保护自己的源码不被窃取。
项目名称-属性-常规-配置类型-选择静态库
使用#pragma comment(lib, "sub.lib")导入静态库,“sub.lib"是生成的静态库文件名。
总结
本章节主要有函数的声明,定义,及其文件写法,递归的实现及必要条件,栈溢出,非递归和递归的选择。静态库的使用和生成静态库的方法。