Explizite Funktion Template-Spezialisierung

Question

Ich dachte, dass Template-Spezialisierungen völlig unabhängige Entitäten waren und alles haben konnten, was sie wollten. Aber VC++ hat mir einen Fehler gemeldet, als ich den Rückgabetyp einer Spezialisierung, die sich vom Rückgabetyp der ursprünglichen Vorlage unterscheidet, gemacht habe. Ist das wirklich Standard? Ich habe das Problem einfach gelöst, indem ich den Funktionskörper in eine statische Klasse umgeändert habe.

Answer 1

Funktion Spezialisierung ist seltsam und fast nicht existent. Es ist möglich, eine Funktion vollständig zu spezialisieren, wobei alle Typen beibehalten werden, d. H. Sie stellen eine benutzerdefinierte Implementierung einer Spezialisierung der vorhandenen Funktion bereit. Sie können eine Vorlagenfunktion nicht teilweise spezialisieren.

Es ist wahrscheinlich, dass das, was Sie versuchen, also zu tun mit Überlastung erreicht werden.

template <typename T> T foo(T arg) { return T(); } 
float foo(int arg) { return 1.f; } 

Answer 2

Es gibt keine Funktion Schablonen-Teil Spezialisierung, da gibt es Funktionen Überlastung (und Funktionsschablonen jedoch Funktion Überlastung ist viel begrenzter als Template-Spezialisierung, also was Sie normalerweise tun, ist zurück auf Klassenvorlage Spezialisierungen fallen:

template< typename R, typename T > 
struct foo_impl { 
    static R foo(T) 
    { 
    // ... 
    return R(); // blah 
    } 
}; 

template< typename T > 
struct foo_impl<void,T> { 
    static void foo(T) 
    { 
    // ... 
    } 
}; 

template< typename R, typename T > 
R foo(T obj); 
{ 
    return foo_impl<R,T>::foo(obj); // fine even if R is void 
}