C++常量指针与指针常量_数组指针与指针数组_函数指针与指针函数

常量指针与指针常量一) 常量指针。

常量是形容词，指针是名词，以指针为中心的一个偏正结构短语。

这样看，常量指针本质是指针，常量修饰它，表示这个指针乃是一个指向常量的指针（变量）。

指针指向的对象是常量，那么这个对象不能被更改。

在C/C++中，常量指针是这样声明的：1）constint *p;2）intconst *p;常量指针的使用要注意，指针指向的对象不能通过这个指针来修改，可是仍然可以通过原来的声明修改，也就是说常量指针可以被赋值为变量的地址，之所以叫做常量指针，是限制了通过这个指针修改变量的值。

例如：int a = 5;constint b = 8;constint *c = &a; // 这是合法的，非法的是对c的使用*c = 6; // 非法，但可以这样修改c指向的对象的值：a = 6;constint *d = &b; // b是常量，d可以指向b，d被赋值为b的地址是合法的细心的朋友在使用字符串处理函数的时候，应该会注意到这些函数的声明。

它们的参数一般声明为常量指针。

例如，字符串比较函数的声明是这样的：intstrcmp(const char *str1, const char *str2);可是这个函数却可以接收非常量字符串。

例如这段程序：char *str1, *str2;str1 = "abcde1234";str2 = "bcde";if(strcmp(str1, str2) == 0){printf("str1 equals str2.");}str1和str2的内容显然是可以更改的，例如可以使用“str1[0] = x;”这样的语句把str1的内容由“abcde1234”变为“xbcde1234”。

因为函数的参数声明用了常量指针的形式，就保证了在函数内部，那个常量不被更改。

也就是说，对str1和str2的内容更改的操作在函数内部是不被允许的。

（就目前的应用来看，我觉得设置常量指针就是为函数参数声明准备的，不然还真不知道用在什么地方呢，呵呵！）虽然常量指针指向的对象不能变化，可是因为常量指针是一个变量，因此，常量指针可以不被赋初始值，且可以被重新赋值。

例如：constint a = 12;constint b = 15;constint *c = &a; // 为了简化代码，很多人习惯赋初始值constint *d;d = &a; // 这样当然是可以的c = &b; // 虽然c已经被赋予初始值，可是仍然可以指向另一个变量特点是，const的位置在指针声明运算符*的左侧。

只要const位于*的左侧，无论它在类型名的左边或右边，都声明了一个指向常量的指针，叫做常量指针。

可以这么想，*左侧是常量，指针指向的对象是常量。

二) 指针常量指针是形容词，常量是名词。

这回是以常量为中心的一个偏正结构短语。

那么，指针常量的本质是一个常量，而用指针修饰它，那么说明这个常量的值应该是一个指针。

指针常量的值是指针，这个值因为是常量，所以不能被赋值。

在C/C++中，指针常量这样声明：int a;int *const b = &a; //const放在指针声明操作符的右侧只要const位于指针声明操作符右侧，就表明声明的对象是一个常量，且它的内容是一个指针，也就是一个地址。

上面的声明可以这么读，声明了一个常量b，它的值是变量a的地址（变量a的地址，不就是指向变量a的指针吗）。

因为指针常量是一个常量，在声明的时候一定要给它赋初始值。

一旦赋值，以后这个常量再也不能指向别的地址。

虽然指针常量的值不能变，可是它指向的对象是可变的，因为我们并没有限制它指向的对象是常量。

因此，有这么段程序：char *a = "abcde1234";char *b = "bcde";char *const c = &a;下面的操作是可以的。

a[0] = 'x'; // 我们并没有限制a为常量指针（指向常量的指针）或者*c[0] = 'x' // 与上面的操作一致三）指向常量的指针常量顾名思议，指向常量的指针常量就是一个常量，且它指向的对象也是一个常量。

因为是一个指针常量，那么它指向的对象当然是一个指针对象，而它又指向常量，说明它指向的对象不能变化。

在C/C++中，这么声明：constint a = 25;constint * const b = &a;看，指针声明操作符左边有一个const，说明声明的是一个指向常量的指针。

再看，指针声明操作符右边有一个const，说明声明的是一个指针常量。

前后都锁死了，那么指向的对象不能变，指针常量本身也不能变。

细细体味，相信能得其道，下面就不赘述了。

用一个例子作为总结。

虽然字符指针与其它指针的本质是一样的，可是因为字符指针常用来表示字符串，常不好理解。

下面就用字符指针来举例。

char *a = "abcde1234";const char *b = "bcde"; // b是指向常量字符串的指针变量char *const c = &a; // c是指向字符指针变量的常量const char *const d = &b; // d是指向字符常量的指针常量问题来了。

１）问：因为a是变量，a可以赋值为其它值，如"12345abc"。

那么c指向a，当a变化了，c指向什么呢？答：仍然指向"abcde1234"。

虽然a可以指向别的字符串，可是c仍然指向"abcde1234"，也就是a开始指向的对象。

２）问：a是变量，可以改变a的内容。

那么当执行了“a[0] = 'x';”后，c会怎样呢？答：c当然还指向a初始指向的字符。

不过，这个字符已经变成了'x'。

３）问：b是指向常量的指针变量，当b指向别的字符串，d怎么样？答：d仍然指向b初始的字符串。

４）问：b可以变化，b指向的字符不能变化，也就是说b[0]不能被重新赋值，可是b[1]可以被重新赋值吗？答：原则上b指向的字符是常量，并没有限制下一个字符，应该可以被赋值。

可是因为你使用字符串进行了初始赋值，而且编译器是静态编译的，C/C++程序就把b当作字符串指针来处理了，因此，当对下一个字符进行赋值时，编译不能通过。

口诀：const（*号）左边放，我是指针变量指向常量；const（*号）右边放，我是指针常量指向变量；const（*号）两边放，我是指针常量指向常量；指针变量能改指向，指针常量不能转向！要是全都变成常量，锁死了，我不能转向，你也甭想变样！一）数组指针：a pointer to an array，即指向数组的指针int (*a)[4] 数组指针表示：指向数组a的指针元素表示：(*a)[i]1.数组名本身就是一个指针，指向数组的首地址。

注意这是声明定长数组时，其数组名指向的数组首地址是常量。

而声明数组并使某个指针指向其值指向某个数组的地址（不一定是首地址），指针取值可以改变。

2.是指向数组的一个指针，如int (*p)[10] 表示一个指向10个int元素的数组的一个针。

二）指针数组：array of pointers，即用于存储指针的数组，也就是数组元素都是指针int* a[4] 指针数组表示：数组a中的元素都为int型指针元素表示：*a[i] *(a[i])是一样的，因为[]优先级高于*一个数组，若其元素均为指针类型数据，称为指针数组。

也就是说，指针数组中每一个元素都相当于一个指针变量。

其详细形式应该如下：*a[0], ...*a[n]. 每一个数组里面存储的是其指向的地址；一维指针数组的定义形式为：类型名*数组名[数组长度]例如：int *p[4]，由于[]比*优先级更高，因此p先与[4]结合，形成p[4]的形式，这显然是数组形式。

然后再与p前面的*结合，*表示此数组是指针类型的，每个数组元素都指向一个整型变量。

三）demo:关键就在于*和[]优先级上的问题，下面通过一个例子来分析一下。

声明char *ponitArray[] = {"stately" , "plump" , "buck" , "mulligan"}; 由定义知这是一个指针数组，那么sizeof(pointArray)=?呢，因为pointArray是一个存放指针的数组，而存放指针其实存放的是地址，一般用4个字节表示，而数组大小为4，故而结果就为4*4 = 16.char (*arrayPoint)[4];char t[4]="123";arrayPoint=&t;cout<<"*A = "<<*arrayPoint<<"\tA = "<<arrayPoint<<endl;上面几行代码输出结果应该是什么呢？，首先arrayPoint是一个指针，指向一个存放4个字符的C风格字符串，从这里我们可以知道arrayPoint其实是一个32位（一般）的整数，所有下一步我们要将一个长度为4的字符串地址赋给该指针，即arrayPoint=&t;，故可知输出结果就为“123”和字符串t的地址。

【函数指针】在程序运行中，函数代码是程序的算法指令部分，它们和数组一样也占用存储空间，都有相应的地址。

可以使用指针变量指向数组的首地址，也可以使用指针变量指向函数代码的首地址，指向函数代码首地址的指针变量称为函数指针。

1．函数指针定义函数类型（*指针变量名）(形参列表)；“函数类型”说明函数的返回类型，由于“()”的优先级高于“*”,所以指针变量名外的括号必不可少，后面的“形参列表”表示指针变量指向的函数所带的参数列表。

例如：int (*f)(int x);double (*ptr)(double x);在定义函数指针时请注意：函数指针和它指向的函数的参数个数和类型都应该是—致的；函数指针的类型和函数的返回值类型也必须是一致的。

2．函数指针的赋值函数名和数组名一样代表了函数代码的首地址，因此在赋值时，直接将函数指针指向函数名就行了。

例如，intfunc(int x); /* 声明一个函数*/int (*f) (int x); /* 声明一个函数指针*/f=func; /* 将func函数的首地址赋给指针f */赋值时函数func不带括号，也不带参数，由于func代表函数的首地址，因此经过赋值以后，指针f就指向函数func(x)的代码的首地址。