c++

Faza 7: Białe znaki oddzielające żetony nie mają już znaczenia. Każdy token przetwarzania wstępnego jest konwertowany na token. Otrzymane tokeny są analizowane składniowo i semantycznie oraz tłumaczone jako jednostka tłumaczeniowa.

Faza 8: Przetłumaczone jednostki tłumaczeniowe i jednostki instancyjne są łączone w następujący sposób: Każda przetłumaczona jednostka tłumaczeniowa jest sprawdzana w celu utworzenia listy wymaganych instancji. Znajdują się definicje wymaganych szablonów. To, czy źródło jednostek tłumaczeniowych zawierające te definicje ma być dostępne, jest zdefiniowane przez implementację. Wszystkie wymagane instancje są wykonywane w celu utworzenia jednostek instancji.[ Uwaga: Są one podobne do przetłumaczonych jednostek tłumaczeniowych, ale nie zawierają odniesień do szablonów nieinstancjalnych ani definicji szablonów. —przypis końcowy] Program jest źle sformułowany, jeśli jakakolwiek instancja nie powiedzie się.

Usunąłem część notatek, aby skrócić wklejony tekst.

Dlaczego lokalizowanie i tworzenie instancji szablonów jest wykonywane po tym, jak jednostka tłumaczeniowa została już przetłumaczona w fazie kompilacji C++ 8? Czy te kroki nie powinny mieć miejsca w fazie 7, biorąc pod uwagę dwufazowe wyszukiwanie nazwy?

Dan 1 październik 2012, 01:31

2 odpowiedzi

Najlepsza odpowiedź

To pozostałość po nieaktualnym funkcja eksportowania szablonów. Szablony eksportu pozwoliły na umieszczenie definicji szablonów klas i funkcji niezależnie od ich deklaracji (w odpowiednim sensie).

Jako szczegół implementacji, oddzielenie tłumaczenia jednostek tłumaczeniowych od tworzenia instancji szablonu może mieć sens, ponieważ może zmniejszyć zbędną pracę podczas tworzenia instancji szablonów. Jednak większość obecnych kompilatorów tworzy instancje wszystkich szablonów podczas translacji jednostek translacji i eliminuje zduplikowane instancje w czasie łączenia.

Mamy nadzieję, że koncepcje i moduły pozwolą w przyszłości na ponowne wprowadzenie podobnej funkcji do języka.

ecatmur 1 październik 2012, 21:50

Uważam, że ta część dotyczy wstępnej kompilacji typów szablonów. Dowolny typ, który jest szablonem, będzie „jednostką wystąpienia”. Jeśli typ szablonu jest wstępnie skompilowany, należy go obsłużyć w tej fazie.

CrazyCasta 1 październik 2012, 01:38

Podobne pytania

6 C++11 rwartości i pomieszanie semantyki ruchu (instrukcja return)

1 Typy tokenów C++

1 Tożsamość wystąpienia szablonu funkcji w wielu jednostkach tłumaczeniowych

1 Czy zmienne szablonu są dozwolone w wielu jednostkach tłumaczeniowych i skutecznie łączone?

1 Kolejność inicjowania członka statycznego wyraźnie instancji szablonu i kolejnej zmiennej statycznej

Nowe pytania

2 Wywoływanie funkcji i przekazywanie argumentów przez mapę w c++?

2 Jak sprawdzić w c++ noexcept(T + T), gdzie T jest szablonem

1 Jak iterować po enumeratorach klasy enum?

2 Parsowanie pliku tekstowego z symbolem

1 Mając n punktów, jak mogę znaleźć liczbę punktów przy danej odległości?

3 Używanie pola klasy abstrakcyjnej jako domyślnego argumentu metody (c++)

6 Najczystszy sposób na uniknięcie dwukrotnego pisania tego samego warunku

1 Jak przywrócić ustawienia domyślne w VS Code?

1 Jak wywołać funkcję członkowską c++ jako wywołanie asynchroniczne z QML

2 C++ Brak pasującej funkcji elementu członkowskiego dla wywołania „wymazywania”?

Wszystkie pytania dotyczące c++ >

C ++ to język programowania ogólnego przeznaczenia. Pierwotnie został zaprojektowany jako rozszerzenie C i ma podobną składnię, ale teraz jest to zupełnie inny język. Użyj tego tagu w przypadku pytań dotyczących kodu (który ma zostać) skompilowany za pomocą kompilatora C ++. Użyj znacznika specyficznego dla wersji w przypadku pytań związanych z określoną wersją standardu [C ++ 11], [C ++ 14], [C ++ 17], [C ++ 20] lub [C ++ 23] itp. .

Więcej na temat c++...