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

procedure TForm1.Button1Click(Sender: TObject);

begin

Label1.Caption := IntToStr(AnsiPos('Z', 'A'#0'Z'));

end;

Хотя символ "Z" присутствует в строке, в которой производится поиск, на экран будет выведен "0", что означает отсутствие искомой подстроки. Это связано с тем, что функция AnsiPosиспользует функции StrPosи CompareString, предназначенные для работы со строками PChar, поэтому поиск за символом #0, не производится. Если заменить в этом примере функцию AnsiPosна Pos, которая работает с типом AnsiStringдолжным образом, на экран будет выведено правильное значение "3".

Описанные проблемы заставляют очень осторожно относиться к возможному появлению символа #0в середине строк AnsiString— это может стать источником неожиданных проблем.

Очень интересный "подводный камень", связанный с типом AnsiStringрассмотрен в статье [4]. Проиллюстрируем его следующим кодом (листинг 3.34, пример StringResult на компакт-диске).

function AddOne: string;

begin

Result := Result + '1';

end;

procedure TForm1.Button1Click(Sender: TObject);

var

S: string;

begin

S := 'Test';

S := AddOne;

Label1.Caption := S;

end;

Если человека, не знакомого с этой особенностью компилятора, попросить предсказать, что появится на экране в результате выполнения этого кода, его рассуждения будут звучать, скорее всего, примерно так: "Так как Resultв функции AddOne— это локальная переменная типа string, то, как и все такие переменные, она будет инициализирована пустым значением. Добавление символа '1'к пустой строке даст в результате строку '1', которая и будет выведена на экран. Кстати, на строке S := 'Test'компилятор должен выдать предупреждение, что значение, присвоенное переменной S, нигде не используется".

Однако эти рассуждения неверны. На экране появится надпись Test1, т.е. первоначальное значение переменной Sбудет учтено в функции AddOne. Это происходит потому, что с точки зрения двоичного кода переменная Resultэто не локальная переменная, а параметр-переменная, как если бы функции AddOneбыла объявлена так:

procedure AddOne(var Result: string);

Именно так компилятор обрабатывает функции, тип результата которых AnsiString(и ShortString, кстати, тоже). Какая переменная будет передана в качестве параметра, — это зависит от того, как вызвана функция, точнее, куда идет ее результат. Иногда компилятору приходится неявно имитировать какую-то переменную, а иногда он может воспользоваться реально существующей переменной. В нашем случае он воспользовался переменной S, передав её в качестве параметра. Строковые параметры-переменные, в отличие от локальных переменных, по понятным причинам не инициализируются пустой строкой, поэтому переменная Resultсохраняет значение переменной S, что и приводит к наблюдаемому результату.

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

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

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