Można przydzielić wskaźnik jednego typu i wyrzucić go jako inny typ, ale o tym samym rozmiarze?

Question

Czy można przydzielić wskaźnik jednego typu i wyrzucić go jako inny typ, ale o tym samym rozmiarze? Mam na myśli to:

procedure TForm1.Button1Click(Sender: TObject); 
var A:PInt64; // 64bit 
    P:Pointer; 
    B:PDouble; // 64bit 
begin 
    New(A); 
    P:=A; 
    B:=P; 
    Dispose(B); 
end; 

Załóżmy, że chcę tego tylko dla typów 8, 16, 32, 64bit podpisanych i niepodpisanych. W porządku ?

Answer 1

Jeśli wskazany typ nie jest typem zarządzanym, jest to bezpieczne. W twoim przypadku, ani Int64, ani Int64 nie są zarządzane, więc jest to bezpieczne.

Przykładem zarządzanym typu byłaby String, interfejs, Variant, procedura anonimowy/metoda, rekord zawierający zarządzanych rodzajów itp

Podczas korzystania New i Dispose na zarządzanym typu obiekt musi być zainicjalizowane i sfinalizowane. Gdy używasz New i Dispose na typie niezarządzanym, jest to równoważne wywoływaniu GetMem i FreeMem.

W rzeczywistości nie ma potrzeby, aby wskazane typy miały ten sam rozmiar. Po wywołaniu FreeMem rozmiar typu nie jest przekazywany. Wskazana pamięć zawiera metadane dla każdego bloku, który pozwala mu zwolnić cały blok.