3

Пример №1:

procedure TForm14.btn2Click(Sender: TObject);
var
  SomeObj: TmyObj;
begin
  SomeObj := TmyObj.Create;    // создаем объект
  try
    SomeObj.Text := 'asdfasdfasd';
    TThread.CreateAnonymousThread(
        procedure
      begin
        Sleep(1000);  // ожидаем, чтобы гарантированно завершился метод btn2Click
        TThread.Queue(nil,
            procedure
          begin
            ShowMessage(SomeObj.Text); // пытаемся показать сообщение
          end)
      end).Start;
  finally
    FreeAndNil(SomeObj); // высвобождаем объект до его показа через функции синхронизации.
  end;
end;

Метод логично завершается ошибкой, поскольку когда очередь доходит до ShowMessage - объекта не существует. Если FreeAndNil заменить на Free, то в ShowMessage показывается пустая строка (ну, допустим, логично - объект уничтожен, память, которая была выделена под его поля приведена в "исходное" состояние).

Пример №2

procedure TForm14.btn3Click(Sender: TObject);
var
  Text: string;
begin
  Text := 'asdfasdf';
  TThread.CreateAnonymousThread(
    procedure
    begin
      Sleep(1000);
      TThread.Queue(nil,
          procedure
        begin
          ShowMessage(Text);
        end)
    end).Start;
  // выход из метода произойдет раньше, чем сработает ShowMessage
  // то есть - локальной переменной Text уже не будет
  // но всё отрабатывает!!!
  Text:='67563245';
end;

Показывается текст "67563245". Почему? Ведь строка - это по сути указатель. И так как она является локальной переменной, то должна (и будет) высвобождена при выходе из метода (в противном случае пошли бы утечки памяти). Соответственно де-юре пример №2 не отличается от примера №1, но выполняется...

Поведение с переменными других типов (integer, например) полностью соответствует тому, что происходит со string.


Как же все-таки компилятор работает с анонимными методами в Delphi? Интересует как минимум - куда и как "запихиваются" переменные (включая интерфейсы), используемые в анонимном методе, раз они успешно доживают до начала работы кода этого анонимного метода?

12
  • 2
    то что переменная удаляется из таблицы, не значит ведь что память очищается? она помечается как свободная, но информацию в ней никто не меняет.
    – teran
    8 дек 2016 в 11:19
  • @teran Да, не очищается, а помечается как свободная. Но ведь тогда получается, что пользоваться этим небезопасно, потому что в любой момент времени память может быть распределена под другую переменную и всем станет плохо. Тем не менее - большАя часть кода (особенно в FMX) использует подобный подход. Вот мне и нужно понять - а как именно это организовано?
    – kami
    8 дек 2016 в 11:23
  • Анонимная функция это замыкание, которое захватывает внешние переменные. Захват работает для автоматических переменных (строки/интерфейсы) и очевидно, не может сработать для простых объектов, которые пользователь волен уничтожить в любой момент времени.
    – zed
    8 дек 2016 в 11:25
  • 1
    Это забота компилятора сделать так, чтобы они дожили. И тут дело не в подсчёте ссылок. Создаётся некая уникальная область видимости, в которой существуют эти переменные и доступ к ним имеют только внешняя и анонимная функции. Пока хотя бы одна из этих функций выполняется, переменные живут и могут быть изменены из любой из них. Т.е. анонимная функция пользуется не копией, а самой внешней переменной.
    – zed
    8 дек 2016 в 13:43
  • 1
    @zed, спасибо, вот мне и интересно было - как компилятор проявляет такую заботу. В дополнение - на одном из форумов мне дали ссылку pascal-study.blogspot.ru/2012/03/delphi.html , где раздел "Механизм привязки переменных" достаточно детально объясняет нужный мне механизм. Если кто возьмет на себя труд адаптировать это ответом для ruSO - будет здорово. Если совсем уж вкратце - локальные переменные, "транслируемые" в анонимный метод размещаются в куче, а не в стеке :)
    – kami
    9 дек 2016 в 5:05

1 ответ 1

1

Параметры, передаваемые в анонимную функцию оборачиваются в интерфейс. В первом случае ссылка на объект внутри этого интерфейса ничего не знает о том, что объект уже уничтожен.

Во втором случае при сохранении строки будет увеличен счетчик ссылок на строку и она не будет уничтожена в момент выхода из метода. Поэтому все и работает. Строка уничтожится, когда обнулится ее счетчик ссылок.

3
  • 1
    Ваш ответ не исчерпывающий, к сожалению. Переменные с управляемым временем жизни - действительно их поведение можно (относительно) объяснить. А вот как быть с простыми типами? Обратите внимание на комментарии к вопросу, собственно ответ там есть, но его нужно оформить ответом.
    – kami
    1 сен 2017 в 13:07
  • @kami вы можете попробовать сделать это сами 18 янв 2018 в 5:43
  • @PavelMayorov боюсь, мне квалификации не хватит, чтобы получился ответ, доступно (но в то же время - достаточно полно) излагающий этот механизм.
    – kami
    18 янв 2018 в 6:02

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.