C语言中数组与指针，这两者似是非是，到底是何关系？

511244213

C语言中指针与数组，除了指针是变量，可以进行赋值运算，数组地址是常量，不能进行赋值运算外（标号：区别1），还有什么区别？《C程序设计语言第二版》84页中提到，“在计算数组元素a的值时，C语言实际上是先将其转换为*(a+i)的形式，然后再进行求值，因此在程序中这两种形式是等价的”。
int arr[10]={0};
int *ptr;
ptr=arr;

*(arr+0)=0;
*(ptr+0)=10;
arr[1]=1;
ptr[2]=2;
*(ptr+3)=3;
这是不是意味着指针与数组之间除了上面提到的区别1外，其他的是一样的？但是有另外一个问题是（标号：问题1）：数组会越界，指针却不会产生越界。这个是怎么回事？

我尝试想在汇编中看看能不能看到一丝端倪，但不知道是不是水平有限，看不出什么。。。贴上来给各位大神帮忙看看，指点下。

源码：


前半部分汇编：


后半部分汇编：


上面的代码是在VC6.0中实现的，各位大神给点指导，指针与数组，到底有什么暧昧关系？
下面罗列下几个疑问：
1.按照上面汇编中的代码看，指针和数组好像没什么区别（当然指针的值可以改变，数组的首地址不能改变了），但是数组会越界，指针却不会产生越界。这个是怎么回事？
2.在前半部分汇编代码中，是用ecx保存数组长度？若是，在后半部分代码代码中ecx的值被改变，那么之后怎么知道数组的长度呢？
3.通过数组下标访问数组元素比通过指针快？

511244213

没人么？自己顶一下，不要沉了啊

solu

看汇编代码没用的，要看机器码

511244213

回复 3# solu


   

luciker1988

汇编好高端……指针与数组的区别太多了……
简单的理解你可以认为一个是常量一个是变量，另外关于数组、指针越界问题，如果我没记错C是不会对越界进行报错的，就好比你开辟了一个数组a[10];然后你访问a[11],就相当于你访问了那片内存而已，但是你并不知道a[11]是个东西你没法控制，常常会导致一些不可预估的错误；指针也是一样的，这种越界控制都是交给程序员去做的。
另外C里面指针要灵活的多，不单单是数组指针，还有函数指针、结构体指针等等，说一切皆指针都不为过……
还有一个区别就是数组是开在栈里面的，内存的释放是由系统去控制，大部分编译器生命周期就是一个大括号{}，指针通常用于开辟空间，malloc/new之类，但是必须手动释放空间，不然会内存泄漏。
别纠结汇编，没啥用，多敲点代码就懂了。

luciker1988

补充一下，全局变量除外。

511244213

回复 6# luciker1988
谢谢

   

syre

ecx并不保存长度，而是后面rep的重复次数，那行是用来初始化内存为0xCCCCCCCC的。

数组和指针实现上是一回事，但是下标访问和指针运算却不是一回事。指针运算本身是个表达式，编译以后自然会多点。不过也没准开编译优化以后就一样了。

syre

ecx并不保存长度，而是后面rep的重复次数，那行是用来初始化内存为0xCCCCCCCC的。

数组和指针实现上是一回事，但是下标访问和指针运算却不是一回事。指针运算本身是个表达式，编译以后自然会多点。不过也没准开编译优化以后就一样了。

syre

ecx并不保存长度，而是后面rep的重复次数，那行是用来初始化内存为0xCCCCCCCC的。

数组和指针实现上是一回事，但是下标访问和指针运算却不是一回事。指针运算本身是个表达式，编译以后自然会多点。不过也没准开编译优化以后就一样了。