如何在模板类中匹配模板友元函数

Question

我有一个模板类，它声明了一个友元函数，它本身就有模板参数。代码如下所示：

template <class T>
class C;

template <class T, class U>
void func(C<T>& t);

template <class T>
class C
{
    template <class U>
    friend void func<T, U>(C<T>& t);
private:
    template <class U>
    void f()
    {

    }
};

template <class T, class U>
void func(C<T>& t)
{
    t.f<U>();
}

但是当我尝试调用func时，我在friend行遇到了编译错误：

  

'func'：找不到匹配的重载函数

如何与func<T, U>建立C<T>朋友？

Answer 1

关键问题是您声明的朋友与您之前提供的声明不同。第一个需要两个模板参数，但是您定义的第二个（朋友）只接受一个。一旦解决了，一切正常：

template <class T>
class C;

template <class U, class T>
void func(C<T>& t);

template <class T>
class C
{
    template <class U, class TT>
    friend void func(C<TT>& t);
private:
    template <class U>
    void f()
    {

    }
};

template <class U, class T>
void func(C<T>& t)
{
    t.template f<U>();
}

int main() {
    C<int> c;
    func<bool>(c);
}

Watch it live

注意我已切换U和T，因为我认为您可能需要T推断并U明确指定。