型付きポインタの実行時作成ですか？

Question

実行時にレコードへの型付きポインタを作成する方法はありますか？

など。 ...

TMyRecord = record 
    s1: string; 
    s2: string; 
end; 

TpMyRecord = ^TMyRecord; 

に

var pMyRecord: TpMyRecord; 
begin 
    New(pMyRecord) 

が、その後TpMyRecord = ^TMyRecord宣言なしにpMyRecordの割り当てなどのランタイムで同じことを実現します。

私はGetMemとFreeMemのを使用することができます知っているが、私は、文字列の寿命管理を維持したいです。

質問は多少ありますが、私はちょうどTpMyRecord = ^TMyRecord宣言を使用することができますが、これを実行する方法があれば興味があります（ただし、 RTTIの面倒な作業の多く）。

Answer 1

これは少しトリッキーなことがあります。ここでは、デモプログラムは次のとおりです。

{$APPTYPE CONSOLE} 

uses 
    TypInfo; 

type 
    PMyRecord = ^TMyRecord; 
    TMyRecord = record 
    s1: string; 
    s2: string; 
    end; 

var 
    SystemNew: function(Size: NativeInt; TypeInfo: Pointer): Pointer; 
    SystemDispose: procedure(P: Pointer; TypeInfo: Pointer); 

function GetSystemNewAddress: Pointer; 
asm 
    MOV EAX, offset System.@New 
end; 

function GetSystemDisposeAddress: Pointer; 
asm 
    MOV EAX, offset System.@Dispose 
end; 

var 
    p: PMyRecord; 
    typeInfo: Pointer; 

begin 
    ReportMemoryLeaksOnShutdown := True; 

    @SystemNew := GetSystemNewAddress; 
    @SystemDispose := GetSystemDisposeAddress; 

    typeInfo := System.TypeInfo(TMyRecord); 
    p := SystemNew(TypInfo.GetTypeData(typeInfo).RecSize, typeInfo); 
    p.s1 := 'foo'; 
    p.s2 := 'bar'; 
    SystemDispose(p, typeInfo); 
end. 

New関数は組み込み関数で、コンパイラから特別な扱いを受けます。 Newを呼び出すと、コンパイラはSystem._Newを呼び出して、型のサイズと型情報を渡します。次にSystem._Newは、型のサイズを使用してメモリを割り当て、型情報を使用してインスタンスを初期化します。

上記のプログラムのコードは、コードからこれらの呼び出しを行う方法を示しています。難しい部分はSystem._Newのアドレスを取得しています。ここのコードは、32ビットWindowsコンパイラのためにそれを行う方法を示しています。あなたが呼び出したい場合は

NewあなたもDisposeを呼び出すことになるでしょう。これも本質的であり、同様に扱われます。上記のコードは、どのように表示されます。

これは、今後変更される実装の詳細に依存していることは言うまでもないでしょう。