Инициализировать результат строковой функции?

Это не ошибка, но "функция":

Для строки, динамического массива, указателя метода или варианта результата эффекты такие же, как если результат функции был объявлен как дополнительный параметр var после объявленных параметров. Другими словами, вызывающий передает дополнительный 32-битный указатель, указывающий на переменную, в которой должен быть возвращен результат функции.

Т.е. ваш

function TMyObject.GenerateInfo: string;

Неужели это:

procedure TMyObject.GenerateInfo(var Result: string);

Обратите внимание на префикс «var» (а не «out», как вы могли ожидать!).

Это ТАКОЕ неинтуитивно понятно, поэтому приводит ко всевозможным проблемам в коде. Рассматриваемый код - всего лишь один пример результатов этой функции.

Просмотрите и проголосуйте за этот запрос.

Мы сталкивались с этим раньше, я думаю, может быть, еще в Delphi 6 или 7. Да, даже если компилятор не беспокоится о том, чтобы дать вам предупреждение, вам нужно инициализировать свои строковые переменные Result именно по причине вы столкнулись. Строковая переменная инициализируется - она ​​не начинается как ссылка на мусор - но, похоже, не инициализируется re, когда вы этого ожидаете.

Что касается того, почему это происходит ... не уверен. Это ошибка, поэтому не обязательно указывать причину. Мы видели это только тогда, когда вызывали функцию несколько раз в цикле; если мы вызывали его вне цикла, он работал должным образом. Похоже, что вызывающий выделял место для переменной Result (и повторно использовал его, когда он неоднократно вызывал одну и ту же функцию, вызывая, таким образом, ошибку), а не функция, выделяющая ее собственная строка (и выделение новой строки при каждом вызове).

Если вы использовали короткие строки, то вызывающий объект выделяет буфер - это давно устоявшееся поведение для типов с большими значениями. Но для AnsiString это не имеет смысла. Возможно, команда компилятора просто забыла изменить семантику, когда впервые реализовала длинные строки в Delphi 2.

Это не ошибка. По определению никакая переменная внутри функции не инициализируется, включая Результат.

Таким образом, ваш Результат - undefind при первом вызове, и может содержать что угодно. Как это реализовано в компиляторе, не имеет значения, и вы можете получить разные результаты в разных компиляторах.

Похоже, что ваша функция должна быть упрощена следующим образом:

function TMyObject.GenerateInfo: string;
begin
  if(ACondition) then
    Result := 'Some Text'
  else
    Result := '';
end;

Обычно вы не хотите использовать Result справа от присваивания в функции.

В любом случае, строго в иллюстративных целях, вы также можете сделать это, хотя и не рекомендуется:

procedure TForm1.Button1Click(Sender: TObject);
var
  i: integer;
  S: string;
begin
  for i := 1 to 5 do
  begin
    S := ''; // Clear before you call
    S := GenerateInfo;
  end;
  ShowMessage(S); // 5 lines!
end;

Похоже на ошибку в D2007. Я только что протестировал его в Delphi 2010 и получил ожидаемое поведение. (1 строка вместо 5.)

Если вы думаете, что какое-то автоматическое управление строками сделано для облегчения вашей жизни, вы правы лишь отчасти. Все это также сделано для того, чтобы логика строк была последовательной и не возникало побочных эффектов.

Во многих местах строки передаются по ссылке, передаются по значению, но все эти строки ожидают строки VALID, в которых счетчик управления памятью имеет какое-то допустимое, а не мусорное значение. Поэтому для того, чтобы строки оставались действительными, единственное, что можно сказать наверняка, - это то, что они должны быть инициализированы при первом введении. Например, для любой строки локальной переменной это необходимо, поскольку именно здесь вводится строка. Любое другое использование строк, включая function (): string (которая на самом деле процедура (var Result: string), как правильно указал Александр), ожидает только действительные строки в стеке, а не инициализированные . И действительность здесь исходит из того факта, что конструкция (var Result: string) говорит, что «я жду действительной переменной, которая определенно была введена ранее». ОБНОВЛЕНИЕ: из-за этого фактическое содержимое Result является неожиданным, но из-за той же логики, если это единственный вызов этой функции, который имеет локальную переменную слева, пустота строки в этом случае гарантируется.

Ответ Алекса почти всегда правильный, и он объясняет, почему я наблюдал такое странное поведение, но это еще не все.

Следующее, скомпилированное без оптимизации, дает ожидаемый результат, что sTemp является пустой строкой. Если вы замените функцию вызовом процедуры, вы получите другой результат.

Похоже, что для фактического программного модуля существует другое правило.

По общему признанию, это угловой случай.

program Project1;

{$APPTYPE CONSOLE}

uses System.SysUtils;

  function PointlessFunction: string;
  begin
  end;

  procedure PointlessProcedure(var AString: string);
  begin
  end;

var
  sTemp: string;
begin
  sTemp := '1234';
  sTemp := PointlessFunction;
  //PointlessProcedure(sTemp);
  WriteLn('Result:' + sTemp);
  ReadLn;
end.