c++ - 如何在 C++ 中将模板类声明为友元

Question

我想知道我们是否可以将部分特殊类作为 friend 类。

template< class A, class B >
class AB{};

class C;

template < class B >
class AB< C, B >{};

class D{
     template< class E > friend class AB< D, E >;
}

如何实现上述目标。

Answer 1

C++ 标准 (§14.5.3/9) 不允许这样做:

Friend declarations shall not declare partial specializations. [Example:

template<class T> class A { };
class X {
    template <class T> friend class A<T*>;   //error
};

--end example]

所以基本上，您可以将 AB 的所有实例化为 D 的友元，或者仅将一个特定实例化。 This IBM page描述了在 friend 和模板方面可以实现的不同关系:“一对一”、“一对多”、“多对一”和“多对多”(但不是如您所问的“一对一”)。