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

var

GS1, GS2: string;

procedure TForm1.Button5Click(Sender: TObject);

begin

GS1 := 'Test';

GS2 := 'Test';

if Pointer(GS1) = Pointer(GS2) then Label1.Caption := 'Равно';

else Label1.Caption := 'Не равно';

end;

Этот пример отличается от приведенного в листинге 3.21 только тем, что теперь переменные глобальные, а не локальные. Однако этого достаточно, чтобы результат оказался другим — на экране мы увидим надпись Не равно. Для глобальных переменных компилятор всегда создаст уникальный литерал, на обнаружение одинаковых литералов ему "интеллекта" не хватает. Более того, если поставить точки останова в методах Button3Clickи Button4Click, легко убедиться, что указатель, который будет помещен в переменную Sв методе Button4Click, отличается от того, который будет помещен в переменные S1и S2в методе Button3Click, хотя литералы в обоих случаях одинаковые. Компилятор умеет обнаруживать равенство литералов типа AnsiStringтолько в пределах одной функции.

Теперь посмотрим, что будет с глобальными переменными типа PCharпри присваивании им одинакового литерала (листинг 3.24).

var

GP1, GP2: PChar;

procedure TForm1.Button6Click(Sender: TObject);

begin

GP1 := 'Test';

GP2 := 'Test';

if GP1 = GP2 then Label1.Caption := 'Равно'

else Label1.Caption := 'He равно';

end;

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

Но вернемся к сравнению строк. Как мы знаем, строки AnsiStringсравниваются по значению, а PChar— по указателю. А что будет, если сравнить AnsiStringс PChar? Ответ на этот вопрос даёт листинг 3.25.

procedure TForm1.Button7Click(Sender: TObject);

var

P: PChar;

S: string;

begin

S := 'Test';

P := 'Тest';

it S = Р then Label1.Caption := 'Равно'

else Label1.Caption := 'Не равно';

end;

Этот код выдаст Равно. Как мы знаем из предыдущих примеров (см. листинг 3.22), значения указателей не будут равны, следовательно, производится сравнение по содержанию, т.е. именно то, что к требуется. Если исследовать код, который генерирует компилятор, то можно увидеть, что сначала неявно создается строка AnsiString, в которую копируется содержимое строки PChar, а потом сравниваются две строки AnsiString. Сравниваются, естественно, по значению.

Для строк ShortStringсравнение указателей невозможно, две таких строки всегда сравниваются по значению. Правила хранения литералов и сравнения с другими типами следующие:

1. Литералы типа ShortStringразмещаются в сегменте кода только один раз на одну функцию, сколько бы раз они ни повторялись в ее тексте.

2. При сравнении строк ShortStringи AnsiStringпервая сначала конвертируется в тип AnsiString, а потом выполняется сравнение.

3. При сравнении строк ShortStringи PCharстрока PCharконвертируется в ShortString, затем эти строки сравниваются.

Последнее правило таит в себе «подводный камень», который иллюстрируется следующим примером (листинг 3.26).

procedure TForm1.Button8Click(Sender: TObject);

var

P: PChar;

S: ShortString

begin

P := StrAlloc(300);

FillChar(P^, 299, 'A');

P[299] := #0;

S[0] := #255;

FillChar(S[1], 255, 'A');

if S = P then Label1.Caption := 'Равно'

else Label1.Caption := 'Не равно';

StrDispose(Р);

end;

Здесь формируется строка типа PChar, состоящая из 299 символов "A". Затем формируется строка ShortString, состоящая из 255 символов "А". Очевидно, что эти строки не равны, потому что имеют разную длину. Тем не менее на экране появится надпись Равно.

Происходит это вот почему: строка PCharоказывается больше, чем максимально допустимый размер строки ShortString. Поэтому при конвертировании лишние символы просто отбрасываются. Получается строка длиной 255 символов, совпадающая со строкой ShortString, с которой мы ее сравниваем. Отсюда вывод: если строка ShortStringсодержит 255 символов, а строка PChar— более 255 символов, и ее первые 255 символов совпадают с символами строки ShortString, операция сравнения ошибочно даст положительный результат, хотя эти строки не равны.