Question

在Delphi中，string <> ''生成的代码似乎少于Length(string) > 0。

比较TMyClass.UpdateString(const strMyString : String)中定义的空字符串：

MyClassU.pas.31: begin
005CE6A0 55               push ebp                           
005CE6A1 8BEC             mov ebp,esp
005CE6A3 83C4F8           add esp,-$08
005CE6A6 8955F8           mov [ebp-$08],edx
005CE6A9 8945FC           mov [ebp-$04],eax
MyClassU.pas.32: if (strMyString <> '') then
005CE6AC 837DF800         cmp dword ptr [ebp-$08],$00
005CE6B0 740E             jz $005ce6c0

据我了解，这是将动态分配的字符串（[ebp-$08]）的地址与零进行比较。有道理，因为空字符串point to nil。

在TMyClass.UpdateString2(const strMyString : String)中定义的长度比较：

MyClassU.pas.25: begin
005CE664 55               push ebp
005CE665 8BEC             mov ebp,esp
005CE667 83C4F4           add esp,-$0c
005CE66A 8955F8           mov [ebp-$08],edx
005CE66D 8945FC           mov [ebp-$04],eax
005CE670 8B45F8           mov eax,[ebp-$08]
MyClassU.pas.26: if (Length(strMyString) > 0) then
005CE673 8945F4           mov [ebp-$0c],eax
005CE676 837DF400         cmp dword ptr [ebp-$0c],$00
005CE67A 740B             jz $005ce687
005CE67C 8B45F4           mov eax,[ebp-$0c]
005CE67F 83E804           sub eax,$04
005CE682 8B00             mov eax,[eax]
005CE684 8945F4           mov [ebp-$0c],eax
005CE687 837DF400         cmp dword ptr [ebp-$0c],$00
005CE68B 7E0E             jle $005ce69b

什么？

字符串长度为is stored at offset -$04 within the string就是cmp dword ptr [ebp-$04],$00吗？

我的猜测是这是因为优化已关闭并且编译器没有优化Lenght（归结为PInteger(PByte(S) - 4)^），但是我不明白为什么要进行两个比较。实际上，即使启用了优化，这两个比较也都存在：

MyClassU.pas.27: if (Length(strMyString) > 0) then
005CE6B1 8BC6             mov eax,esi
005CE6B3 85C0             test eax,eax
005CE6B5 7405             jz $005ce6bc
005CE6B7 83E804           sub eax,$04
005CE6BA 8B00             mov eax,[eax]
005CE6BC 85C0             test eax,eax
005CE6BE 7E0A             jle $005ce6ca

vs

MyClassU.pas.33: if (strMyString <> '') then
005CE6D9 85F6             test esi,esi
005CE6DB 740A             jz $005ce6e7

Answer 1

第二段代码完成了更多工作，这并不奇怪，它需要更多代码。

在第一段代码中，您只需要与空字符串进行比较。编译器知道这等效于将指针与nil进行比较，然后生成该代码。

第二个代码块首先获取字符串的长度。这涉及检查指针是否为零。如果是，则长度为零。否则，将从字符串元数据记录中读取长度。

编译器根本不知道每次指针不为nil时，长度必须为正，因此无法优化。

至于为什么Length不直接从字符串记录中读取，这现在很明显。空字符串被实现为nil指针，因此没有字符串记录。为了找到长度，您需要处理两种不同的情况：

字符串为空，长度为0。
字符串不为空，从字符串记录中读取长度。

测试字符串长度会比空字符串生成更多代码？

1 个答案: