C++11: Explizite Instanziierung Deklaration vs. explizite Instantiierung definition

Was ist der Unterschied zwischen C++03 die explizite template-Instantiierung definition und C++11, die explizite template-Instantiierung Erklärung ?

Was ich meine ist, warum die Instanziierung definition ist nicht genug, um zu verhindern, dass der compiler generiert die Umsetzung für andere Arten ? Was ist falsch in dem unten angeführten Beispiel: Stell dir vor, ich teilte die template-Deklaration und-definition in zwei separate Dateien:

A. h

#pragma once

template<typename T>
class A
{
public:
    A(T t);

private:
    T _t;
};

A.cpp

#include "A.h"

template<typename T>
A<T>::A(T t) : _t(t) {}

template class A<int>; //explicit instantiation

main.cpp

#include "A.h"

int main()
{
    A<int> a(5); //fine, compiler generates header file,
                 //linker links with implementation from A.cpp file

    //A<float> b(3.14f); //linker error, as expected
}

Gibt es eine Zusammenstellung zusätzlicher Verarbeitungsaufwand im Beispiel oben? Wenn ich das richtig verstehe, in diesem Fall mit expliziter Instanziierung definition in eine separate *.cpp-Datei (zusammen mit der template-Umsetzung) mache ich den compiler nicht implizit instanziieren Sie das template mit anderen Arten. Als solche, weshalb es eine separate syntax für explizite Instanziierung Deklaration ?

Wie kann explizite Instantiierung Erklärung Beschleunigung der Kompilierung, ob ich SCHON versteckt, die Umsetzung in A.cpp Datei explizite Instanziierung definition, und verhindert compiler generiert Körpers für andere Arten. Ist die "explizite Instanziierung Deklaration" irgendwie verwandt "explizite Instantiierung definition", meine ich, sollte ich beide, oder sind das völlig separate Funktionen (z.B. explizite Instanziierung Deklaration kann nur verwendet werden, wenn die explizite Instanziierung definition nicht verwendet wurde) ?

Denke ich Recht, dass die explizite Instantiierung definition ist nur zum Fehler auslösen, wenn kein anderer übersetzungseinheit instantiiert die Vorlage mit gegebenen Typ?

InformationsquelleAutor Marc Andreson | 2014-07-31

c++c++11 templates

28

Wenn man eine explizite Instanziierung definition in der Datei A.cpp, wie ist der compiler, der soll wissen, dass es da beim kompilieren main.cpp? Die Antwort ist, dass dies nicht der Fall, so wäre es immer noch instanziieren der templates verwendet, in main.cpp, und in Ihrem Fall mit der expliziten Instanziierung definition ist sinnlos und hilft nicht.

Einer Erklärung eine explizite Instanziierung sagt der compiler "kümmern Sie sich nicht um die Instanziierung dieser Vorlage, das werde ich tun, mich irgendwo anders im Programm", und die definition ist das, was erfüllt das Versprechen.

Die explizite Instantiierung definiert werden muss, genau einmal, in nur einer Datei, aber es kann erklärt werden, die mehrfach in verschiedenen Dateien. Das ist nichts einzigartiges zu templates in C und C++ die gleichen Regeln gelten auch für (nicht-inline) - Funktionen: können Sie erklären Ihnen mehrmals in verschiedenen Dateien (in der Regel, indem Sie die Deklaration in der header), und bestimmen Sie dann die Funktion genau einmal in einer Datei.

Also, um dein Beispiel richtig funktioniert, sollten Sie das hinzufügen einer Erklärung in A.h:
```
extern template class A<int>; //explicit instantiation declaration
```
- Also in anderen Worten, die "Explizite Instanziierung Deklaration" (wie es genannt wird hier) ist eine Erklärung, wo das template instanziiert wird, wird in diese Datei die definition eingeholt werden sollte anderswo?
- ja, genau. (Und beachten Sie, dass es auch als "explizite Instanziierung Deklaration" in meiner Antwort, denn es ist der richtige name!)
- Wenn ich eine andere übersetzung Einheit, sagen B.cpp ich muss nur include "A. h" genau wie ich in main.cpp verwenden Sie Eine<int>. Was ist Los mit diesem? Es ist noch unklar für mich, warum brauche ich eine explizite template-Deklaration, wenn das Beispiel funktioniert.
- es funktioniert, aber der compiler instanziieren der templates wieder in jeder Datei, und der linker werden wegwerfen die Duplikate. Das verschwendet Zeit. Eine explizite Instanziierung in A.cpp bedeutet, dass der compiler muss nur generieren die Klasse nur einmal, sondern zu nutzen, die dem compiler hat, um zu wissen, die explizite Instantiierung vorhanden ist beim kompilieren B.cpp und main.cpp, das ist, warum erklären Sie es. Aber wenn Sie nicht verstehen, die nutzen dann eben nicht die explizite instantiierungen, niemand zwingt dich, Sie zu benutzen.
- Aber wie kann das der compiler instanziiert diese Vorlage in B.cpp Datei, wenn die a-h-header-Datei enthält nur die Deklaration, und der tatsächlichen Umsetzung liegt versteckt in A.cpp Datei ?
- Der compiler instanziiert die Klasse A<int> im B.cpp und strahlt eine Undefinierte Referenz auf die Funktion A<int>::A(int). Der linker findet die definition im link-Zeit. Wenn Sie eine explizite Instanziierung definition in A.h dann der compiler nicht instanziiert A<int> beim kompilieren B.cpp
- Damit der compiler erzeugt Klasse Erklärung Ein<int> richtig? So als ob ich aufgenommen haben, die header-Datei der Klasse "A_int" in meiner übersetzung Einheit? Aber ich denke, "extern template class A<int>" wird das gleiche tun, so sehe ich keinen Vorteil, aber ich wünschte, ich es verstanden habe 🙁
- Lassen Sie uns weiterhin diese Diskussion im chat.
- In anderen Worten, explizite Instanziierung Deklaration ist nur ein Weg, um zu optimieren die Zusammenstellung. Ohne Sie, wird der code noch kompilieren, aber es könnte erzeugen eine Reihe von implizite instantiierungen von templates, die bereits explizit instanziiert werden, irgendwo anders. Die zusätzliche (implizite) Instanzen entfernt werden, indem der linker später. I. e. das Endergebnis ist das gleiche mit oder ohne explizite Instanziierung Deklaration, aber mit ihm die Kompilierung erspart einige unnötige Arbeit.
- Fragen Sie Ihre eigene Frage. Es gibt keinen Weg, ich kann wissen, warum "es nicht funktioniert", denn das ist viel zu vage, so dass nicht gehört, in einem Kommentar zu einer anderen Frage. Die Deklarationen sollten im namespace-Gültigkeitsbereich, und wenn Sie gebraucht werden, in mehreren Dateien, die Sie sollte in einem header (genau wie die Vorlagen selbst). Meine Antwort schon sagt, es sollte in einem header.
InformationsquelleAutor Jonathan Wakely
0

Eine explizite Instanziierung Deklaration (extern-Vorlage) überspringt die implizite Instanziierung Schritt: der code, der würde sonst eine implizite Instanziierung verwendet stattdessen die explizite Instantiierung definition an einer anderen Stelle (die link-Fehler, wenn keine solche Instanziierung vorhanden ist). Dies kann verwendet werden, zu reduzieren Zusammenstellung mal durch explizite Deklaration einer template-Instantiierung in allen, aber einer der Quell-Dateien mit es, und explizit definieren, die es in der restlichen Datei.
Quelle

Hier eine Erklärung in main.cpp oder A.h verhindert hätte main.cpp von der Erzeugung (zur compile-Zeit) code basierend auf dem, was Teile der Vorlage sind sichtbar, nämlich eine A.h-basierte A<int> Spezialisierung:
```
class A<int>
{
public:
    A(int t);
private:
    int _t;
};
```
Jedoch die main.cpp code nicht braucht, um zu wissen, dass A<int>::A(int) vorhanden ist, das heißt, es muss führen Sie eine Art der Instanziierung, um zu lernen, alle A<int> Mitglieder, das ist genau das, was ein A.h-basierte A<int> Instanziierung tun würde.

Also das ist ja nicht genau klar, wie es ist hier nützlich - allerdings unterliegen pro-compiler/platform profiling.

InformationsquelleAutor N. J. M.

Schreibe einen Kommentar

Du musst angemeldet sein, um einen Kommentar abzugeben.