Question

我有以下简化代码：

template <class T>
class A
{
public:
    template <class U>
    static U foo(T* p)
    {
        p;
        return U();
    }
};

class B
{
    /*template <class T>
    template <class U>
    friend U A<T>::foo<U>(T*);*/
    friend B A<B>::foo<B>(B*);
    B()
    {}
public:
};
...
A<B>::foo<B>(nullptr);

它运作良好。但我没有做过的事情被评论：

/*template <class T>
template <class U>
friend U A<T>::foo<U>(T*);*/

我不知道我应该使用什么语法来使它工作。所以我需要将我的朋友声明推广到所有可能的类型。我已经尝试了很多语法变体但没有成功。有人可以指出我应该写什么而不是我的注释代码才能使它有效？谢谢！

Answer 1

您正在寻找的是

template <class T>
template <class U>
friend U A<T>::foo(T*);

以下适用于IdeOne.com

#include <iostream>

template <class T>
class A
{
public:
  template <class U>
  static U foo(T* p)
  {
    p;
    return U();
  }
};

class B
{
  template <class T>
  template <class U>
  friend U A<T>::foo(T*);

  B() {}

public:
  void hello() const
  {
    std::cout << "I'm a B!" << std::endl;
  }
};

int main(int, char*[])
{
  A<B>::foo<B>(NULL).hello();
}

Answer 2

我同意其他评论者，朋友和模板根本不要混合，至少不能以一致的方式与各种编译器混合使用。该标准可能确切地说明了应该的工作原理，尽管这可能对您没有帮助。悲伤却又是真的。

无论如何，朋友通常不是一个好主意，考虑如何在没有友谊的情况下编写代码，或者使用公共方法的“穷人的朋友”并注释表明它不适用于一般用途可能更好。< / p>

模板类的朋友模板功能

2 个答案: