一个有意思的小问题

var
a:array [1..4] of integer;
b:integer;
.....b:=high(a);
.........请问程序编译后，在程序代码里存放high(a)的字节是不是优化后写成4了，也就是说和写成b:=4是一样的,没有任何区别。如果是这样的话，那数组a是动态定义的又是怎样了？
var
a:array of integer;
b:integer;
....
setlength(a,random(10));
.....
b:=high(a)