Kann der template-Parameter eines Konstruktors angegeben werden?

Konstruktor der Klasse kann eine template-Funktion. An der Stelle, wo so ein Konstruktor aufgerufen wird, der compiler in der Regel schaut auf die gegebenen Argumente an den Konstruktor und bestimmt die verwendeten template-Parameter von Ihnen. Gibt es auch die syntax zum angeben der template-Parameter explizit?

Ein erfundenes Beispiel:

struct A {
   template<typename T>
   A() {}
};

Gibt es eine Möglichkeit diese Klasse instanziieren? Was ist die syntax explizit den Konstruktor der template-Parameter?

Mein Anwendungsfall wäre ein problem waren die compiler nicht scheinen zu finden, die richtigen Vorlagen-Konstruktor. Explizite Angabe der template-Parameter würde wahrscheinlich generieren, mehr nützliche Fehlermeldungen oder sogar das problem zu beheben.

  • Die explizite Angabe von template-Argumente für Konstruktoren funktioniert nur in explizite Spezialisierungen, Instanzen, out-of-line-Definitionen und friend-Deklarationen des Konstruktors.
  • template <class TArg> struct A { template<typename T = TArg> A() {} }; - funktioniert gut für mich. Aber natürlich haben wir jetzt die Vorlage Klasse.
InformationsquelleAutor sth | 2010-05-18
  1. 37

    Nicht. Die C++03-standard sagt:

    [Hinweis: da die explizite template-Argumentliste folgt der Funktion name der Vorlage, und
    weil die Umwandlung member-Funktion Vorlagen und Konstruktor-member-Funktion-templates aufgerufen werden, ohne eine Funktion verwenden, die Namen, es gibt keine Möglichkeit, eine explizite template-argument-Liste für diese Funktion Vorlagen.] (§14.5.2/5)

    InformationsquelleAutor James McNellis
  2. 8

    Gibt es eine andere Lösung für die übertragung von Typ-Informationen zu Vorlagen-Konstruktoren, die können nicht einen Wert dieses Typs als argument:

    template<class T>
struct id
{};

struct A {
  template<class T>
  A(id<T>);
};

A a=id<int>();

    Edit:

    Bitte beachten Sie: A a(id<int>()); wird nicht funktionieren, weil die meisten vexing parse. Würde es interpretiert werden als eine Funktion Erklärung. Sehen diese Frage für weitere Erklärung.

    InformationsquelleAutor Jan Herrmann
  3. 3

    Nein, Sie kann nicht instanziiert werden, die Klasse mit diesem Konstruktor. ABER:

    

struct A
{
  template < typename T >
  A(T const&);
};

    Nun können Sie.

    • Ich verstehe nicht ganz die Antwort... wie ist es mit der Frage?
    • Es zeigt, wie Sie es tun können. Es passiert einfach so, dass Sie nicht tun können, die Art und Weise der gestellten Frage.
    • Auch schlechte Kommentare können nicht herabgestuft werden. Dass man weit Weg von "toll".
    • Sie können es auch tun, in einer Weise, so dass das Tor nicht erscheinen zu müssen args: template <typename T> A(const T* = NULL); achten Sie darauf, dass der Raum zwischen * und =, oder Sie werden sich Fragen, für Tage, was die Fehlermeldung bedeutet...
    • Ich glaube nicht, dass die person, die up-gestimmt, dass wirklich versucht. Sie können nicht tun, da der compiler nicht in der Lage ist, herauszufinden, was T sein soll, ohne das argument.
    InformationsquelleAutor Edward Strange
  4. 3

    Als Problemumgehung: Sie können definieren, eine vorgefertigte statische factory-Funktion, die in sich wiederum zurückkehren würde, eine Instanz mit einem privaten Konstruktor.

    struct A {
    template<typename T>
    static A create() {
        return A();
    }
private:
    A() {}
};

    Bekommen Sie dann neue Instanzen Einer wie dieser:

    auto a1 = A::create<int>();
auto a2 = A::create<long>();
    InformationsquelleAutor Knuckles
Schreibe einen Kommentar