type
  TStruct=record
    S:string;
    I:Integer
  end;

procedure TForm1.Button1Click(Sender: TObject);
var
  St:TStruct;
  B:Byte;
begin
  PInteger(@B)^:=$7FFFFFFF; {*}
  //FillChar(St,SizeOf(St),0);
  St.S:='abc'; {**}
end;

  union {int sost_kan;
        short sos[2];
        }S[57];

var
  s1,s2,s3:String;
begin
  s1:='a';
  s2:=s1+'b';
  s3:=s2;
  PChar(s2)[0]:='c';

type
  PSomeRecord=^TSomeRecord;
  TSomeRecord=record
    I:Integer;
    pI:PInteger;
    P:Pointer;
    S:string;
    A:array of Integer
  end;

...
var X:PSomeRecord;
...
New(X);

procedure TForm1.Button1Click(Sender: TObject);
var
  p: pointer;
  i: integer;
begin
  i:=0;
  p:=Pointer(i);
  Caption:=string(p); // Эта строка нужна, чтобы оптимизатор не выкинул предыдущие
end;

procedure TForm1.Button1Click(Sender: TObject);
const
  inf: array[0..1] of integer = (1, 255);
  text: string = 'Abcd';
var
  s:string;
  p:pointer;
begin
  p := allocmem(255);//хоть миллион
  move(inf, p^, sizeof(inf));
  p := pointer(integer(p)+8);
  move(pointer(text)^, p^, length(text));
  pointer(s):=p;
  caption:=s;
end;

P: Pointer;
...
Dec(P, 8)

type
  PStrRec = ^StrRec;
  //Вот эта структура является частью строки и хранит её размер,
  //а также счётчик ссылок и размещается в памяти непосредственно
  //перед первым символом строки.
  StrRec = packed record
    refCnt: Longint;
    length: Longint;
  end;

procedure _LStrClr(var S);
var
  P: PStrRec;
begin
  //Вот тут идёт проверка на то пустая строка или нет
  //причём проверяется только равенство указателя (которым по сути и является строка)
  //нулю и более ничего.
  if Pointer(S) <> nil then
  begin
    //А вот тут компилятор получает указатель на структуру с длиной и счётчиком.
    //Хорошо видно, что делает он это просто вычитая размер структуры из указателя
    P := Pointer(Integer(S) - Sizeof(StrRec));
    //Записываем в переменную (которая указывает на строку) ноль.
    Pointer(S) := nil;
    //Если указатель <0 (=-1), то строка расположена в сегменте кода (то есть это константа) и её не надо удалять
    if P.refCnt > 0 then
      //Уменьшаем счётчик ссылок и если он нулевой, то освобождаем память выделенную под строку
      if InterlockedDecrement(P.refCnt) = 0 then
        //Вот тут советую обратить внимание, что освобождается память отнюдь не с первого символа строки, а с начала структуры StrRec (то есть адрес первого символа минус 8)
        FreeMem(P);
  end;
end;

            Переменная типа String - 4байта
                    |
                    v
[длина][счетчик][символы строки][символ с кодом "0"]
    4б    4б      [длина]байт      1байт

procedure TForm1.Button1Click(Sender: TObject);
var
  s: string;
begin
  Caption:=IntToStr(SizeOf(s));
end;

p:=pointer(s)

procedure TForm1.Button1Click(Sender: TObject);
var
  S,R:string;
  P:^Char;
begin
  S:='abcd';
  P:=Pointer(S);  {*}
  while P^<>#0 do
  begin
    R:=R+P^;  {**}
    Inc(P)
  end;
  Label1.Caption:=R
end;

asm
  xor eax,eax
  mov [ebp-$1c],eax      //Тут инициализируется строка S (ноль туда пишется)
  lea eax,[ebp-$24]      //Адрес A:TMyData
  mov edx,[$0053518c]    //Указатель на TypeInfo для TMyData
  call @InitializeRecord //А вот и вызов Initialize
  xor eax,eax            // Ну тут просто ExceptionFrame создаётся
  push ebp              // то есть ключевое слово try
  push $00535219
  push dword ptr fs:[eax]
  mov fs:[eax],esp
  //Сама процедура
  mov fs:[eax],edx      //Это соответствует слову finally
  push $00535220
  lea eax,[ebp-$24]      //Снова А
  mov edx,[$0053518c]    // TypeInfo
  call @FinalizeRecord  //И теперь уже Finalize
  lea eax,[ebp-$1c]      //Адрес строки S
  call @LStrClr          //Очистка строки S
  ret                    //Тут end от finally..end
end;

begin
  Pointer(S):=nil;
  Initialize(A);
  try
    ...
  finally
    Finalize(A);
    S:='';      //Для строк нет аналога Finalize,
                //а LStrClr доступен только из асма.
  end;
end;

var
  R: PMyRecord;
begin
  R := AllocMem(SizeOf(TMyRecord)); //получаем данные в памяти 00000000
  //где первый четыре нуля это a: integer вторые четыре нуля это b:string
  initialize(R.B); //т.к. B у нас не инициализирована, то
  r.b := 'String';
  caption := r.b;
  system.Finalize(r.B); //говорим что завершаем работать со строкой
  FreeMem(R); // освобождает память.
end;

var
  a,b:array of byte;
Begin
  setlength(a, 10);
  a[5] := 5;
  //SetLength(B,Length(a));
  Move(A,B,Length(A));
  b[7] := 250;
  caption:= inttostr(b[5]) + ' ' + inttostr(b[7]);
end;

with PMyData(ptr)^ do begin
...
end;

function GetDTime(Buffer: Pointer): PDTime;
begin
  Result := PDTime(Buffer);
end;
function GetParameter(Buffer: Pointer; Index: Integer): PParameter;
begin
  Result := PParameter(Longint(Buffer) + SizeOf(TDTime) + SizeOf(TParameter) * Index);
end;

  PDTime = ^TDTime;
  TDTime = record
..
  PParameter = ^TParameter;
  TParameter = record
...

var
  dtime  : PDTime;
  params  : PParameter;
begin
  dtime := PDTime(Buffer);
  params := PParameter(longint(Buffer)+SizeOf(TDTime));

for I to Count-1 to
begin
  dtime[I]^.FCode := TmpCode[I];
  dtime[I]^.FValue := TmpValue[I];
  dtime[I]^.FStatus := TmpStatus[I];
end;

{ FreeAndNil frees the given TObject instance and sets the variable reference to nil. Be careful to only pass TObjects to this routine. }

procedure FreeAndNil(var Obj);

type
  PMyData = ^TMyData;
  TMyData = packed record
    dt: TDTime;
    params: array[0..0] of TParameter;
  end;
...

var
  ptr: pointer;
  size: Cardinal;
...
size:=SizeOf(TDTime) + (SizeOf(TParameter) * CountParams);
GetMem(ptr,size);
...
try
  PMyData(ptr)^.dt.FHour:=...;
  PMyData(ptr)^.params[i].FCode:=...;
...
finally
  FreeMem(ptr,size);
end;

type
  PDTime = ^TDTime;
  TDTime = packed record
    FMin    : Byte;
    FHour  : Byte;
    FMs    : Byte;
    FSec    : Byte;
    FYear  : Word;
    FDay    : Byte;
    FMonth  : Byte;
  end;

  PParameter = ^TParameter;
  TParameter = packed record
    FCode  : Word;
    FValue  : Single;
    FStatus : Word;
  end;

  PParameters = ^TParameters;
  TParameters = array of TParameter;

procedure TForm1.FormCreate(Sender: TObject);
var
  P, Param, Params: Pointer;
  I: Integer;
begin
  GetMem(P, SizeOf(TDTime) + SizeOf(TParameter) * 8);

  PDTime(P)^.FCode := 99;
  PDTime(P)^.FMonth := 100;
  PDTime(P)^.FStatus := 101;

  Params := Pointer(Longint(P) + SizeOf(TDTime));
  for I := 1 to 8 do
  begin
    Param := Pointer(Longint(Params) + SizeOf(TParameter) * I);
    PParameter(Param)^.FStatus := I;
  end;

  //-------------------------

  for I := 1 to 8 do
  begin
    Param := Pointer(Longint(Params) + SizeOf(TParameter) * I);
    Caption := Caption + ' ' + Inttostr(PParameter(Param)^.FStatus);
  end;

  FreeMem(P);
end;

dt->FYear;
dt->FMin;

for(int i=0,i<Count;i++) {
  params[i]->FCode;
  params[i]->FValue;
}

type
  PDTime=^TDTime;
var
  pdt:PDTime;

  New(pdt);//распределение памяти
  pdt^.FMin:=5;//доступ к полю
  pdt^.FHour:=12//доступ к полю
  Dispose(pdt);//освобождение памяти

SetLength(param,CountParams);

param:=nil;