arrays - 初始化Delphi Record包含帶有'Implicit'類運算符的動態數組



dynamic initialization (1)

看起來你發現了codegen的一個bug(它也存在於Win64編譯器中)。 我查看了生成的asm,看起來編譯器會為操作符重載生成錯誤的指令。 這就是錯誤值在運算符重載內的數組中結束的原因。 請在Quality Portal中報告。

為壞結果生成的代碼:

Project109.dpr.46: r3 := iArray;
0040B1F2 A1FC044100       mov eax,[$004104fc]
0040B1F7 8945E8           mov [ebp-$18],eax
0040B1FA 837DE800         cmp dword ptr [ebp-$18],$00
0040B1FE 740B             jz $0040b20b
0040B200 8B45E8           mov eax,[ebp-$18]
0040B203 83E804           sub eax,$04
0040B206 8B00             mov eax,[eax]
0040B208 8945E8           mov [ebp-$18],eax
0040B20B 8D4DD8           lea ecx,[ebp-$28]
0040B20E 8B55E8           mov edx,[ebp-$18]
0040B211 4A               dec edx
0040B212 B8FC044100       mov eax,$004104fc // <-- wrong one
0040B217 E87CF5FFFF       call TRec.&op_Implicit

平等方法的代碼:

Project109.dpr.47: r3 := TRec.Implicit(iArray);
0040B22F A1FC044100       mov eax,[$004104fc]
0040B234 8945E4           mov [ebp-$1c],eax
0040B237 837DE400         cmp dword ptr [ebp-$1c],$00
0040B23B 740B             jz $0040b248
0040B23D 8B45E4           mov eax,[ebp-$1c]
0040B240 83E804           sub eax,$04
0040B243 8B00             mov eax,[eax]
0040B245 8945E4           mov [ebp-$1c],eax
0040B248 8D4DD4           lea ecx,[ebp-$2c]
0040B24B 8B55E4           mov edx,[ebp-$1c]
0040B24E 4A               dec edx
0040B24F A1FC044100       mov eax,[$004104fc] // <-- correct one
0040B254 E8CFF5FFFF       call TRec.Implicit

但是,您可以通過為參數類型為TArray<UInt64>的Implicit運算符添加另一個重載來避免這種情況,然後將本地變量聲明為該類型,以便編譯器選擇正確的重載(它不會生成錯誤的代碼)案件)。

但請注意,只有當您傳遞TArray<UInt64>類型的變量並且因為Delphis嚴格類型規則而擁有任何其他動態array of UInt64時才會調用錯誤的變量。

更新 :此缺陷在RSP-16084報告並在Delphi 10.2 Tokyo中修復。

https://ffff65535.com

我試圖弄清楚是否可以使用Delphi中的“隱式”類運算符初始化包含動態數組的記錄(柏林10.1 upd 1)

附加的程序產生以下輸出:

ci iA r1 r2 r3
1  1  1  1  49694764491115752
2  2  2  2  11570520
3  3  3  3  0
4  4  4  4  0
5  5  5  5  0
  • TRec是包含我想要初始化的動態數組的記錄類型。
  • ci是一個整數的常量數組。
  • ia是一個整數的動態數組。
  • r1,r2,r3是TRec類型的記錄,它們以不同的方式初始化。

從輸出中可以看出,前兩個賦值(r1,r2),使用常量按預期工作。 第三個賦值r3 := iArray被編譯器接受,但結果被破壞了。 調試器顯示TRec.Implicitv值已經錯誤。

這裡出了什麼問題? 這有可能嗎?

program Project5;

{$APPTYPE CONSOLE}

{$R *.res}

type
  TRec = record
    iArray: array of UInt64;
    class operator Implicit(const v: array of UInt64): TRec;
  end;

{ TRec }

class operator TRec.Implicit(const v: array of UInt64): TRec;
var
  i: integer;
begin
  setlength(Result.iArray, Length(v));
  for i := 0 to High(v) do
    Result.iArray[i] := v[i];
end;

const
  ciArray: array [0 .. 4] of UInt64 = (1, 2, 3, 4, 5);

var
  i         : integer;
  iArray    : array of UInt64;
  r1, r2, r3: TRec;

begin
  iArray := [1, 2, 3, 4, 5];

  r1 := [1, 2, 3, 4, 5];
  r2 := ciArray;
  r3 := iArray;

  Writeln('ci iA r1 r1 r3');
  for I := 0 to High(ciArray) do
    Writeln(ciArray[i], '  ', iArray[i], '  ', r1.iArray[i], '  ', r2.iArray[i], '  ', r3.iArray[i]);

  readln;

end.




record