模板函数中的通用模板参数

Question

我有一个模板类，它有一个 -template- 函数，它接受与第一个参数相同的类的指针，例如：

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

当我在我的主函数中使用它时，一切似乎都在工作，直到我为参数使用不同的模板。

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>*&)
}

显然，这里定义的唯一函数是Foo<T>::f(Foo<T>*)

有什么方法可以定义f，它采用“通用”模板Foo 指针，以便我可以将它与任何其他类型一起使用？

Answer 1

在Foo 本身的定义中使用符号Foo 相当于说Foo<T>。如果您想支持Foo 的任何其他实例化，请将f 设为模板函数：

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