函数:封装好的能够完成特定操作的语句块,存储在指定的内存空间。
函数定义:函数参数(完成操作需要函数外部提供的数据),返回值(操作完后返回的结果),函数名(类似于数组名,是程序为分配的机器语言代码内存的起始的地址。),参数、返回值可有可无,没有时标记为void。
函数调用:函数名(参数)。
函数原型:向编译器提供函数所需参数和返回值的数量和类型的信息。一般库函数的原型放在头文件中,所以包含(include)头文件,直接调用就好了。
函数参数的传递:
实际上参数传递是一个赋值的过程:将外部变量或常量的值复制给函数参数。
- 按值传递:整数、浮点数、一些类对象(string、array)、结构体、指针这一类数据类型,同类型之间可以直接赋值,某些不同类型之间也可以转换类型后赋值,可以看作将外部数据赋值给函数内部的变量——形参。这样得到的是原数据的副本,对函数参数进行修改并不会影响原值。
- 按地址传递:数组不支持数组间相互赋值,可以用指针指向数组来访问数组,但这时访问的是原数据,不是副本。也可以用指针访问其他数据类型。实际上也是指针间的赋值。
函数指针
前面说过函数名也是一个地址,这与数组十分相似,相对应的我们也可以将指针指向函数地址,使用指针来访问函数。这么做可以在一个函数内部对另一个函数进行调用。
#include <iostream>
using namespace std;
int f1(int i);
int main(void)
{
int (*p)(int i) = f1;
cout << (*p)(3) << endl;
cout << p(3) << endl;
return 0;
}
int f1(int i)
{
return i-1;
}
在数组中,数组名和指针名几乎是一样的用法,但是函数指针却有两种声音,一方认为函数名就是函数的指针,函数指针的声明就是一个赋值,应该像使用函数名一样去使用指针名(p(3)),一方认为p是函数指针,*p才和函数名一样((*p)(3))。最终未能达成统一,所以这两种用法都是有效用法。
指针的指针
#include <iostream>
using namespace std;
int main()
{
int a[2] = {2,4};
int b[2] = {6,8};
int q[2] = {10,12};
int w[2] = {14,16};
int* c[2] = {a,b};
int* d[2] = {q,w};
int* *p[2] = {c,d};
int** *pn = p;
cout << ***pn << "\t" << ***(pn+1) << endl;
cout << ***p << "\t" << ***(p+1) << endl;
cout << **c << "\t" << **(c+1) << endl;
cout << *a << "\t" << *(a+1) << endl;
return 0;
}
我们将指针的声明分成两部分来看:指针指向的类型,指针移动的步长。
- 步长取决于该指针所存的地址是一个多大的内存
int a[2] = {5,6};
int *p = a;
*p = a→p一个是指向一个int整型的指针,存储整数的地址,步长等于整数a[0]所占的内存大小。
int* (*pt)[2] = &a;
*pt = &p→pt是一个指向包含两个元素的数组地址的指针;存储整个数组的地址,步长等于整个数组a所占的内存:pt+1将指向数组a之后一个大小等于整个数组长度的内存。
int a[3] = {4,5,6};
int b[3] = {14,15,16};
int *p[2] = {a,b};
int* *pt = p;
p是一个包含两个指针的指针数组。
*pt=p→pt是一个指向指针数组第一个元素的指针,存储一个指针变量的地址,步长等于一个指针长度,pt+1使得指针指向指针数组第二个元素的地址(地址b),也就是说(pt+1)= &b,*(pt+1)= b,而b可以看作一个指针,存储变量b[0]的地址,**(pt+1)=b[0],相当于跨过了整个数组a的步长。
函数指针的指针
int f1(int i);
int f2(int i);
int f3(int i);
int (*p[3])(int) = {f1,f2,f3};
int (*(*pt))(int) = p;
int (*(*ph)[3])(int) = &p;
p是由三个函数指针构成的指针数组。
*pt = p→pt是指向函数指针数组首个元素的指针,和函数指针数组名用法一样。
*ph = &p→ph是指向整个函数指针数组的指针,(*ph)和函数指针数组名用法一样,ph+1步长等于整个数组p的地址表示的内存大小,也就是整个数组的长度。