彻底了解指针数组，数组指针，以及函数指针，以及堆中的分配规则_把局部变量用下标对数组指针标赋值后,指针还在堆上吗-优快云博客

本文详细介绍了C++中的指针概念，包括指针的基本使用、指针与堆内存的交互方式，以及如何利用指针进行动态内存分配与释放。此外还探讨了函数指针的应用，展示了如何通过函数指针实现函数的间接调用。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

一：关于指针和堆的内存分配

先来介绍一下指针: 指针一种类型，理论上来说它包含其他变量的地址，因此有的书上也叫它：地址变量。既然指针是一个类型，是类型就有大小，在达内的服务器上或者普通的PC机上，都是４个字节大小,里边只是存储了一个变量的地址而已。不管什么类型的指针，char * ,int * ,int (*) ,string * ,float * ，都是说明了本指针所指向的地址空间是什么类型而已，了解了这个基本上所有的问题都好象都变的合理了。

在C++中，申请和释放堆中分配的存贮空间，分别使用new和delete的两个运算符来完成：

指针类型　指针变量名 = new 指针类型 (初始化)；

delete 指针名;

例如：

1、 int *p = new int(0);

它与下列代码序列大体等价：

2、int tmp = 0, *p = &tmp;

区别：p所指向的变量是由库操作符new()分配的，位于内存的堆区中，并且该对象未命名。

下面是关于new 操作的说明　：　部分引自《C++面向对象开发》

1、new运算符返回的是一个指向所分配类型变量（对象）的指针。对所创建的变量或对象，都是通过该指针来间接操作的，而动态创建的对象本身没有名字。

2、一般定义变量和对象时要用标识符命名，称命名对象，而动态的称无名对象(请注意与栈区中的临时对象的区别，两者完全不同：生命期不同，操作方法不同，临时变量对程序员是透明的)。

3、堆区是不会在分配时做自动初始化的（包括清零），所以必须用初始化式(initializer)来显式初始化。new表达式的操作序列如下：从堆区分配对象，然后用括号中的值初始化该对象。

下面是从堆中申请数组

1、申请数组空间：

指针变量名=new 类型名[下标表达式];

注意：“下标表达式”不是常量表达式，即它的值不必在编译时确定，可以在运行时确定。这就是堆的一个非常显著的特点，有的时候程序员本身都不知道要申请能够多少内存的时候，堆就变的格外有用。

2、释放数组空间：

delete [ ]指向该数组的指针变量名;

注意：方括号非常重要的，如果delete语句中少了方括号，因编译器认为该指针是指向数组第一个元素的，会产生回收不彻底的问题（只回收了第一个元素所占空间），我们通常叫它“内存泄露”，加了方括号后就转化为指向数组的指针，回收整个数组。delete [ ]的方括号中不需要填数组元素数，系统自知。即使写了，编译器也忽略。<<Think in c++>>上说过以前的delete []方括号中是必须添加个数的，后来由于很容易出错，所以后来的版本就改进了这个缺陷。

二、以下具体介绍指针

--------------指针----------------
int a=10;
int *p=&a; .

-------------指针的指针-----------
int b=20;
int *p=&b;
int **p2p=&p; 特别注意：本站所有转载文章言论不代表本站观点，本站所提供的摄影照片，插画，设计作品，如需使用，请与原作者联系.

-------------简单数组-----------------
int c[10];//整数数组，含有10个整数元素
也就是说每一个元素都是整数

--------------指针数组--------------------
int *p[10];//指针数组，含有10个指针元素
也就是说每一个元素都是指针

--------------数组指针--------------------
int (*p)[10];//数组指针，这个指针能够用来指向
含有10个元素的整数数组

------------函数指针--------------------- .

int (*p)( ); // 指向函数的指针...这里声明了一个指针p，该指针指向返回值是整型（即函数类型为整型）的函数！ !

----------------指针函数--------------------------- ...

int *p(int a,float b); //返回值为指针的函数...该函数返回指向整型变量的指针！

即该函数的类型为int *, p和上例不同，他是函数名！上例中是指针！

函数存放在内存的代码区域内，他们同样有地址，我们如何能获得函数的地址呢？

　　假如我们有一个int test(int a)的函数，那么，他的地址就是函数的名字，这一点如同数组相同，数组的名字就是数组的起始地址。

定义一个指向函数的指针用如下的形式，以上面的test()为例： .

int (*fp)(int a);//这里就定义了一个指向函数的指针 .

　　函数指针不能绝对不能指向不同类型，或是带不同形参的函数，在定义函数指针的时候我们很容易犯如下的错误。 .

int *fp(int a);//这里是错误的，因为按照结合性和优先级来看就是先和()结合，然后变成了一个返回整形指针的函数了，而不是函数指针，这一点尤其需要注意！ .

　　下面我们来看一个具体的例子： ...

#include <iostream>
#include <string>
using namespace std;

int test(int a);

void main(int argc,char* argv[])
{
cout<<test<<endl;//显示函数地址
int (*fp)(int a);
fp=test;//将函数test的地址赋给函数学指针fp
cout<<fp(5)<<"|"<<(*fp)(10)<<endl;
//上面的输出fp(5),这是标准c 的写法,(*fp)(10)这是兼容c语言的标准写法,两种同意,但注意区分,避免写的程式产生移植性问题!
cin.get(); .
}

int test(int a)
{
return a;
}

函数指针同样是能够作为参数传递给函数的，下面我们看个例子，仔细阅读您将会发现他的用处，稍加推理能够很方便我们进行一些复杂的编程工作。根据专家观察，这样的理论和现象都是值得各位站长深思的，所以希望大家多做研究学习，争取总结出更多更好的经验!

//-------------------该例以上一个例子作为基础稍加了修改-----------------------------
#include <iostream>
#include <string>
using namespace std;

int test(int);

int test2(int (*ra)(int ),int);

void main(int argc,char* argv[])
{
cout<<test<<endl;
typedef int (*fp)(int);
fp fpi;
fpi=test;//fpi赋予test 函数的内存地址

cout<<test2(fpi,1)<<endl;//这里调用test2函数的时候,这里把fpi所存储的函数地址(test的函数地址)传递了给test2的第一个形参
cin.get();
}

int test(int a)
{
return a-1;
}

int test2(int (*ra)(int),int b)//这里定义了一个名字为ra的函数指针 .
{
int c=ra(10) b;//在调用之后,ra已指向fpi所指向的函数地址即test函数
return c;
} 。

　　利用函数指针，我们能够构成指针数组，更明确点的说法是构成指向函数的指针数组，这么说可能就容易理解的多了。 ...

#include <iostream>
#include <string>
using namespace std;

void t1(){cout<<"test1";}
void t2(){cout<<"test2";}
void t3(){cout<<"test3";}
void main(int argc,char* argv[])
{
void* a[]={t1,t2,t3};
cout<<"比较t1()的内存地址和数组a[0]所存储的地址是否一致"<<t1<<"|"<<a[0]<<endl;

cout<<a[0]();//错误!指针数组是不能利用数组下标操作调用函数的
typedef void (*fp)();//自定义一个函数指针类型
fp b[]={t1,t2,t3}; //利用自定义类型fp把b[]定义趁一个指向函数的指针数组
b[0]();//现在利用指向函数的指针数组进行下标操作就能够进行函数的间接调用了;
cin.get();
} . 上面的这一小段中的错误行，为什么不能这么调用呢？

　　前一篇教程我们已说的很清楚了，但是在这里我们还是复习一下概念，指针数组元素所保存的只是个内存地址，既然只是个内存地址就不可能进行a[0]()这样地址带括号的操作，而函数指针不同他是个例外，函数指针只所以这么叫他就是因为他是指向函数指向内存的代码区的指针，他被系统授予允许和()括号操作的权利，进行间接的函数调用，既然函数指针允许这么操作，那么被定义成函数指针的数组就一定是能够相同的操作的。