C++函数、函数指针、指针的指针、函数指针的指针

函数：封装好的能够完成特定操作的语句块，存储在指定的内存空间。

函数定义：函数参数（完成操作需要函数外部提供的数据），返回值（操作完后返回的结果），函数名（类似于数组名，是程序为分配的机器语言代码内存的起始的地址。），参数、返回值可有可无，没有时标记为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的地址表示的内存大小，也就是整个数组的长度。