相关疑难解决方法(0)

我刚刚调试了一个函数,它返回一个让我担心的字符串.我一直认为返回字符串的函数的隐式Result变量在函数调用开始时将为空,但以下(简化)代码产生了意外的结果:

function TMyObject.GenerateInfo: string;

        procedure AppendInfo(const AppendStr: string);
        begin
          if(Result > '') then
            Result := Result + #13;
          Result := Result + AppendStr;
        end;

begin
  if(ACondition) then
    AppendInfo('Some Text');
end;

多次调用此函数导致:

"Some Text"

第一次,

"Some Text"
"Some Text"

第二次,

"Some Text"
"Some Text"
"Some Text"

第三次等

要修复它,我必须初始化结果:

begin
  Result := '';
  if(ACondition) then
    AppendInfo('Some Text');
end;

是否需要初始化字符串函数结果？为什么(技术上)？为什么编译器不会发出警告"W1035函数的返回值'xxx'可能是未定义的"字符串函数？我是否需要遍历所有代码以确保设置值,因为如果未明确设置结果,则期望函数中的空字符串不可靠？

我在一个新的测试应用程序中对此进行了测试,结果是一样的.

procedure TForm1.Button1Click(Sender: TObject);
var
  i: integer;
  S: string;
begin
  for i := 1 to 5 do
    S := GenerateInfo;
  ShowMessage(S); // 5 …

来自 c99：

该realloc函数释放指向的旧对象，ptr并返回一个指向大小由 size 指定的新对象的指针。新对象的内容应与释放前的旧对象的内容相同，直到新旧大小中较小的一个。新对象中超出旧对象大小的任何字节都具有不确定的值。

[..]

realloc 函数返回一个指向新对象的指针（它可能与指向旧对象的指针具有相同的值），如果无法分配新对象，则返回空指针。

我很惊讶标准没有指定realloc应该“尝试”进行就地重新分配。通常，如果重新分配的大小低于当前分配的大小，我希望标准能够确保realloc将返回相同的指针。

realloc如果尺寸减小，标准是否有不指定应就位的逻辑？