Стандартное сравнение записей в Delphi и его влияние на работу коллекций: как избежать ошибок?

Delphi , Синтаксис , Записи и Множества

Стандартное сравнение записей в Delphi и его влияние на работу коллекций

Вопрос, поднимаемый в этом запросе, связан с особенностями работы стандартного сравнения записей (records) в среде разработки Delphi. В частности, рассматривается ситуация, когда при добавлении двух одинаковых записей в список на основе перегруженного оператора равенства ожидается, что метод Contains вернет True, однако фактически происходит сравнение по содержанию памяти вместо применения пользовательского оператора равенства.

Описание проблемы

Рассмотрим запись TSomeRecord с перегруженным оператором равенства:

TSomeRecord = record
  Value: String;
  class operator Equal(Left, Right: TSomeRecord): Boolean; // Реализация сравнения строковых значений.
end;

При добавлении двух записей в список TList<TSomeRecord> с одинаковыми значениями строкового поля Value, ожидается, что метод Contains вернет True для обеих записей. Однако на практике обнаруживается, что коллекция сравнивает записи по адресам в памяти, а не применяет перегруженный оператор равенства.

var
  List: TList<TSomeRecord>;
  Record1, Record2: TSomeRecord;
begin
  Record1.Value := 'ABC';
  Record2.Value := 'ABC';
  List.Add(Record1);
  Assert(List.Contains(Record1)); // Ожидается True
  Assert(List.Contains(Record2)); // Вернет False, так как сравнение идет по адресам в памяти
end;

Подтвержденный ответ

Если вы не указали компаратор при создании TList, то будет использован стандартный компаратор TComparer<TSomeRecord>.Default, который выполняет простое бинарное сравнение с помощью функции CompareMem. Это работает корректно для записей, состоящих из значений типов данных без заполнителей. В противном случае вам потребуется предоставить свой собственный компаратор при создании списка.

Для более крупных записей стандартный компаратор равенства будет выглядеть так:

function Equals_Binary(Inst: PSimpleInstance; const Left, Right): Boolean;
begin
  Result := CompareMem(@Left, @Right, Inst^.Size);
end;

Для меньших записей используется оптимизированная версия компаратора, которая рассматривает содержание записи как целое число и выполняет сравнение целых чисел:

function Equals_I4(Inst: Pointer; const Left, Right: Integer): Boolean;
begin
  Result := Left = Right;
end;

Для работы с записями TSomeRecord вам может потребоваться создать свой компаратор следующим образом:

TComparer<TSomeRecord>.Construct(
  function(const Left, Right: TSomeRecord): Integer
  begin
    Result := CompareStr(Left.Value, Right.Value);
  end);

Используйте CompareText для сравнения без учета регистра и т.д.

Альтернативный ответ

Чтобы получить ожидаемое поведение, необходимо создать экземпляр списка с указанием компаратора:

List := TList<TSomeRecord>.Create(
  TComparer<TSomeRecord>.Construct(
    function(const L, R: TSomeRecord): Integer
    begin
      Result := CompareStr(L.Value, R.Value);
    end));

Это позволит использовать пользовательский алгоритм сравнения для элементов списка.

Заключение

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

Примеры кода на Object Pascal демонстрируют, как создать и использовать пользовательский компаратор для работы со структурами данных в Delphi.

Создано по материалам из источника по ссылке.

Проблема заключается в том, что при использовании стандартного сравнения записей в среде разработки Delphi коллекции могут неправильно обрабатывать элементы из-за использования бинарного сравнения по памяти вместо применения пользовательского оператора р

Комментарии и вопросы

Получайте свежие новости и обновления по Object Pascal, Delphi и Lazarus прямо в свой смартфон. Подпишитесь на наш Telegram-канал delphi_kansoftware и будьте в курсе последних тенденций в разработке под Linux, Windows, Android и iOS

:: Главная :: Записи и Множества ::