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

Question

先看段程序：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及以上版本有些问题）。

Answer 1

我把这个放在BUTTON下面 第一次不报错，第二次报错啦。是不是编译方式有关？

Answer 2

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

Answer 3

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

Answer 4

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

Answer 5

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

Answer 6

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

Answer 7

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

Answer 8

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