为什么模板函数不能是模板类的朋友模板函数？

Question

我正在学习一个视频教程，我想声明一个模板函数作为模板类的朋友。我不知道为什么代码会抛出错误。

template<class T>class C;
template<class T>void doSomething2(T);
template<class T>class C{
    int b;
    friend void doSomething2(T);

};
template<class U>void doSomething2(U u){
    C<U> obj;
    obj.b=100;
}
int main()
{
    C<int> obj;
    int a=44;
    doSomething2(a);
    return 0;
}

编译器抛出错误。

错误：

templates\u friends\u 38。cpp：在“void doSomething2（T）[T=int]”的实例化中：templates\u friends\u 38。cpp:40:19：此处需要templates\u friends\u 38。cpp:32:9：错误：“int C：：b”在此上下文obj中是私有的。b=100；~~~^templates\u friends\u 38。cpp:25:9：注：此处声明私有int b^

Answer 1

friend void doSomething2（T），您将一个名为doSomething2的新非模板函数声明为friend，这不是您所期望的函数。

您需要指定doSomething2是一个函数模板，例如。

friend void doSomething2<T>(T);
//                      ^^^

或者利用模板参数推导，只写

friend void doSomething2<>(T);
//                      ^^

现场直播

Answer 2

您需要添加

template<class T>class C;
template<class T>void doSomething2(T);
template<class T>class C{
    int b;
    friend void doSomething2<>(T);

};
template<class U>void doSomething2(U u){
    C<U> obj;
    obj.b=100;
}
int main()
{
    C<int> obj;
    int a=44;
    doSomething2(a);
    return 0;
}