如何在 Delphi 中重载 Inc (Dec) 运算符？

Question

Delphi documentation 表示可以重载 Inc 和 Dec 运算符；我看不到有效的方法。以下是使 Inc 运算符超载的尝试；有些尝试会导致编译错误，有些会导致运行时访问冲突 (Delphi XE):

program OverloadInc;

{$APPTYPE CONSOLE}

uses
  SysUtils;

type
  TMyInt = record
    FValue: Integer;
//    class operator Inc(var A: TMyInt);   DCC error E2023
    class operator Inc(var A: TMyInt): TMyInt;
    property Value: Integer read FValue write FValue;
  end;

class operator TMyInt.Inc(var A: TMyInt): TMyInt;
begin
  Inc(A.FValue);
  Result:= A;
end;

type
  TMyInt2 = record
    FValue: Integer;
    class operator Inc(A: TMyInt2): TMyInt2;
    property Value: Integer read FValue write FValue;
  end;

class operator TMyInt2.Inc(A: TMyInt2): TMyInt2;
begin
  Result.FValue:= A.FValue + 1;
end;

procedure Test;
var
  A: TMyInt;

begin
  A.FValue:= 0;
  Inc(A);
  Writeln(A.FValue);
end;

procedure Test2;
var
  A: TMyInt2;
  I: Integer;

begin
  A.FValue:= 0;
//  A:= Inc(A);  DCC error E2010
  Writeln(A.FValue);
end;

begin
  try
    Test;     // access violation
//    Test2;
  except
    on E: Exception do
      Writeln(E.ClassName, ': ', E.Message);
  end;
  Readln;
end.

Answer 1

运营商签名错误。应该是：

class operator Inc(const A: TMyInt): TMyInt;

或

class operator Inc(A: TMyInt): TMyInt;

您不能使用 var 参数。

这个节目

{$APPTYPE CONSOLE}

type
  TMyInt = record
    FValue: Integer;
    class operator Inc(const A: TMyInt): TMyInt;
    property Value: Integer read FValue write FValue;
  end;

class operator TMyInt.Inc(const A: TMyInt): TMyInt;
begin
  Result.FValue := A.FValue + 1;
end;

procedure Test;
var
  A: TMyInt;
begin
  A.FValue := 0;
  Inc(A);
  Writeln(A.FValue);
end;

begin
  Test;
  Readln;
end.

产生这个输出：

讨论

这是一个在重载时相当不寻常的运算符。就用法而言，运算符是就地突变。但是，当重载时，它的工作方式就像一个隐式加数为 1 的加法运算符。

因此，在这一行上方的代码中：

Inc(A);

有效转化为

A := TMyInt.Inc(A);

然后编译。

如果您想保持真正的就地变异语义，并避免与此运算符关联的复制，那么我相信您需要使用该类型的方法。

procedure Inc; inline;
....
procedure TMyInt.Inc;
begin
  inc(FValue);
end;

如何在 Delphi 中重载 Inc (Dec) 运算符？

How to overload Inc (Dec) operators in Delphi?

delphi

operator-overloading

increment