Property -- podwujna składnia

webmaj...@poczta.onet.pl

unread,

Oct 14, 2010, 6:02:36 AM10/14/10

to

taki kodzik

Type PCell=^TCell;
TCell=Record
x,y,value:Integer;
end;

Type TMyClass=class
private
fArea:Array of Array of PCell;
public
property Items[x,y:Iteger]:PCell Read Get;Default;
end;

var MyClass:TMyClass;

teraz jak w kodzie odwolam
MyClass[1,1].x=10; // poprawnie
lub
MyClass[1,1]^.x:=10; // tez kompilator akceptuje ;

ale jak zrobie
with MyClass[1,1]^ do begin // tylko taka forme akceptuje kompilator
x:=10;
end;

ktoďż˝ potrafi to wytďż˝umaczyďż˝ dlaczego tak siďż˝ dzieje ??

--
Wysďż˝ano z serwisu OnetNiusy: http://niusy.onet.pl

Grzegorz Skoczylas

unread,

Oct 14, 2010, 6:52:17 AM10/14/10

to

W dniu 2010-10-14 12:02, webmaj...@poczta.onet.pl pisze:

> teraz jak w kodzie odwolam
> MyClass[1,1].x=10; // poprawnie

Zgodnie z definicją języka taki zapis (bez „^”) nie jest poprawny.
Kompilator go akceptuje, ale tylko w niektórych kontekstach.

Wydaje mi się, że jest to albo błąd w analizatorze składni (powodujący
jednak poprawne kompilowanie kodu), albo próba „poprawienia” pomyłek
programistów.

Uważam, że nie należy tak kodować.

--
Pozdrawiam,

Grzegorz Skoczylas
http://gskoczylas.rekord.pl
----------------------------------------------

Łukasz 'Maly' Ostrowski

unread,

Oct 14, 2010, 8:30:45 AM10/14/10

to

On Thu, 14 Oct 2010 12:02:36 +0200, webmaj...@poczta.onet.pl wrote:
> Type PCell=^TCell;
> TCell=Record
> x,y,value:Integer;
> end;
>

> <snip>
>
> var MyClass:TMyClass;

>
> MyClass[1,1].x=10; // poprawnie

> MyClass[1,1]^.x:=10; // tez kompilator akceptuje ;
>
> ale jak zrobie
>
> with MyClass[1,1]^ do begin // tylko taka forme akceptuje kompilator
> x:=10;
> end;
>
> ktoďż˝ potrafi to wytďż˝umaczyďż˝ dlaczego tak siďż˝ dzieje ??

Albo jakiďż˝ syntactic sugar w fpc, albo bďż˝ďż˝d w analizatorze
ktďż˝ry traktuje jakby ^TCell byďż˝ rďż˝wnowaďż˝ny class[w
uproszczeniu ^object, wiďż˝c w uproszczeniu jest ;-)]
i poprawia . na dereference i member access operator z
automatu w AST, bo takie ma "ukryte" znaczenie member
access operator dla class.

A przy with nie ma explicite member access
operatora i pewnie dlatego siďż˝ kompilator gubi.

To drugie to domysďż˝, nie kojarzďż˝ ďż˝eby byďż˝ taki cukier
skďż˝adniowy w fpc kiedykolwiek ;-), wiďż˝c zakďż˝adam
ďż˝e to bug jakiďż˝.

--
Pozdrawiam,
ďż˝ukasz 'Maly' Ostrowski. http://l3v.pl/

Grzegorz Skoczylas

unread,

Oct 14, 2010, 9:14:12 AM10/14/10

to

W dniu 2010-10-14 14:30, ďż˝ukasz 'Maly' Ostrowski pisze:

> On Thu, 14 Oct 2010 12:02:36 +0200, webmaj...@poczta.onet.pl wrote:
>> Type PCell=^TCell;
>> TCell=Record
>> x,y,value:Integer;
>> end;
>>
>> <snip>
>>
>> var MyClass:TMyClass;
>>
>> MyClass[1,1].x=10; // poprawnie
>> MyClass[1,1]^.x:=10; // tez kompilator akceptuje ;
>>
>> ale jak zrobie
>>
>> with MyClass[1,1]^ do begin // tylko taka forme akceptuje kompilator
>> x:=10;
>> end;
>>
>> ktoďż˝ potrafi to wytďż˝umaczyďż˝ dlaczego tak siďż˝ dzieje ??
>
> Albo jakiďż˝ syntactic sugar w fpc, albo bďż˝ďż˝d w analizatorze
> ktďż˝ry traktuje jakby ^TCell byďż˝ rďż˝wnowaďż˝ny class[w
> uproszczeniu ^object, wiďż˝c w uproszczeniu jest ;-)]
> i poprawia . na dereference i member access operator z
> automatu w AST, bo takie ma "ukryte" znaczenie member
> access operator dla class.
>
> A przy with nie ma explicite member access
> operatora i pewnie dlatego siďż˝ kompilator gubi.

Teďż˝ sďż˝dzďż˝, ďż˝e mniej wiďż˝cej o to chodzi.

> To drugie to domysďż˝, nie kojarzďż˝ ďż˝eby byďż˝ taki cukier
> skďż˝adniowy w fpc kiedykolwiek ;-), wiďż˝c zakďż˝adam
> ďż˝e to bug jakiďż˝.

Podejrzewam, ďż˝e zostaďż˝o to zaimplementowane dla zgodnoďż˝ci z Delphi,
gdzie teďż˝ to dziaďż˝a podobnie.

Łukasz 'Maly' Ostrowski

unread,

Oct 14, 2010, 9:25:03 AM10/14/10

to

On Thu, 14 Oct 2010 15:14:12 +0200, Grzegorz Skoczylas wrote:
> Podejrzewam, ďż˝e zostaďż˝o to zaimplementowane dla zgodnoďż˝ci z Delphi,
> gdzie teďż˝ to dziaďż˝a podobnie.

Jeďż˝eli w dialekcie Delphi Object Pascala tak siďż˝ to zachowuje,
to mamy bezpoďż˝redni powďż˝d dla ktďż˝rego w FPC tak jest.
Od poczďż˝tku twierdzili ďż˝e chcďż˝ trzymaďż˝ kompatybilnoďż˝ďż˝ z
Delphi i cross-kompilowalnoďż˝ďż˝ ďż˝rďż˝deďż˝ z D.

Wiktor S.

unread,

Oct 14, 2010, 3:39:51 PM10/14/10

to

Grzegorz Skoczylas wrote:
> W dniu 2010-10-14 12:02, webmaj...@poczta.onet.pl pisze:
>
>> teraz jak w kodzie odwolam
>> MyClass[1,1].x=10; // poprawnie
>
> Zgodnie z definicją języka taki zapis (bez „^”) nie jest poprawny.
> Kompilator go akceptuje, ale tylko w niektórych kontekstach.

Jest to zdecydowanie ficzer (udokumentowany) kompilatora. Słusznie czy
niesłusznie, nie jest to bug.

--
Azarien

Wiktor S.

unread,

Oct 14, 2010, 3:41:19 PM10/14/10

to

> To drugie to domysďż˝, nie kojarzďż˝ ďż˝eby byďż˝ taki cukier
> skďż˝adniowy w fpc kiedykolwiek ;-), wiďż˝c zakďż˝adam
> ďż˝e to bug jakiďż˝.

Jest taki w Delphi. Nie jest to bug.
FPC pozwala na to w trybie delphi {$MODE DELPHI}. W trybie "wďż˝asnym" {$MODE
OBJFPC} to nie przejdzie.

--
Azarien

webmaj...@poczta.onet.pl

unread,

Oct 16, 2010, 10:11:12 AM10/16/10

to

>
> Jeďż˝eli w dialekcie Delphi Object Pascala tak siďż˝ to zachowuje,
> to mamy bezpoďż˝redni powďż˝d dla ktďż˝rego w FPC tak jest.
> Od poczďż˝tku twierdzili ďż˝e chcďż˝ trzymaďż˝ kompatybilnoďż˝ďż˝ z
> Delphi i cross-kompilowalnoďż˝ďż˝ ďż˝rďż˝deďż˝ z D.
>

sprawdziďż˝em takie zachowanie byďż˝o tylko gdy kod byďż˝ kompilowany ze zgodnoscia
dla Delphi . Przy wyďż˝ďż˝czeniu zgodnoďż˝ci kod siďż˝ nie kompilowaďż˝ i w kaďż˝dym
miejscu gdzie byďż˝o takie odwoďż˝anie kompilator zgďż˝aszaďż˝ bďż˝ďż˝d .