静的クラスメソッドと通常のルーチンポインタはどのように互換性がありますか？

Question

静的なクラスメソッドと通常のルーチンポインタは実用的な観点から互換性がありますが、コンパイラはこれを知らないようです。例：コメント、3aに述べたように

type 
    TFunc = function(i: Integer): string; 

    TMyClass = class 
    public 
    class function StaticMethod(i: Integer): string; static; 
    end; 

class function TMyClass.StaticMethod(i: Integer): string; 
begin 
    Result := '>' + IntToStr(i) + '<'; 
end; 

function GlobalFunc(i: Integer): string; 
begin 
    Result := '{' + IntToStr(i) + '}'; 
end; 

procedure CallIt(func: TFunc); 
begin 
    Writeln(func(42)); 
end; 

begin 
    CallIt(TMyClass.StaticMethod); //  1a: doesn't compile 
    CallIt(GlobalFunc); //     1b: compiles 

    CallIt(@TMyClass.StaticMethod); //  2a: compiles iff $TYPEDADDRESS OFF 
    CallIt(@GlobalFunc); //     2b: compiles iff $TYPEDADDRESS OFF 

    CallIt(Addr(TMyClass.StaticMethod)); // 3a: compiles 
    CallIt(Addr(GlobalFunc)); //   3b: compiles 

    Readln; 
end. 

及び3bは両方コンパイル（がをコンパイルこの単純な例で実行時に作品を含みます）。 2aおよび2bは、$TYPEDADDRESSがOFFの場合にのみコンパイルされます。しかし、1a/1bは異なります。1bは常にコンパイルしますが、1aはコンパイルしません。これは設計上の区別ですか？ 3aを使用していますか、落とし穴を見落としましたか？

Answer 1

静的なクラス関数と通常の関数の間のバイナリレベルには違いはありません。&結果型 - バイナリと互換性があります。もちろん、それらはコンパイラの種類が異なるため、例をコンパイルするにはAddr()または@が必要です。

{$T+} 
begin 
    CallIt(@TMyClass.StaticMethod); 
    Readln; 
end. 

[パスカルエラー] Project10.dpr（：

Addr()は、あなたがあなたの例に型チェックを切り替えるdirective.Ifの$ Tコンパイラがコンパイルされませんで、それが影響を受けないことを除いて@オペレータに相当します28）：E2010互換性のないタイプ： 'TFunc'と 'Pointer'