


Ist die zweiphasige Template-Instanziierung von Microsoft Visual C wirklich kaputt, und wenn ja, wie?
Dec 07, 2024 pm 12:13 PMMissverstandene ?kaputte“ zweiphasige Vorlageninstanziierung von Microsoft Visual C
Einführung
Microsoft Visual C (MSVC ) wurde oft wegen seiner angeblich fehlerhaften Implementierung der zweiphasigen Template-Instanziierung kritisiert. Dieser Artikel geht auf die Besonderheiten dieser Kritik ein, untersucht das zugrunde liegende Problem und liefert eine detaillierte Erkl?rung.
Die Kontroverse um die zweiphasige Template-Instanziierung
Zwei-Phasen-Template-Instanziierung ist ein Prozess in C, bei dem Vorlagenklassen und -funktionen zun?chst syntaktisch auf Korrektheit überprüft werden und dann an sp?teren Verwendungsorten eine vollst?ndige Instanziierung erfolgt. Es wurde jedoch behauptet, dass MSVC diesen Mechanismus nicht ordnungsgem?? implementiert.
Frühes Verst?ndnis des Problems
Anfangs wurde angenommen, dass MSVC nur grundlegende Syntaxprüfungen durchführte bei Vorlagendefinitionen, wobei ignoriert wird, ob in der Vorlage verwendete Namen deklariert wurden. Dieses Verst?ndnis ist jedoch unvollst?ndig.
Die wahre Natur des Problems
Das eigentliche Problem mit der zweiphasigen Vorlageninstanziierung von MSVC besteht aus zwei miteinander verbundenen Ebenen:
Schicht 1: Falsche Suche in der ersten Phase
MSVC funktioniert nicht frühe (erste Phase) Suche nach nicht abh?ngigen Ausdrücken, wie im Beispiel:
int foo(void*); template<typename T> struct S { S() { int i = foo(0); } }; void foo(int);
MSVC verschiebt diese Suche auf die zweite Phase, wo es den Ausdruck f?lschlicherweise an ?foo(int)“ bindet, was zu einem Fehler führt.
Schicht 2: Falsche Suche in der zweiten Phase
Die zweite Phase Die Vorlagensuche in MSVC ist ebenfalls fehlerhaft. W?hrend der C-Standard vorgibt, dass ADL-nominierte Namespaces in der zweiten Phase erweitert werden, erweitert MSVC f?lschlicherweise auch die Nicht-ADL-Suche.
Dies kann anhand des folgenden Beispiels veranschaulicht werden:
namespace N { struct S {}; } void bar(void *) {} template <typename T> void foo(T *t) { bar(t); } void bar(N::S *s) {}
Obwohl es abh?ngig ist, wird der Aufruf von bar(t) f?lschlicherweise in void bar(N::S *s) aufgel?st, was das unangemessene Verhalten der zweiten Phase von MSVC zeigt Nachschlagen.
Fazit
Die Implementierung der zweiphasigen Vorlageninstanziierung durch Microsoft Visual C ist zwar fehlerhaft, jedoch nicht in der ursprünglich verstandenen vereinfachten Art und Weise. Das Problem ist ein komplexes Zusammenspiel zwischen fehlerhaften Suchvorg?ngen in der ersten und zweiten Phase, das bei bestimmten Codekonstruktionen zu Fehlern oder falschem Verhalten führen kann.
Das obige ist der detaillierte Inhalt vonIst die zweiphasige Template-Instanziierung von Microsoft Visual C wirklich kaputt, und wenn ja, wie?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!

Hei?e KI -Werkzeuge

Undress AI Tool
Ausziehbilder kostenlos

Undresser.AI Undress
KI-gestützte App zum Erstellen realistischer Aktfotos

AI Clothes Remover
Online-KI-Tool zum Entfernen von Kleidung aus Fotos.

Clothoff.io
KI-Kleiderentferner

Video Face Swap
Tauschen Sie Gesichter in jedem Video mühelos mit unserem v?llig kostenlosen KI-Gesichtstausch-Tool aus!

Hei?er Artikel

Hei?e Werkzeuge

Notepad++7.3.1
Einfach zu bedienender und kostenloser Code-Editor

SublimeText3 chinesische Version
Chinesische Version, sehr einfach zu bedienen

Senden Sie Studio 13.0.1
Leistungsstarke integrierte PHP-Entwicklungsumgebung

Dreamweaver CS6
Visuelle Webentwicklungstools

SublimeText3 Mac-Version
Codebearbeitungssoftware auf Gottesniveau (SublimeText3)

Hei?e Themen

Ja, die überlastung von Funktionen ist eine polymorphe Form in C, speziell kompiliert-Time-Polymorphismus. 1. Funktionsüberladung erm?glicht mehrere Funktionen mit demselben Namen, aber unterschiedlichen Parameterlisten. 2. Der Compiler entscheidet, welche Funktion zur Kompilierung der entsprechenden Parameter zu Kompilierzeit aufgerufen werden soll. 3. Im Gegensatz zum Laufzeitpolymorphismus hat Funktion überladung zur Laufzeit keinen zus?tzlichen Overhead und ist einfach zu implementieren, aber weniger flexibel.

C hat zwei polymorphe Haupttypen: Kompilierungszeitpolymorphismus und Laufzeitpolymorphismus. 1. Die Kompilierungszeitpolymorphismus wird durch Funktion überladung und Vorlagen implementiert, was eine hohe Effizienz bietet, kann jedoch zu Code-Bl?hungen führen. 2. Die Laufzeitpolymorphismus wird durch virtuelle Funktionen und Vererbung implementiert, die Flexibilit?t, aber Leistungsaufwand bietet.

Ja, Polymorphismen in C sind sehr nützlich. 1) Es bietet Flexibilit?t, um eine einfache Erg?nzung neuer Typen zu erm?glichen. 2) f?rdert die Wiederverwendung von Code und reduziert die Duplikation; 3) vereinfacht die Wartung und erleichtert den Code, sich zu erweitern und sich an ?nderungen anzupassen. Trotz der Herausforderungen des Leistungs- und Ged?chtnismanagements sind die Vorteile in komplexen Systemen besonders von Bedeutung.

C DestructorscanleadtoseveralcommonErrors.Toavoidthem: 1) PREVORDDoUbledelTionBysettingPointerstonullPtrorusingsMartPointers.2) Handlexzepionsindrute -byCatchingandLoggingThem.3) UseVirirtualDestructorsinbaseClaStroperPoperPolymorpicdestruction.4

Polymorphismen in C werden in Laufzeitpolymorphismen und Kompilierungs-Zeit-Polymorphismen unterteilt. 1. Die Laufzeit -Polymorphismus wird durch virtuelle Funktionen implementiert, sodass die richtige Methode zur Laufzeit dynamisch aufgerufen werden kann. 2. Die Kompilierungszeitpolymorphismus wird durch Funktionsüberlastung und Vorlagen implementiert, wodurch eine h?here Leistung und Flexibilit?t erzielt wird.

Menschen, die den Python -Transfer zu C studieren. Die direkteste Verwirrung ist: Warum k?nnen Sie nicht wie Python schreiben? Da C, obwohl die Syntax komplexer ist, zugrunde liegenden Kontrollfunktionen und Leistungsvorteile. 1. In Bezug auf die Syntaxstruktur verwendet C Curly -Klammern {} anstelle von Einrückungen, um Codebl?cke zu organisieren, und variable Typen müssen explizit deklariert werden; 2. In Bezug auf das Typensystem und die Speicherverwaltung verfügt C nicht über einen automatischen Mülleimermechanismus und muss den Speicher manuell verwalten und auf die Freigabe von Ressourcen achten. Die Raii -Technologie kann das Ressourcenmanagement unterstützen. 3. In Funktionen und Klassendefinitionen muss C explizit auf Modifikatoren, Konstrukteure und Zerst?rer zugreifen und erweiterte Funktionen wie die überlastung des Bedieners unterstützen. 4. In Bezug auf Standardbibliotheken bietet STL leistungsstarke Container und Algorithmen, muss sich jedoch an generische Programmierideen anpassen. 5

C Polymorphismincludes-Compile-Time, Laufzeit und TemplatePolymorphismus.1) Compile-TimepolymorphismusseFranction undoperatoroverloading Forefficiency.2) RunTimepolymorphismPirtualFunctionsforflexibilit?t.3) templatepolymorphisMenenericProgrammprogrammen

C polymorphismisuniqueduetoitsCombinationofcompile-Timeandruntimepolymorphismus, der Forbothefficiency-Flexibilit?t erlaubt
