Was ist der „unmittelbare Kontext' in C 11 SFINAE und wie wirkt er sich auf Substitutionsfehler aus?

Den „unmittelbaren Kontext“ in C 11 SFINAE verstehen

Der C 11-Standard spezifiziert Bedingungen dafür, wann ein Substitutionsfehler zu einer harten Kompilierung führt Fehler oder ein Soft-Fehler, der einfach eine Vorlage aus Kandidaten für die Überlastungsauflösung verwirft. Ein Schlüsselkonzept bei dieser Bestimmung ist der „unmittelbare Kontext“.

Definition von „unmittelbarem Kontext“

Der Begriff „unmittelbarer Kontext“ wird im Standard kurz erwähnt, Die genaue Definition wird jedoch nicht explizit angegeben. Es wird jedoch häufig in Verbindung mit dem folgenden Text gefunden:

Note: The evaluation of the substituted types and expressions can result in side effects such as instantiation of template specializations, generation of implicitly-defined functions, etc. Such side effects are not in the “immediate context” and can result in the program being ill-formed.

Dieser Hinweis weist darauf hin, dass etwaige Nebenwirkungen, die während des Ersetzungsprozesses auftreten, wie z. B. Template-Instanziierungen oder implizite Funktionsdefinitionen, nicht als Teil davon betrachtet werden unmittelbarer Kontext.

Ermitteln von Substitutionsfehlern im unmittelbaren Kontext

Um festzustellen, ob ein Substitutionsfehler vorliegt Tritt im unmittelbaren Kontext auf, berücksichtigen Sie die folgenden Schritte:

1. Identifizieren Sie die Nebenwirkungen: Stellen Sie sich vor, Sie instanziieren alle Vorlagen und definieren alle impliziten Funktionen, die für die Vorlagenargumentersetzung erforderlich sind.
2. Auf Fehler prüfen: Sollten während dieser „Vorbereitungsphase“ Fehler auftreten, sind diese nicht Teil des unmittelbaren Kontexts und führen zu einer harten Kompilierung Fehler.
3. Argumente ersetzen: Sobald alle erforderlichen Instanziierungen und Definitionen fehlerfrei generiert wurden, ersetzen Sie die Argumente in der Signatur der Funktionsvorlage.
4. Auf Fehler prüfen während der Substitution: Wenn während dieses letzten Substitutionsschritts Fehler auftreten, handelt es sich nicht um echte Fehler, sondern um einen Abzug Ausfälle.

Beispiele

Betrachten Sie die folgende Vorlage und Fallback-Funktion:

template<typename T>
void func(typename T::type* arg);

template<>
void func(...);

1. Fall 1: Angenommen, A ist eine Vorlage mit einem Typmitglied, einem Aufruf von func::type*>(nullptr) schlägt mit einem harten Kompilierungsfehler fehl, da die Instanziierung von A (während der Vorbereitung) erstellt einen ungültigen Zeiger auf eine Referenz.
2. Fall 2: Wenn A eine explizite Spezialisierung für char hat, ein Aufruf von func::type*> ;(nullptr) instanziiert A (Vorbereitung erfolgreich), aber die anschließende Ersetzung von A::type (letzter Schritt) schlägt fehl, weil es nicht existiert. Dies führt zu einem Abzugsfehler und die Fallback-Funktion wird verwendet.

Fazit

Wenn Sie das Konzept des unmittelbaren Kontexts verstehen, können Sie besser erkennen, wann Ein Ersetzungsfehler führt zu einem harten Kompilierungsfehler oder einem weichen Abzugsfehler, was die effektive Verwendung von SFINAE in C 11 ermöglicht.

Das obige ist der detaillierte Inhalt vonWas ist der „unmittelbare Kontext' in C 11 SFINAE und wie wirkt er sich auf Substitutionsfehler aus?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!