🚀 go-pugleaf

"Marcin 'Qrczak' Kowalczyk" <qrczak@knm.org.pl> wrote in message 
news:1197591962.23942.28.camel@qrnik...
Dnia 13-12-2007, Cz o godzinie 23:56 +0100, Adam Karpierz pisze:

> Kontekstowość typedefów wymusza albo informację zwrotną od
> analizy semantycznej do leksera (na bieżąco),

Zgadza sie:
I tak sie to zazwyczaj robi.
Wiadomo dlaczego (bledy na biezaco).
Jako "nosnik" starczy zwykly stos /w scope pamieta sie tylko
gdzie wrocic a szuka sie przy jednoczesnej redukcji
typedefow od konca/.

> albo parsowanie do jakiejś pokręconej struktury uwzględniającej
>  różne możliwości statusu typedefowego identyfikatorów,
> która potem będzie dopiero ujednoznaczniana (nie wiem,
> czy to w ogóle jest praktyczne, bo wszyscy robią tą pierwszą metodą,
> ale teoretycznie parser mógłby pozostawić coś niewiele różniącego
>  się od ciągu leksemów, więc jakiś wariant drugiego
>  rozwiązania jest teoretycznie możliwy).

Zgadza sie.  Tyle ze niekoniecznie do pokreconej struktury tylko
normalnie w drzewie jako node typedefa
(node typu: typedef z subnode1: nazwa i subnode2: "rozczesanym" typem).
Oczywiscie ze to gorsze z w/w powodow ale analize typedefow mozna
przeprowadzic dopiero po utworzeniu drzewa (podobnie mozna by zrobic
ze zmiennymi - np error gdy nieistnieje/neizadeklarowana).
Analiza na juz gotowym drzewie nie tylko wykrywala by bledy
semantyczne ale rowniez redukowala drzewo o typedefy wlasnie.

> W C++ to jest znacznie gorzej, bo identyfikatory nie muszą być globalne,
> tylko mogą pochodzić z szablonów, które trzeba ukonkretniać, więc praca
> spleciona z lekserem jest znacznie szersza - obejmuje nawet wyliczanie
> stałych wyrażeń (typów całkowitych). Oprócz statusu typedefowego do
> parsowania potrzebny jest też status bycia szablonem. Ale w C praktyczna
> konieczność splecenia ze sobą faz, które zazwyczaj są osobne, już się
> objawia.

No i _dokladnie_ z w/w powodow dalem sobie spokoj.
Po prostu (juz szczegolow nie pamietam - bawilem sie tym chyba juz chyba
2 lata z hakiem temu) w semantyce np. typologii C++ robi sie dzungla.
Co mi z parsera jesli nad poparsingowa nawet semantyka i redukcjami drzewa
musialbym siedziec reszte zycia - _nie_ chce umrzec znajac raport C++
na pamiec :)

> Kontekstowość else jest trywialnie rozwiązywalna przez modyfikację
> gramatyki (zdublowanie niektórych symboli w wersji dopuszczającej
> kończenie się na if bez else bądź nie),

Dokladnie !

> choć prościej może być pozostawić niejednoznaczność,
> jeśli wiemy, jak będzie rozwiązana.

Tez swieta prawda :)


PS: Nie wiem czy wiesz ale pomiedzy ostatnim ogolnioe dostepnym
       draftem standardu,  a oficjanym standardem C++ istnieja...
       roznice w gramatyce C++.  W szablonach wlasnie.

AK