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函数来确定。