a.指针函数是指带指针的函数,本质上是一个函数,函数返回类型是某一类型的指针,其形式一般如下所示:
类型标识符* 函数名(参数列表)
例如 int* f(int x, int y),它的意思是声明一个函数f(int x, int y),该函数返回类型为int型指针。
b.函数指针,是指向函数的指针,即本质是一个指针变量,表示的是一个指针,它指向的是一个函数,其形式一般如下所示:
类型标识符 (*函数名)(参数)。
例如 int (*pf)(int x),它的意思是声明一个函数指针,而pf=func则是将func函数的首地址赋值为指针。
引申:
c.数组指针/指针数组
数组指针就是指向数组的指针,它表示的是一个指针,它指向的是一个数组,它的重点是指针,
例如 int(*pa)[8],声明了一个指针,该指针指向了一个有8个int型元素的数组。
d.指针数组就是指针的数组,表示的是一个数组,它包含的元素是指针,它的重点是数组,
例如 int *ap[8]声明了一个数组,该数组的每个元素都是int型的指针。
f.函数模板/模板函数
函数模板是对一批模样相同的函数的说明描述,它不是某一具体的函数,模板函数则是将函数模板内的数据类型参数具体化得到重载函数。就是由模板而来的函数,函数模板是抽象的,而模板函数则是具体的。函数模板减少了程序员输入代码的工作量,是c++中功能最强的特性之一,是提高软件代码重用率的重要手段之一,函数模板的形式一般如下
template<模板类型参数>
<返回值类型> <函数名>(形参列表)
{
//函数体
}
其中<模板函数形参表>的类型可以是任何类型。需要注意的是,函数模板并不是一个实实在在的函数,它是一组函数的描述,它并不能直接执行,需要实例化成模板函数后才能执行,而一旦数据类型形参实例化以后,就会产生一个实实在在的模板函数了。
g.类模板/模板类
类模板与函数模板类似,将数据类型定义为参数,描述了代码类似类的集合,具体化为模板类后,可以用于具体的对象。
template<类型参数列表>
class <类名>
{
//类说明
};
template<类型参数列表>
<返回类型> <类名><类型表名>::<成员函数名>(形参表)
{
//函数体
}
其中<类型参数列表>与函数模板中的一样,而类模板本身不是一个真实的类,只是对类的一种描述,
必须用类型参数将其实例化为模板类后,才能用来生成具体的对象,简而言之,类是对象的抽象,而类模板是类的抽象。
h.c++中引入模板类主要有一下几处好处:
1.可用来创建动态增长和减少的数据结构
2.它是类型无关的,因此具有很高的可复用性
3.它在编译时而不是运行时检查数据类型,保证了类型的安全
4.它是平台无关的,可移植性强
5.可用于基本数据类型
k.指针常量/常量指针
指针常量是指定义的指针只能在定义的时候初始化,之后不能改变其值
其格式为:
[数据类型][*][const][指针常量名称]
例如:char* const p1; int* const p2;
常量指针的值不能改变,但是其指向的内容却可以改变。常量指针是指指向常量的指针,因为常量指针指向的对象是常量,因此这个对象的值是不能够改变的。其格式定义如下:
[数据类型][const][*][常量指针名称];
例如 int const *p; const int* p;
需要注意的是,指针常量强调的指指针的不可变性,而常量指针强调的是指针对其所指向对象的不可改变性,它所指向的对象的值是不能通过常量指针来改变的。