Delphi 'in'演算子オーバーロードセット

Question

Delphi XE2では、レコードで表される値がセットの一部であるかどうかを確認できるようにレコードにin演算子をオーバーロードしようとしています。私のコードは次のようになります：

type 
    MyEnum = (value1, value2, value3); 
    MySet = set of MyEnum; 
    MyRecord = record 
    Value: MyEnum; 
    class operator In(const A: MyRecord; B: MySet): Boolean; 
    end; 

class operator MyRecord.In(const A: MyRecord; B: MySet): Boolean; 
begin 
    Result := A.Value in B; 
end; 

procedure TForm1.Button1Click(Sender: TObject); 
var 
    R: MyRecord; 
    S: MySet; 
begin 
    R.Value := value1; 
    S := [value1, value2]; 
    Button1.Caption := BoolToStr(R in S); 
end; 

コードがコンパイルに失敗します。ステートメントR in Sの場合、コンパイラーは、互換性のないタイプMyRecordとMyEnumと言っています。 R in Sは、上記のコードでTrueに評価されるように

にはどうすればMyRecordにIn演算子をオーバーロードすることができますか？

Answer 1

を、しかし、あなたはしたくないことがあります。

だから次のように動作します。 AFAIK、クラス演算子は、それらが定義されているクラス（またはレコード）でのみ動作するので、コード内のRとSの両方がTMyRecordでなければなりません。暗黙的キャストの一部injudicious使用すると、我々は次を得る：

unit Unit2; 
interface 
type 
    MyEnum = (value1, value2, value3); 
    MySet = set of MyEnum; 
    MyRecord = record 
    Value: MyEnum; 
    ValueSet: MySet; 
    class operator Implicit(A: MyEnum): MyRecord; 
    class operator Implicit(A: MySet): MyRecord; 
    class operator In (Left,Right:MyRecord): Boolean; 
    end; 

implementation 

class operator MyRecord.Implicit(A: MyEnum): MyRecord; 
begin 
    Result.Value := A; 
end; 

class operator MyRecord.Implicit(A: MySet): MyRecord; 
begin 
    Result.ValueSet := A; 
end; 

class operator MyRecord.In(Left, Right: MyRecord): Boolean; 
begin 
    Result:= left.Value in Right.ValueSet; 
end; 
end. 

以下は今complile、とでも動作します：

私たちはすべて、同意するくらいです確信している、

procedure TForm1.Button1Click(Sender: TObject); 
var 
    R: MyRecord; 
    S: MyRecord; 
begin 
    R.Value := value1; 
    S := [value1,value2,value3]; 
    Button1.Caption := BoolToStr(R In S,true); 
end; 

'BoolToStr（R.Value in S）'よりもエレガントです。 ただし、次もコンパイルされますが、誤った結果を与える：ドリンはちょうど鈍い、着実古い「BoolToStr（SでR.Value）」を持っている方が良い、コメントとして、だから、

procedure TForm1.Button1Click(Sender: TObject); 
var 
    R: MyRecord; 
    S: MyRecord; 
begin 
    R.Value := value1; 
    S := [value1,value2,value3]; 
    Button1.Caption := BoolToStr(S In R,true); 
end; 

を。もちろん、コード行ごとに支払われている場合を除きます。バグ修正のためのボーナス。

Answer 2

in演算子が正しく動作するためには、演算子はバイナリ演算子ではなく、セット演算子であるため、レコード型でなければなりません。あなたのケースでは、それは左のオペランドです。あなたはほとんどはこれを行うことができ、まあ

type 
    MyRecord = record 
    Value: MyEnum; 
    class operator In(const A: MyRecord; const B: MySet): Boolean; 
    end; 

    MyRecord2 = record 
    Value: MySet; 
    class operator In(const A: MyRecord; const B: MyRecord2): Boolean; 
    class operator In(const A: MyEnum; const B: MyRecord2): Boolean; 
    end; 

class operator MyRecord.In(const A: MyRecord; const B: MySet): Boolean; 
begin 
    Result := A.Value in B; 
end; 

class operator MyRecord2.In(const A: MyRecord; const B: MyRecord2): Boolean; 
begin 
    Result := A.Value in B.Value; 
end; 

class operator MyRecord2.In(const A: MyEnum; const B: MyRecord2): Boolean; 
begin 
    Result := A in B.Value; 
end; 

procedure TForm1.Button1Click(Sender: TObject); 
var 
    R: MyRecord; 
    R2: MyRecord2; 
begin 
    R.Value := value1; 
    R2.Value := [value1, value2]; 

    if R in R2 then; 
    if value1 in R2 then; 
end;