delphi动态数组越界

先看段程序：

Delphi(Pascal) code
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);也不报错，到底为什么？
P是一个指针，这里给P[2]指向的内存赋值，因为该地址有效，所以是不会引起错误的，除非P[2]指向的是无效内存地址。
另外如果有别其他变量占用了该内存，这边改掉以后可能会引起调用其他变量时出错。动态数组本质上是指针，编译器只负责垃圾回收，不进行越界检查

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