🚀 go-pugleaf

RobertSzefler <NOSPAMrszeflerNOSPAM@murator.com.pl> writes:

>>>>        x * y; // co to za konstrukcja?
>>>
>>>Eee... a tu jest jakaś niejednoznaczność? To jest po prostu mnożenie x
>>>przez y na moje oko.
>> To może być też definicja zmiennej y typu wskaźnik do x.
>
> aaach! oczywiście ... to problem jak rozumiem pojawiający się dla ISO
> C99 (a dla jakich dialektów C++?)

Problem pojawia się we wszystkich wersjach C, które miały już
konstrukcję typedef, i w C++.

W C niejednoznaczność może być zawsze rozstrzygnięta przez kompilator
na podstawie kontekstu: parser musi tylko wiedzieć, które identyfikatory
oznaczają typy, a które nie.

W C++ szablony nakładają nową trudność. "Identyfikator" nie musi
być globalny, może być kwalifikowany nazwą klasy, a klasa może być
ukonkretnieniem szablonu. Czyli żeby rozstrzygnąć, jak to parsować,
trzeba konkretyzować szablony. Co w ogólności może być niemożliwe,
jeśli kod jest umieszczony w innym szablonie i to, czym konkretyzuje
tamten szablon, zależy od jego parametru, czyli jeszcze nie jest znane.

Stąd typename, żeby ujednoznacznił to programista. A kompilator musi
to sobie tak zorganizować, że jedne ukonkretnienia szablonów są
wykonywane od razu, a inne są odraczane, aż będą znane parametry.

Podobnie ze sprawdzaniem typów: jeśli jesteśmy w szablonie, to jedne
wyrażenia mają typ obliczany od razu, a inne są odraczane, zależnie
od tego, czy ten typ może zależeć od parametrów szablonu. Określanie
tych typów, które się da, od razu, jest o tyle potrzebne, że semantyka
C++ uzależnia przestrzenie wyszukiwania identyfikatorów od typów
(m.in. tzw. Koenig lookup). Jeśli typy są znane w czasie przetwarzania
szablonu, to identyfikatory są wyszukiwane w przestrzeniach nazw
wyznaczonych przez te typy i zależnych tylko od miejsca definicji
szablonu, a jeśli nie są znane, to wszystko jest odraczane, a przy
konkretyzacji szablonu identyfikatory są wyszukiwane zarówno
w miejscach zależnych od kontekstu definicji szablonu, jak i od
kontekstu użycia.

-- 
   __("<         Marcin Kowalczyk
   \__/       qrczak@knm.org.pl
    ^^     http://qrnik.knm.org.pl/~qrczak/