È possibile assegnare un puntatore a un tipo e disporlo come un tipo diverso ma della stessa dimensione?

Question

È possibile assegnare un puntatore a un tipo e disporlo come un tipo diverso ma della stessa dimensione? Voglio dire, in questo modo:

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

Diciamo che voglio questo solo per 8, 16, 32, 64 bit firmato e tipi senza segno. Va bene ?

Answer 1

Se il tipo a cui è indirizzato non è un tipo gestito, questo è sicuro. Nel tuo caso, né Int64 né Double sono tipi gestiti e quindi questo è sicuro.

Un esempio di un tipo gestito sarebbe una stringa, interfaccia, Variant, procedura anonima/metodo, un record che contiene i tipi gestiti, ecc

Quando si utilizza New e Dispose su un tipo gestito, l'oggetto deve essere inizializzato e finalizzato. Quando si utilizza New e Dispose su un tipo non gestito, equivale a chiamare GetMem e FreeMem.

In effetti, non è necessario che i tipi indicati abbiano la stessa dimensione. Quando viene effettuata la chiamata a FreeMem, la dimensione del tipo non viene passata. La memoria puntata ha metadati per ogni blocco che gli consente di deallocare l'intero blocco.