Question

请考虑以下计划：

program SO41175184;

{$APPTYPE CONSOLE}

uses
  SysUtils;

function Int9999: PAnsiChar;
begin
  Result := PAnsiChar(AnsiString(IntToStr(9999)));
end;

function Int99999: PAnsiChar;
begin
  Result := PAnsiChar(AnsiString(IntToStr(99999)));
end;

function Int999999: PAnsiChar;
begin
  Result := PAnsiChar(AnsiString(IntToStr(999999)));
end;

function Str9999: PAnsiChar;
begin
  Result := PAnsiChar(AnsiString('9999'));
end;

function Str99999: PAnsiChar;
begin
  Result := PAnsiChar(AnsiString('99999'));
end;

function Str999999: PAnsiChar;
begin
  Result := PAnsiChar(AnsiString('999999'));
end;

begin
  WriteLn(Int9999); // '9999'
  WriteLn(Int99999); // '99999'
  WriteLn(Int999999); // '999999'

  WriteLn(string(AnsiString(Str9999))); // '9999'
  WriteLn(string(AnsiString(Str99999))); // '99999'
  WriteLn(string(AnsiString(Str999999))); // '999999'

  WriteLn(string(AnsiString(PAnsiChar(AnsiString(IntToStr(9999)))))); // '9999'
  WriteLn(string(AnsiString(PAnsiChar(AnsiString(IntToStr(99999)))))); // '99999'
  WriteLn(string(AnsiString(PAnsiChar(AnsiString(IntToStr(999999)))))); // '999999'

  WriteLn(string(AnsiString(Int9999))); // '9999'
  WriteLn(string(AnsiString(Int99999))); // '9999' <----- ?!
  WriteLn(string(AnsiString(Int999999))); // '999999'

  ReadLn;
end.

只有在其中一种情况下，字符串会丢失一个字符，在Delphi 2010和Delphi XE3中都是如此。使用FPC，相同的程序可以正常工作。切换到PChar也会使问题消失。

我认为它与内存管理有关，但我没有足够的线索在哪里寻求进行有意义的调查。任何人都可以澄清吗？

Answer 1

当没有引用时，动态创建的字符串被引用计数和释放。

Result := PAnsiChar(AnsiString(IntToStr(99999)));

导致创建临时AnsiString，其地址通过强制转换为PAnsiChar，然后临时字符串解除分配^†。结果指针指向现在无人认领的内存，可能会因为任何原因而被覆盖，包括在分配更多字符串期间。

在解除分配期间，默认情况下Delphi和FPC都不会清除内存，所以如果内存还没有重新使用，那么在阅读那里的内容时你可能会很幸运。或者，如你所见，你可能没有。

当像这样返回PAnsiChar时，你需要在调用者和被调用者之间就内存管理达成协议。您需要确保不要提前释放内存，和您需要确保您的呼叫者知道如何释放内存。

_{^† Remy Lebeau指出，当程序或函数返回时会发生这种释放。如果在分配给Result之后还有另一个语句，则该字符串仍然可用。这通常是正确的，但也有一些情况，临时字符串在返回之前被释放，例如在循环中创建临时字符串时。我不建议在创建它们的语句结束后使用临时对象，即使在它有效的情况下也是如此，因为它太难以验证代码是否正确。对于这些情况，只需使用显式变量。}

为什么这个PAnsiChar在转换为AnsiString时会被切断？

1 个答案: