Сравнение PChar

[alexs]

Сравнение двух PChar в случае если один из указателей = nil приводит к ошибке.
Может кто подтвердить ошибку?

Lazarus 1.1 r40873M FPC 2.7.1 [2013/02/16] i386-linux-gtk 2
Код

Код: Выделить всё

procedure TForm1.Button1Click(Sender: TObject);
var
  SSS1, SSS2:string;
  S1, S2:PChar;
begin
  SSS1:='Строка 1';
  SSS2:='Строка 2';
  S1:=@SSS1[1];
  S2:=@SSS2[1];
  ShowMessage('Result = ' + IntToStr(AnsiStrComp(S1, S2)));
  S1:=nil;
  S2:=@SSS2[1];
  ShowMessage('Result = ' + IntToStr(AnsiStrComp(S1, S2)));
end;


Стабильно на втором сравнение выскакивает исключение.

[SeZuka]

В винде работает нормально, у вас видимо линух, смотрите какую системную функцию вызывает AnsiStrComp и ее описание.

[dunin]

Подтверждаю. В Виндусе без ошибки (Result = -2)

[absdjfh]

Lazarus 1.0.8 svn 40573 i386-win32-win32/win64 - бага нет.
Это определенно баг, так как в описании функции указано отсутствие исключений.

[alexs]

А какой у всех FPC?
У меня 2.7.1 - есть ещё кто на таком?

[Widowmaker]

Linux Mint 12 + FPC 2.4.4 - ошибка и сообщение 'Файл "../sysdeps/i386/i586/strlen.S" не найден.'
Если вместо S1:=nil; поставить пустую строку S1:='';, ошибки нет.

[SeZuka]

А какой у всех FPC?

2.6.2
Проверьте что у вас вызывается в AnsiStrComp

[kosteek]

Подтверждаю ошибку.
Ubuntu 12.04 32bit
Lazarus 1.0.2
FPC 2.6.0

[bormant]

FPC 2.6.0, Slackware 14.0

Код: Выделить всё

uses SysUtils;
var p1, p2: PChar;
begin
  p1 := nil; p2 := 'test';
  WriteLn(AnsiStrComp(p1, p2));
end.


Прогон:

Код: Выделить всё

-1

[debi12345]

winxp32 bit, fpc 2.6.0:

Код: Выделить всё

program strcomp;

{$mode objfpc}{$h+}
{$apptype console}

uses
  sysutils;

var
  sss1,sss2: ansistring;
  s1,s2: pchar;

begin
  SSS1:='Строка 1';
  SSS2:='Строка 2';
  S1:=@SSS1[1];
  S2:=@SSS2[1];
  writeln('Result = ' + IntToStr(AnsiStrComp(S1, S2)));
  S1:=nil;
  S2:=@SSS2[1];
writeln('Result = ' + IntToStr(AnsiStrComp(S1, S2)));
end.


OUTPUT:

C:\... Settings\Администратор\fpc_project\strcomp>strcomp.exe
Result = -1
Result = -2

LINUX DEBIAN6 fpc2.6.0

Result = -1
Result = -1

[heks]

А какой у всех FPC?
У меня 2.7.1 - есть ещё кто на таком?

FPC 2.7.1 Lazarus 1.1 svn: 40811 win 7 максимальная sp1

Result=-1
Result=-2

[Лекс Айрин]

fpc 2.6.0-6
результат на проге bormantа
-1
ЗЫ: к сожалению, убунта (12.10) не дает мне использовать более новую версию. (Или руки пока кривоваты).

[alexs]

Спасибо. Буду ковырять менеджер строк. Что-то тут не так.

Впопрос возник после обнаружения шибкисортировки в ZEOS. Причём ошибка провяляется и линухе и в винде. В нём дошёл до участка сравнения.
Сейчас временно в ZEOS изменил код сравнения с PChar на string.
Но это не совсем верно...

[debi12345]

AnsiStrComp вообще-то хочет НУЛЬ-заврешенные строки. Поэтому согласно доки на РТЛ было бы надежнее :

SSS1:='Строка 1'; getmem(s1,length(sss1)+1);
  SSS2:='Строка 2'; getmem(s2,length(sss2)+1);

strpcopy(s1,sss1); strpcopy(s2,sss2);
  ShowMessage('Result = ' + IntToStr(AnsiStrComp(S1, S2)));

  S1:=nil;  strpcopy(s2,sss2);
  ShowMessage('Result = ' + IntToStr(AnsiStrComp(S1, S2)));

хотя наверное в разы тормознее (из-за возни с динамической памятью).

Добавлено спустя 2 минуты 20 секунд:
А если без динамики, то делать по Вашему - но сравнивая обычной посимвольной итерацией (она может быть ускорена в разы - см. код строковых функций GLIBC ).

Добавлено спустя 9 минут 20 секунд:
Или позаботиться о НУЛЬ-терминаторе заранее:

SSS1:='Строка 1' + char(nil);
SSS2:='Строка 2' + char(nil);

[bormant]

хочет НУЛЬ-заврешенные строки
позаботиться о НУЛЬ-терминаторе заранее
SSS1:='Строка 1' + char(nil);

Имелось в виду SSS1:='Строка 1' + #0; ?
Увольте, лишнее это всё, завершающие #0 у строковых констант обеспечиваются компилятором (пример из fpc 2.6.0):

Код: Выделить всё

var
  s1: AnsiString;
  p1: PChar;
begin
  s1 := 's1'; p1 := 'p1';
end.


Ассемблерный листинг данных:

Код: Выделить всё

.section .data
.globl   _PROGRAM$_Ld1
_PROGRAM$_Ld1:
   .ascii  "s1\000"

.section .rodata
.globl   _PROGRAM$_Ld2
_PROGRAM$_Ld2:
   .ascii  "p1\000"


\000 -- восьмеричная запись 0.