c++ - 无法理解模板类中的友元函数

Question

这是我为理解这个概念而编写的代码。代码很好，可以运行。

我不明白为什么需要标记线？

template <class T>
class D
{
    public :
    template <class P>  //<------------------Why is this needed ? --------------
    friend void print(D <P> obj);
};

template <class T>
void print(D<T> obj)
{std::cout<<sizeof(T);};


int main()
{
    D <char>obj3;
    print(obj3);
    return 0;
}

或者换句话说，为什么以下不运行？

template <class T>
class D
{
    public :
    friend void print(D <T> obj);
};

Answer 1

根据 [temp.friend]，您必须提供显式模板参数才能使模板函数的特化成为友元：

template <class T>
class D
{
    public :
    friend void print<T>(D <T> obj);
};

没有它，编译器将寻找一个函数print()，而不是一个函数模板print()。