动态数组下标越界不报错？

先看段程序：

procedure TForm1.Button1Click(Sender: TObject);
var P:array of integer;
begin
  setlength(P,2);
  setlength(P,1);
  P[0]:=12;
  P[1]:=34;
  P[2]:=56;
  showmessage(inttostr(P[2]));
end;

这段程序是不会报错的，而且显示很正常，为什么？内存泄漏吗？后发现去掉 setlength(P,2);也不报错，到底为什么？ 
我的机子是Vista，装的Delphi7（因为Delphi2007及以上版本有些问题）。

16 个解决方案

#1

xp+D7会报错

#2

我把这个放在BUTTON下面 第一次不报错，第二次报错啦。

是不是编译方式有关？

#3

引用 1 楼 supertitan001 的回复:

xp+D7会报错

XP+D7我这不报错。。。。。几次都不报错。

#4

P是一个指针，这里给P[2]指向的内存赋值，因为该地址有效，所以是不会引起错误的，除非P[2]指向的是无效内存地址。
另外如果有别其他变量占用了该内存，这边改掉以后可能会引起调用其他变量时出错

#5

顶！

#6

终于找到解答了：对于静态数组，一旦下标越界delphi编译器会提示错误信息，而对于动态数组，delphi则不负责越界检查，也不会给数组重新分配内存空间，这也就意味着在使用动态数组时，我们必须自己解决下标越界的问题：一定要仔细检查程序是否存在下标越界的可能，在不完全了解动态数组下标上届的情况下，应该使用high函数来确定。

上面这段话出自《参透Delphi/Kylix》这本书的第66页，楼主可以下载下来看一下

#7

引用 1 楼 supertitan001 的回复:

xp+D7会报错

另外，在我这里XP+D7是不报错的，跟系统没有关系

#8

学习了。

#9

打开Complier标签页里的Range Checking项，动态数组好像也会提示的

#10

引用 9 楼 luxuewei5214 的回复:

打开Complier标签页里的Range Checking项，动态数组好像也会提示的

没有啊~~一样可以。

回四楼：P是指针，但P[2]好像不是呢——用Assigned(P[2])会报错说类型不符，而且P[2]也没有初始化，按道理很容易引发内存读写错误的，可那么多次也不见问题……

#11

哦，找到关键了，如果整段程序没有给P[2]赋过一次值的话，就会报错，看来这个赋值让程序为它开了一个内存……感觉像是VB……。
谢谢各位。
再有2个或以上回帖就散分，嘎嘎

#12

动态数组本质上是指针，编译器只负责垃圾回收，不进行越界检查。

#13

哈哈！我也遇到过同样问题，动态数组下标越界后，覆盖了紧随其后的其它变量，导致访问后面变量时总是发生地址错误，最后把数组大小设对才解决问题。

#14

引用 11 楼 delisphi 的回复:

哦，找到关键了，如果整段程序没有给P[2]赋过一次值的话，就会报错，看来这个赋值让程序为它开了一个内存……感觉像是VB……。
谢谢各位。
再有2个或以上回帖就散分，嘎嘎

也不会报错的。。。。。。。。

#15

编译不报错，执行结果会有错误

#16

SF！