目录
函数
1. 函数是什么?
在计算机科学中,子程序(英语:Subroutine, procedure, function, routine, method,subprogram, callable unit),是一个大型程序中的某部分代码, 由一个或多个语句块组成。它负责完成某项特定任务,而且相较于其他代 码,具备相对的 独立性 。一般会有输入参数并有返回值,提供对过程的封装和细节的隐藏。这些代码通常被集成为软件库。
2. C语言中函数的分类
1. 库函数
2. 自定义函数
2.1 库函数:
为什么会有库函数?
1. 我们知道在我们学习 C 语言编程的时候,总是在一个代码编写完成之后迫不及待的想知道 结果,想把这个结果打印到我们的屏幕上看看。这个时候我们会频繁的使用一个功能:将信息按照一定的格式打印到屏幕上(printf )。2. 在编程的过程中我们会频繁的做一些字符串的拷贝工作( strcpy )。3. 在编程是我们也计算,总是会计算 n 的 k 次方这样的运算( pow )。
像上面我们描述的基础功能,它们不是业务性的代码。我们在开发的过程中每个程序员都可能用的到,为了支持可移植性和提高程序的效率,所以C
语言的基础库中提供了一系列类似的库函数,方便程序员进行软件开发。
简单的总结,
C
语言常用的库函数都有:
- IO函数
- 字符串操作函数
- 字符操作函数
- 内存操作函数
- 时间/日期函数
- 数学函数
- 其他库函数
注:
但是库函数必须知道的一个秘密就是:使用库函数,必须包含
#include
对应的头文件。
2.1.1 如何学会使用库函数?
需要全部记住吗?
No
需要学会查询工具的使用:MSDN(Microsoft Developer Network)
英文很重要。最起码得看懂文献。
2.2 自定义函数
如果库函数能干所有的事情,那还要程序员干什么?
所有更加重要的是
自定义函数
。
自定义函数和库函数一样,有函数名,返回值类型和函数参数。
但是不一样的是这些都是我们自己来设计。这给程序员一个很大的发挥空间。
函数的组成:
ret_type fun_name(para1, * )
{
statement;//语句项
}
ret_type 返回类型
fun_name 函数名
para1 函数参数
我们举一个例子:
写一个函数可以找出两个整数中的最大值
#include <stdio.h>
//get_max函数的设计
int get_max(int x, int y)
{
return (x>y)?(x):(y);
}
int main()
{
int num1 = 10;
int num2 = 20;
int max = get_max(num1, num2);
printf("max = %d\n", max);
return 0;
}
再举个例子:
写一个函数可以交换两个整形变量的内容
#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;
}
3. 函数的参数
3.1 实际参数(实参)
真实传给函数的参数,叫实参。实参可以是:常量、变量、表达式、函数等。无论实参是何种类型的量,在进行函数调用时,它们都必须有确定的值,以便把这些值传送给形参。
3.2 形式参数(形参)
形式参数是指函数名后括号中的变量,因为形式参数只有在函数被调用的过程中才实例化(分配内存单元),所以叫形式参数。形式参数当函数调用完成之后就自动销毁了。因此形式参数只在函数中有效。
上面
Swap1
和
Swap2
函数中的参数
x
,
y
,
px
,
py
都是
形式参数
。
在
main
函数中传给
Swap1
的
num1
,
num2
和传给
Swap2
函数的
&num1
,
&num2
是
实际参数。
x ,
y
拥有自己的空间,同时拥有了和实参一模一样的内容。
所以我们可以简单的认为:
形参实例化之后其实相当于实参的一份
临时拷贝
。
4. 函数的调用
4.1 传值调用
函数的形参和实参分别占有不同内存块,对形参的修改不会影响实参。
4.2 传址调用
传址调用是把函数外部创建变量的内存地址传递给函数参数的一种调用函数的方式。
这种传参方式可以让函数和函数外边的变量建立起真正的联系,也就是函数内部可以直接操
作函数外部的变量。
4.3 练习
1.
写一个函数可以判断一个数是不是素数。
2.
写一个函数判断一年是不是闰年。
3.
写一个函数,实现一个整形有序数组的二分查找。
4.
写一个函数,每调用一次这个函数,就会将
num
的值增加
1
。
5. 函数的嵌套调用和链式访问
函数和函数之间可以根据实际的需求进行组合的,也就是互相调用的。
5.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;
}
函数可以嵌套调用,但是不能嵌套定义。
5.2 链式访问
把一个函数的返回值作为另外一个函数的参数
#include <stdio.h>
#include <string.h>
int main()
{
char arr[20] = "hello";
int ret = strlen(strcat(arr,"bit"));//这里介绍一下strlen函数
printf("%d\n", ret);
return 0;
}
#include <stdio.h>
int main()
{
printf("%d", printf("%d", printf("%d", 43)));
//结果是啥?
//注:printf函数的返回值是打印在屏幕上字符的个数
return 0;
}
6. 函数的声明和定义
6.1 函数声明:
1. 告诉编译器有一个函数叫什么,参数是什么,返回类型是什么。但是具体是不是存在,函数声明决定不了。2. 函数的声明一般出现在函数的使用之前。要满足 先声明后使用 。3. 函数的声明一般要放在头文件中的。
6.2 函数定义:
函数的定义是指函数的具体实现,交待函数的功能实现
test.h
的内容
放置函数的声明
#ifndef __TEST_H__#define __TEST_H__// 函数的声明int Add ( int x , int y );#endif //__TEST_H__
test.c
的内容
放置函数的实现
#include "test.h"// 函数 Add 的实现int Add ( int x , int y ){return x + y ;}
7. 函数递归
7.1 什么是递归?
程序调用自身的编程技巧称为递归( recursion )。递归做为一种算法在程序设计语言中广泛应用。 一个过程或函数在其定义或说明中有直接或间接调用自身的一种方法,它通常把一个大型复杂的问题层层转化为一个与原问题相似的规模较小的问题来求解,递归策略只需少量的程序就可描述出解题过程所需要的多次重复计算,大大地减少了程序的代码量。递归的主要思考方式在于: 把大事化小
7.2 递归的两个必要条件
存在限制条件,当满足这个限制条件的时候,递归便不再继续。每次递归调用之后越来越接近这个限制条件
练习:编写函数不允许创建临时变量,求字符串的长度
#incude <stdio.h>
int Strlen(const char*str)
{
if(*str == '\0')
return 0;
else
return 1+Strlen(str+1);
}
int main()
{
char *p = "abcdef";
int len = Strlen(p);
printf("%d\n", len);
return 0;
}
提示:
1. 许多问题是以递归的形式进行解释的,这只是因为它比非递归的形式更为清晰。2. 但是这些问题的迭代实现往往比递归实现效率更高,虽然代码的可读性稍微差些。3. 当一个问题相当复杂,难以用迭代实现时,此时递归实现的简洁性便可以补偿它所带来的运行时开销。
函数递归的几个经典题目(自主研究):
1. 汉诺塔问题2. 青蛙跳台阶问题
数组
1. 一维数组的创建和初始化
1.1 数组的创建
数组是一组相同类型元素的集合。
数组的创建方式:
type_t arr_name [ const_n ];//type_t 是指数组的元素类型//const_n 是一个常量表达式,用来指定数组的大小
注:
数组创建,在
C99
标准之前,
[ ]
中要给一个
常量
才可以,
不能使用变量
。在
C99
标准支持了变长数组的概念,数组的大小可以使用变量指定,但是数组不能初始化。
1.2 数组的初始化
数组的初始化是指,在创建数组的同时给数组的内容一些合理初始值(初始化)。
看代码:
int arr1[10] = {1,2,3};
int arr2[] = {1,2,3,4};
int arr3[5] = {1,2,3,4,5};
char arr4[3] = {'a',98, 'c'};
char arr5[] = {'a','b','c'};
char arr6[] = "abcdef";
数组在创建的时候如果想不指定数组的确定的大小就得初始化。数组的元素个数根据初始化的内容来确定。
1.3 一维数组的使用
对于数组的使用我们之前介绍了一个操作符:
[ ]
,下标引用操作符。它其实就数组访问的操作符。 我们来看代码
#include <stdio.h>
int main()
{
int arr[10] = {0};//数组的不完全初始化
//计算数组的元素个数
int sz = sizeof(arr)/sizeof(arr[0]);
//对数组内容赋值,数组是使用下标来访问的,下标从0开始。所以:
int i = 0;//做下标
for(i=0; i<10; i++)//这里写10,好不好?
{
arr[i] = i;
}
//输出数组的内容
for(i=0; i<10; ++i)
{
printf("%d ", arr[i]);
}
return 0;
}
总结
:
1. 数组是使用下标来访问的,下标是从 0 开始。2. 数组的大小可以通过计算得到。
1.4 一维数组在内存中的存储
接下来我们探讨数组在内存中的存储。
看代码:
#include <stdio.h>
int main()
{
int arr[10] = {0};
int i = 0;
int sz = sizeof(arr)/sizeof(arr[0]);
for(i=0; i<sz; ++i)
{
printf("&arr[%d] = %p\n", i, &arr[i]);
}
return 0;
}
仔细观察输出的结果,我们知道,随着数组下标的增长,元素的地址,也在有规律的递增。
由此可以得出结论:
数组在内存中是连续存放的
2. 二维数组的创建和初始化
2.1 二维数组的创建
// 数组创建int arr [ 3 ][ 4 ];char arr [ 3 ][ 5 ];double arr [ 2 ][ 4 ];
2.2 二维数组的初始化
// 数组初始化int arr [ 3 ][ 4 ] = { 1 , 2 , 3 , 4 };int arr [ 3 ][ 4 ] = {{ 1 , 2 },{ 4 , 5 }};int arr [][ 4 ] = {{ 2 , 3 },{ 4 , 5 }}; // 二维数组如果有初始化,行可以省略,列不能省略
2.3 二维数组的使用
二维数组的使用也是通过下标的方式。
看代码:
#include <stdio.h>
int main()
{
int arr[3][4] = {0};
int i = 0;
for(i=0; i<3; i++)
{
int j = 0;
for(j=0; j<4; j++)
{
arr[i][j] = i*4+j;
}
}
for(i=0; i<3; i++)
{
int j = 0;
for(j=0; j<4; j++)
{
printf("%d ", arr[i][j]);
}
}
return 0;
}
2.4 二维数组在内存中的存储
像一维数组一样,这里我们尝试打印二维数组的每个元素
#include <stdio.h>
int main()
{
int arr[3][4];
int i = 0;
for(i=0; i<3; i++)
{
int j = 0;
for(j=0; j<4; j++)
{
printf("&arr[%d][%d] = %p\n", i, j,&arr[i][j]);
}
}
return 0;
}
输出的结果是这样的:
通过结果我们可以分析到,其实二维数组在内存中也是连续存储的。
3. 数组越界
数组的下标是
有范围限制
的。
数组的下规定是从
0
开始的,如果数组有
n
个元素,最后一个元素的下标就是
n-1
。
所以数组的下标如果小于0,或者大于n-1,就是数组越界访问了,超出了数组合法空间的访问。
C
语言本身是不做数组下标的越界检查,编译器也不一定报错,但是编译器不报错,并不意味着程序就 是正确的, 所以程序员写代码时,最好自己做越界的检查。
4. 数组作为函数参数
往往我们在写代码的时候,会将数组作为参数传个函数,比如:我要实现一个冒泡排序(这里要讲算法思想)函数
将一个整形数组排序。
那我们将会这样使用该函数:
4.1 冒泡排序函数的错误设计
#include <stdio.h>
void bubble_sort(int arr[])
{
int sz = sizeof(arr)/sizeof(arr[0]);//这样对吗?
int i = 0;
for(i=0; i<sz-1; i++)
{
int j = 0;
for(j=0; j<sz-i-1; j++)
{
if(arr[j] > arr[j+1])
{
int tmp = arr[j];
arr[j] = arr[j+1];
arr[j+1] = tmp;
}
}
}
}
int main()
{
int arr[] = {3,1,7,5,8,9,0,2,4,6};
bubble_sort(arr);//是否可以正常排序?
int i = 0;
for(i=0; i<sizeof(arr)/sizeof(arr[0]); i++)
{
printf("%d ", arr[i]);
}
return 0;
}
出问题,那我们找一下问题,调试之后可以看到
bubble_sort
函数内部的
sz
,是
1
。
难道数组作为函数参数的时候,不是把整个数组的传递过去?
4.2 数组名是什么?
#include <stdio.h>
int main()
{
int arr[10] = {1,2,3,4,5};
printf("%p\n", arr);
printf("%p\n", &arr[0]);
printf("%d\n", *arr);
//输出结果
return 0;
}
结论:
数组名是数组首元素的地址。(有两个例外)
如果数组名是首元素地址,那么:
int arr [ 10 ] = { 0 };printf ( "%d\n" , sizeof ( arr ));
为什么输出的结果是:
40
?
补充:
1. sizeof(数组名
)
,计算整个数组的大小,
sizeof
内部单独放一个数组名,数组名表示整个数组。
2. &数组名,取出的是数组的地址。
&
数组名,数组名表示整个数组。
除此
1,2
两种情况之外,所有的数组名都表示数组首元素的地址
4.3 冒泡排序函数的正确设计
当数组传参的时候,实际上只是把数组的首元素的地址传递过去了。
所以即使在函数参数部分写成数组的形式:
int arr[]
表示的依然是一个指针:
int *arr
。
那么,函数内部的
sizeof(arr)
结果是
4。
正确设计