Allgemein Template-Argument in Template-Funktion

Question

Ich habe eine Template-Klasse, die eine -template- Funktion hat, die einen Zeiger der gleichen Klasse als erstes Argument nimmt, zum Beispiel:

template<class T> 
class Foo{ 
    void f(Foo* foo){} 
} 

Wenn ich es verwende in meinem Hauptfunktion scheint alles zu funktionieren, bis ich eine andere Vorlage für das Argument verwende.

int main(){ 
    Foo<double> f1; 
    Foo<double> f2; 
    f1.f(&f2); //No errors; 

    Foo<bool> f3; 
    f1.f(&f3);//Error : No matching function to call to Foo<double>::f(Foo<bool>*&) 
} 

Offenbar die einzige hier definierte Funktion ist Foo<T>::f(Foo<T>*)

Gibt es eine Möglichkeit, f definieren kann, die eine „generische“ Vorlage Foo Zeiger so nimmt ich es mit jeder anderen Art verwenden kann?

Answer 1

Mit dem Symbol Foo innerhalb der Definition von Foo selbst entspricht Sprichwort Foo<T>. Wenn Sie eine andere Instantiierung Foo unterstützen wollen, machen f eine Template-Funktion:

template <class T> 
class Foo { 
    template <class U> 
    void f(Foo<U>* foo) { } 
};