重载三个扩展记录的添加运算符

Question

Delphi 2006 引入了运算符重载，然后在 Delphi 2007 中修复了错误。这是关于 Delphi 2007 的。

为什么以下内容无法编译：

type
  TFirstRec = record
    // some stuff
  end;

type
  TSecondRec = record
    // some stuff
  end;

type
  TThirdRec = record
    // some stuff
    class operator Add(_a: TFirstRec; _b: TSecondRec): TThirdRec;
end;

class operator TThirdRec.Add(_a: TFirstRec; _b: TSecondRec): TThirdRec;
begin
   // code to initialize Result from the values of _a and _b
end;

var
  a: TFirstRec;
  b: TSecondRec;
  c: TThirdRec;
begin
  // initialize a and b

  c := a + b; // <== compile error: "Operator not applicable to this operand type"
end.

因为我已经声明了一个运算符，该运算符将 TFirstRec 类型的两个操作数 a 和 TSecondRec 类型的 b 相加，生成 TThirdRec，我本来希望这个能够编译。

（如果您需要不太抽象的东西，请考虑 TMyDate、TMyTime 和 TMyDateTime。）

Answer 1

当我尝试在 Delphi 2009 中编译代码时，出现编译器错误

[Pascal Error] Project1.dpr(21): E2518 Operator 'Add' must take at least one 'TThirdRec' type inparameters

at line

class operator Add(_a: TFirstRec; _b: TSecondRec): TThirdRec;

所以答案是 - 在至少一个参数 (_a; _b) 必须是 TThirdRec 类型

Answer 2

塞尔格是对的。这确实可以编译：

program Project51;

{$APPTYPE CONSOLE}

uses
  SysUtils;

type
  TThirdRec = record
    // some stuff
  end;

  TFirstRec = record
    // some stuff
  end;

  TSecondRec = record
    // some stuff
    class operator Add(_a: TFirstRec; _b: TSecondRec): TThirdRec;
  end;

class operator TSecondRec.Add(_a: TFirstRec; _b: TSecondRec): TThirdRec;
begin
   // code to initialize Result from the values of _a and _b
end;

var
  a: TFirstRec;
  b: TSecondRec;
  c: TThirdRec;
begin
  // initialize a and b

  c := a + b; // <== compile error: "Operator not applicable to this operand type"
end.

如果您必须为 TFirstRec、TSecondRec 和 TThirdRec 的所有可能组合声明 Add，那可能会出现问题，因为 Delphi 中没有记录的前向声明。