C++ - Single-Template-Spezialisierung mit mehreren Template-Parametern

Question

Hallo!

Ich möchte nur eine von zwei Vorlagentypen spezialisieren. Z.B. template <typename A, typename B> class X sollte eine spezielle Implementierung für eine einzelne Funktion haben X<float, sometype>::someFunc().

Beispielcode:

main.h:

#include <iostream> 

template <typename F, typename I> 
class B 
{ 
public: 
    void someFunc() 
    { 
     std::cout << "normal" << std::endl; 
    }; 

    void someFuncNotSpecial() 
    { 
     std::cout << "normal" << std::endl; 
    }; 
}; 

template <typename I> 
void B<float, I>::someFunc(); 

main.cpp:

#include <iostream> 
#include "main.h" 

using namespace std; 

template <typename I> 
void B<float, I>::someFunc() 
{ 
    cout << "special" << endl; 
} 

int main(int argc, char *argv[]) 
{ 
    B<int, int> b1; 
    b1.someFunc(); 
    b1.someFuncNotSpecial(); 

    B<float, int> b2; 
    b2.someFunc(); 
    b2.someFuncNotSpecial(); 
} 

Compilation nicht für class B. Stimmt es, dass dies in C++ nicht möglich ist? Was wäre die beste Problemumgehung?

[Bearbeiten]

template <float, typename I> void B<float, I>::someFunc(); führt zu main.h: 26: Fehler: 'schweben' ist kein gültiger Typ für einen konstanten Template-Parameter

template <typename I> void B<float, I>::someFunc(); zu main.h führt: 27: Fehler: ungültige Verwendung des unvollständigen Typs 'Klasse B'

Und ich benutze gcc.

[Bearbeiten]

Ich will nicht die ganze Klasse spezialisieren, da es andere Funktionen, die nicht über eine Spezialisierung haben.

Answer 1

Sie haben, um eine partielle Spezialisierung der Klassenvorlage B:

template <typename I> 
class B<float, I> 
{ 
public: 
    void someFunc(); 
}; 

template <typename I> 
void B<float, I>::someFunc() 
{ 
    ... 
} 

Sie können auch festlegen, nur someFunc in der Spezialisierung.

Jedoch wenn Sie nur eine Funktion spezialisieren möchten, und keine Klasse e. G.

template <typename F, typename I> 
void someFunc(F f, I i) { someFuncImpl::act(f, i); } 

template <typename F, typename I> 
struct someFuncImpl { static void act(F f, I i) { ... } }; 

// Partial specialization 
template <typename I> 
struct someFuncImpl<float, I> { static void act(float f, I i) { ... } }; 

Aber Sie können eine Funktionsvorlage nicht ohne diesen Trick spezialisieren.

Answer 2

Although you can totally specialize member functions of a class template, you cannot _partially specialize member functions. - Andrei Alexandrescu

Teil Klasse Spezialisierung wird von den anderen Plakaten erklärt.

Sie können jedoch die Verwendung Überlastung:

template <class T, class U> T fun(U obj); // primary template 
template <class U> void Fun<void, U>(U obj); // illegal pertial 
// specialization 
template <class T> T fun (Window obj); // legal (overloading) 

Wenn Sie tief in diese gehen wollen, können Sie über dieses Thema in der Tiefe in "Moderne C++ Design" von A. Alexandrescu lesen.

Answer 3

Lösung 1. Verschieben Sie alle Implementierungen in eine Basisklasse wie B_Base. Dann spezialisieren Sie sich auf float, um das someFunc zu überschreiben. wie unten

template <typename F, typename I> 
    class B : B_Base<F, I> 
    { 
    } 

    template <typename I> 
    class B<float, I> : B_Base<flat, I> 
    { 
    public: 
     void someFunc() {....} 
    }; 

Lösung 2. Funktion Lastbetrieb, setzen Schwimmer als Ein- oder boost :: is_same zu versenden.leider funktionieren Sie someFunc hat keinen Parameter. Daher muss die Schnittstelle geändert werden.