char a[]和char *a的比较

指针和数组存在着一些本质的区别。当然，在某种情况下，比如数组作为函数的参数进行传递时，由于该数组自动退化为同类型的指针，所以在函数内部，作为函数参数传递进来的指针与数组确实具有一定的一致性，但这只是一种比较特殊的情况而已，在本质上，两者是有区别的。请看以下的例子：

 

char a[] = "1234567";

char *p = "1234567";

上述两个变量的内存布局分别如下：

 

数组a需要在内存中占用8个字节的空间，这段内存区通过名字a来标志。指针p则需要4个字节的空间来存放地址，这4个字节用名字p来标志。其中存放的地址几乎可以指向任何地方，也可以哪里都不指，即空指针。目前这个p指向某地连续的8个字节，即字符串"1234567"。

 

另外，例 如：对于a[2]和p[2]，二者都返回字符‘i’，但是编译器产生的执行代码却不一样。对于a[2]，执行代码是从a的位置开始，向后移动2两个字节，然后取出其中的字符。对于p[2]，执行代码是从p的位置取出一个地址，在其上加2，然后取出对应内存中的字符。

 

p指针变量本身在栈上，指向的内容在静态存储区；

 

a只是个数组名，本身不占运行时程序的空间，只是在源程序中用来标记一个字符数组（即其首地址），而数组也是存储在栈上的。

 

 

char s1[] = "a";

 

char *s2 = "b";

 

a是在运行时刻赋值的；

 

而b是在编译时就确定的；

 

但是，在以后的存取中，在栈上的数组比指针所指向的字符串(例如堆)快。

 

比如：

 

int main()

 

{

 

char a = 1;

 

char c[] = "1234567890";

 

char *p ="1234567890";

 

a = c[1];

 

a = p[1];

 

 

return 0;

 

}

 

对应的汇编代码

 

10: a = c[1];

 

00401067 8A 4D F1 mov cl,byte ptr [ebp-0Fh]

 

0040106A 88 4D FC mov byte ptr [ebp-4],cl

 

11: a = p[1];

 

0040106D 8B 55 EC mov edx,dword ptr [ebp-14h]

 

00401070 8A 42 01 mov al,byte ptr [edx+1]

 

00401073 88 45 FC mov byte ptr [ebp-4],al

 

第一种在读取时直接就把字符串中的元素读到寄存器cl中，而第二种则要先把指针值读到edx中，在根据edx读取字符，显然慢了。

 

#include<stdio.h>
#include<stdlib.h>
char *function1()
{
     char *a="cdefgh";//在靜態存儲區分配，一直到程序結束
     return a;
}

char *function2()
{
     char a[]="cdefgh";//在棧中分配，函數結束時釋放
     return a;
}
char a[]="cdefgh";
/*這個是常量字串的拷貝,
相當於strcpy(a,"cdefgh"),
這樣寫都會有字串拷貝,
造成時間和空間上的開銷,
如果字串很長儘量不要這樣寫,
由於字元陣列a在棧上,
所以在函數結束後它便無效了..
---------------
char *a="cdefgh";
a直接指向常量字串,
這個字串保存在靜態存儲區中...
所以在函數結束後,它返回的位址仍然有效..
*/
int  main()
{
    char test[]="123";
    test[0]='a';//可以修改數組內部元素的值
    char* test1="456";
    *test1='7';//test1不可以修改，是const char*的類型的值
    /*char *a="cdefgh";
    此時a為const char*，
    也就是說你不能改變*a的值。
    char a[]="cdefgh";你可以通過a[i]改變它的值。*/
    char *i=NULL ;
    char *j=NULL;
    i= function1();//結吉確定
    j= function2();//結果不確定
    printf("/n%s/n",i);
    printf("/n%s/n",j);
    system("pause");
   
}
/*(1)function1()的a和function2()的a都是自動變數，都在棧上分配空間
(2)function1()的a分配的空間=sizeof(char *)=sizeof(void *),
   任何指標的大小都是相同的,指向靜態資料區存的"cdefgh"
(3)function2()的a分配的空間=strlen("cdefgh")+1,並且用來保存"cdefgh"
(4)返回的指標，function1指向靜態資料區，function1指向棧（已自動釋放）
   故function1的值是對的
*/

 

 

=============================================================