작업하다가 DynamicArray를 사용할 때 생겼던 일이지요..

var
  DynamicArray: Array of Integer;
begin
  SetLength(DynamicArray, 100);
  FillChar(DynamicArray, SizeOf(DynamicArray), 0);
  bla bla.....
  DynamicArray := 1234;
end;

이렇게 하고 실행했는데 Range check error 흠냠.. 이게 뭔가... 혹시하고 다음의 코드로 봤더니

var
  DynamicArray: Array of Integer;
  StaticArray: Array [0..99] of Integer;
begin
  SetLength(DynamicArray, 100);
  TraceFmt('Dynamic: %p, %p', [@DynamicArray, @DynamicArray[0]]);
  TraceFmt('Static: %p, %p', [@StaticArray, @StaticArray[0]]);

결과:
Debug Output: "Dynamic: 0012F50C, 01093368" Process Tests.exe (2584)
Debug Output: "Static: 0012F37C, 0012F37C" Process Tests.exe (2584)

음 DynamicArray와 StaticArray의 구조가 다릅니다. Static array는 상상하는데로 그렇게 바로 그 위치에 있는데.. DynamicArray는 배열 변수의 포인터와 배열이 데이터가 시작하는 변수의 포인터가 다름니다. 이걸보니 이해가되네요.. DynamicArray 변수는 배열의 포인터이고 실제 데이터는 데이터 크기 잡아줄때 그때 만들어서 설정해주는 것이다. 그런식으로 이해가 되는군요. 그러니 당연히 FillChar(DynamicArray, SizeOf(DynamicArray), 0)이 엉뚱한 결과를 가져오게 되는것이겠지요.

근데 또 재밌는 현상은 Dynamic array를 var 파라미터로 넘겨줄때(call by reference)는 static array와 동일하게 넘어갑니다. 그래서 위의 성질을 이용해서 생각했던 다음과 같은 함수는 정상적으로 작동하지 않습니다.

  function IsDynamicArray(var Ary: Array of Integer): Boolean;
  begin
    Result := @Ary <> @Ary[0];
  end;

이미 파라미터로 넘어오는 순간 @ary = @ary[0] 이되어 static array 처럼 됩니다.

그 럼 원 문제로 넘어가서 변수를 선언하고 바로 초기화하는데 dynamic array는 어떻게 하고 static array는 어떻게하고.. 이거 참 귀찮아서 파라미터로 넘어갈 때의 성질을 이용하면 다음과 같은 배열 초기화 함수를 만들 수 있겠네요.

  procedure InitArray(var Ary: Array of Integer);
  begin
    FillChar(Ary, SizeOf(Ary), 0);
  end;

내용은 똑같지만 함수 호출 과정에서 static array 처럼 @ary = @ary[0]이 되어서 실제 데이터를 초기화 하게 됩니다.

근데 쓰고보니 너무 기초적인 내용을 몰랐던가 하는 생각이 드네요.. :D