А. Григорьев - О чём не пишут в книгах по Delphi

Stream.ReadBuffer(Msg[1], MsgLen);

и

Stream.WriteBuffer(Msg[1], MsgLen);

Это дает требуемый результат и даже более наглядно: действительно, при чтении и записи мы работаем с той областью памяти, которая начинается с первого символа строки, т.е. с той, где хранится сама строка. Но такой способ менее производителен из-за неявного вызова UniqueString. В нашем случае мы и так защищены от побочных изменений других строк (при записи строка не меняется, при чтении она и так уникальна — это обеспечивает SetLength), поэтому вполне можем обойтись без этой в данном случае излишней опеки со стороны компилятора.

Если сделать MsgLenне независимой переменной, а полем записи, можно сэкономить на одном вызове ReadBufferи WriteBuffer.

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

Ранее мы говорили о том, что копирование записей, содержащих поля типа AnsiString, в рамках одного процесса маскирует проблему, т.к. указатель остается допустимым и даже (какое-то время) правильным. Но сейчас с помощью приведенного в листинге 3.41 кода (пример RecordCopy на компакт-диске) мы увидим, что проблема не исчезает, а просто становится менее заметной.

type

TSomeRecord = record

SomeField: Integer;

Str: string;

end;

procedure TForm1.Button1Click(Sender: TObject);

var

Rec: TSomeRecord;

S: string;

procedure CopyRecord;

var

LocalRec: TSomeRecord;

begin

LocalRec.SomeField := 10;

LocalRec.Str := 'Hello!!!';

UniqueString(LocalRec.Str);

Move(LocalRec, Rec, SizeOf(TSomeRecord));

end;

begin

CopyRecord;

S := 'Good bye';

UniqueString(S);

Label1.Caption := Rec.Str;

Pointer(Rec.Str) := nil;

end;

На экране вместо ожидаемого Hello!!!появится Good bye. Это происходит вот почему: процедура Moveосуществляет простое побайтное копирование одной области памяти в другую, механизм изменения счетчика ссылок при этом не срабатывает. В результате менеджер памяти не будет знать, что после завершения локальной процедуры CopyRecordостаются ссылки на строку "Hello!!!". Память, выделенная этой строке, освобождается. Но Rec.Strпродолжает ссылаться на эту уже освобожденную память. Для строки Sвыделяется свободная память — та самая, где раньше была строка LocalRec.Str. А поскольку Rec.Strпродолжает ссылаться на эту область памяти, поэтому обращение к ней дает строку "Good bye", которая теперь там размещена.

Обратите внимание на последнюю строку — приведение Rec.Strк типу Pointerи обнулению. Это сделано для того, чтобы менеджер памяти не пытался финализировать строку Rec.Strпосле завершения процедуры, иначе он попытается освободить память, которая уже освобождена, и возникнет ошибка.

Чтобы показать, насколько коварна эта ошибка, рассмотрим следующий код (листинг 3.42, из того же примера RecordCopy на компакт-диске).

procedure TForm1.Button2Click(Sender: TObject);

var

Rec: TSomeRecord;

S: string;

procedure CopyRecord;

var

LocalRec: TSomeRecord;

begin

LocalRec.SomeField := 10;

LocalRec.Str := 'Привет!';

Move(LocalRec, Rec, SizeOf(TSomeRecord));

end;

begin

CopyRecord; S := 'Пока!';

Label1.Caption := Rec.Str;

end;

Or предыдущего случая этот пример отличается только тем, что в нем нет вызовов UniqueString, и строки указывают на литералы в сегменте кода, которые никогда не удаляются. На экране получаем вполне ожидаемое Привет!. Обнулять указатель здесь уже нет смысла, потому что освобождать литерал менеджер памяти все равно не будет. Так ошибка оказалась скрытой.

Продолжим наши эксперименты. Запустим пример RecordCopy и понажимаем попеременно кнопки Button1и Button2. Мы видим, что результат не зависит от порядка, в котором мы нажимаем кнопки.

Модифицируем код в локальной процедуре обработчика Button1Click: уберем из строки "Hello!!!" восклицательные знаки, сократив ее до "Hello". Теперь можно наблюдать интересный эффект: если после запуска нажать сначала Button1, то никаких изменений мы не заметим. А вот если кнопка Button2будет нажата раньше, чем Button1, то при последующих нажатиях Button1никаких видимых эффектов не будет. Это связано с тем, что теперь строка "Hello" не равна по длине строке "Good bye", поэтому разместится ли "Good bye" в том же месте памяти, где раньше была "Hello", или в каком-то другом, зависит от истории выделения и освобождения памяти. Если мы начинаем "с чистого листа", память после строки "Hello" останется свободной, поэтому туда можно поставить более длинную строку. А вот если раньше память уже выделялась и освобождалась (внутри методов TLabel), то тот кусочек свободной памяти, который достаточен для "Hello", слишком мал для "Good bye", и эта строка размещается в другом месте. А там, куда указывает Rec.Str, остается мусор, работать с которым нормально невозможно, поэтому при попытке присвоить его свойству Label1.Captionпоследнее не меняется (эффект наблюдается только до Delphi 7 включительно; в более новых версиях Delphi используется новый менеджер памяти FastMem, который немного по-другому размещает строки в памяти, поэтому с ним зависимости от порядка нажатия кнопок не будет).