Warum brauche ich in diesem speziellen Fall keine Template-Parameter?

Question

Ich habe diesen Code:

struct Base {}; 

template<typename T> 
struct Foo : Base {}; 

struct Bar { 
    template<typename T> //   v--- What's happening here? 
    Bar(T foo) : baz{std::make_unique<Foo>(foo)} {} 

    std::unique_ptr<Base> baz; 
}; 

Als Überraschung, GCC und Clang akzeptieren und kompiliert. Es scheint, den Vorlagenparameter von Foo abzuleiten, aber es würde keinen Sinn ergeben. Wie kommt es, dass die Compiler akzeptieren, dass, selbst wenn es keine Überladung von std::make_unique gibt, die einen Template-Template-Parameter nimmt? Live example

Answer 1

Es gibt einige Situationen, in denen eine Vorlage immer ungültig ist, unabhängig davon, welche Vorlage Argumente geliefert werden, aber der Compiler ist nicht in der Lage, dass, um herauszufinden, weil sie nicht über die Fähigkeit, jeden versuchen ersetzen möglicher Satz von Vorlagenargumenten. Gemäß dem Standard ([temp.res]/8):

Wenn keine gültigen Spezialisierungs für eine Vorlage erzeugt werden, und das Template nicht instanziiert wird, ist die Vorlage schlecht ausgebildet ist, erforderlich ist keine diagnostischen .

Das bedeutet, dass der Compiler intelligent sein darf und beweisen, dass es keine gültige Spezialisierung ist, und ein Übersetzungsfehler erzeugen, aber es wird auch zu sein, nicht intelligent genug, erlaubt, und kein Übersetzungsfehler zu erzeugen. Nachdem die Vorlage instanziiert wurde, muss der Compiler den Fehler natürlich diagnostizieren.

Es ist nicht illegal, den Namen einer Vorlage ohne Vorlagenargumente zu verwenden. Es gibt einige Umstände, unter denen der Compiler Argumente herleiten kann. Zum Beispiel:

template <class T> 
void foo(T x); 

int main() { 
    void (*p)(int) = foo; // p points to foo<int> 
} 

In Ihrem Code, stellt sich heraus, dass Sie Foo in einem Kontext verwendet habe, in dem die Vorlage Argumente können nicht abgeleitet werden. Wenn die Compiler klüger wären, hätten sie das herausgefunden. Aber die Tatsache, dass sie es nicht geschafft haben, es herauszufinden, bedeutet nicht, dass Ihr Code korrekt ist.

Answer 2

Der Grund, warum dies funktioniert, ist, weil C++ nicht wirklich Vorlagenfunktionen erstellt, bis sie von irgendwo im Code aufgerufen werden. In diesem Fall, da Ihr Code nicht versucht, eine Bar zu erstellen, wird Ihre Vorlage ein Arg--Konstruktor nie generiert, so dass der Compiler nie überprüfen muss, ob der Code korrekt ist.

Vorlagenfunktionen werden vom Compiler generiert, sobald sie verwendet werden, und sie werden nur basierend auf den an sie übergebenen Typen generiert. Also, wenn Sie versuchen, eine Bar wie so zu erstellen:

Foo<int> f; 
Bar b = Bar(f); 

Der Compiler wird versuchen, den Konstruktor zu erzeugen, und mit einem Fehler fehl wie:

error C2955: 'Foo' : use of class template requires template argument list 

Weil es jetzt weiß der Code falsch ist.

Wenn Sie darüber nachdenken, muss es so funktionieren: Da C++ keine Einschränkungen für Schablonentypen zulässt, müsste der Compiler alle möglichen Kombinationen von Schablonentypen ausprobieren, um herauszufinden, ob es sich um eine Vorlage handelt Funktion hat Syntaxfehler.