Adresse der C++ - Vorlagenfunktion

Question

Warum kann das nicht kompiliert werden? (G ++ - 4,5)

template < typename U > 
static void h() { 
} 

int main() { 
    auto p = &h<int>; // error: p has incomplete type 
} 

EDIT: Hier ist ein Work-around:

template < typename U > 
static void h() { 
} 

int main() { 
    typedef decltype (&h<int>) D; 
    D p = &h<int>; // works 
} 

Answer 1

In C++ 0x ist dies garantiert zu arbeiten. In C++ 03 funktionierte das jedoch nicht (der Initialisierungsteil, das ist) und einige Compiler unterstützen es anscheinend noch nicht.

Darüber hinaus erinnere ich mich, dass die C++ 0x Formulierung nicht klar ist, was passiert mit &h<int>, wenn es ein Argument für eine Funktionsvorlage ist und der entsprechende Parameter abgeleitet wird (das ist, was auto übersetzt wird, konzeptionell). Die Absicht ist jedoch, dass sie gültig ist. Siehe this defect report, wo sie die Formulierung, das Beispiel von "Nico Josuttis" und ihr letztes Beispiel entworfen haben.

Es gibt eine weitere Regel, die der Wortlaut erzwingt, aber Compiler nicht korrekt implementieren. Zum Beispiel see this clang PR.

Answer 2

Es ist nicht kompiliert, da Art von 'p' bekannt ist, nicht an den Compiler, ein absolutes Muss in C++ im Gegensatz zu einigen anderen Sprachen.

Versuchen

template < typename U > 
static void h() { 
} 

int main() { 
    auto void (*p)() = &h<int>; 
} 

Answer 3

Versuchen

auto p = static_cast<void(*)()>(& h<int>); 

Da gcc behandelt Funktion als überlastet ein Templat. Aus Sicht des GCC ist es so, als hätten Sie h(int param) und - welchen muss der Compiler wählen?

Ich bemerkte, was das Problem in älteren Versionen von gcc war, aber ich werde versuchen, es ausführlicher zu erklären. GCC konnte den Typ nicht ableiten, da die Template-Funktion wie eine überladene Funktion behandelt wurde. Es war im Grunde wie Sie die folgenden würde:

void h(int) 
{ 
} 

void h(float) 
{ 
} 

void (*p)(int) = & h; //ok 
void (*p)(float) = & h; //ok 
auto p = & h; //error: which version of h? 

Für gcc h<int> war wie überlastet h Funktion mit endlosen Alternativen abhängig von T Parameter. Mit dem in Frage gestellten Code war es O.K. Folgendes zu tun:

void (*p)() = & h<int>; 

(das ist, warum ich nicht bekommen typedefed "work-around")

Wie ich dachte OP C++ 11 auto Schlüsselwort verwenden wollte, wie durch einen Tag vorgeschlagen, Ich statisch h<int>void(*)() gegossen, die Art von No-Operation ist, nur um gcc Trick, weil es nicht in der Lage war, mit Vorlagenfunktionen und auto richtig umzugehen.

Die Funktionen void h<int>() und void h<float>() sollten natürlich wie verschiedene Funktionen mit dem gleichen Zeigertyp behandelt werden und nicht überladen Versionen von h Funktion.Wenn instanziiert sollten sie wie void hInt() und void hFloat() verhalten und Sie sollten Auto zu benutzen, wie hier in der Lage:

void hInt() 
{ 
} 

void hFloat() 
{ 
} 

auto p = hInt; 
p = hFloat; 

Aber für gcc aus irgendeinem Grund sie waren wie überladene Versionen von h.

Bitte geben Sie einen Grund für downvotes.