![](/img/trans.png)
[英]Partially specialized template static constexpr in template class
[英]How to make a friend of a partially specialized template class to another partially specialized template class?
我需要一个模板专用类来与另一个模板专用类交friend
。
例:
template <class A, class B>
class X { };
template <class A, class B>
class Y { };
现在,我只希望这些模板类的某些特定专业成为朋友:
我试过了
template <class A>
class X <A, bool> { };
template <class A>
class Y <A, bool>
{
// X<A, bool> shall be friend!
template<class _C> using X_partial = X<_C,bool>;
template<class _D> friend class X_partial;
};
和这个,
template <class A>
class X <A, bool> { };
template <class A>
class Y <A, bool>
{
// X<A, bool> shall be friend!
template<class C> friend class X<class C,bool>
};
但是两者都给出了错误。
该语法可以支持C ++(03),C ++ 11或C ++ 14。
朋友声明不能声明部分专业化。 看这里 。
朋友声明不得声明部分专业。 [示例:
template<class T> class A { }; class X { template<class T> friend class A<T*>; // error };
—结束示例]
然而,如果“初始”类型A
是相同的,然后友情提供到正确的专业化,它是如下;
template <class A, class B>
class Y { };
template <class A, class B>
class X {
public:
// fails to compile when instantiated
//X() { Y<A, bool> y; y.i = 42; }
};
template <class A>
class Y <A, bool>
{
// partial specialisation provided friendship
friend class X<A, bool>;
int i = 0;
};
template <class A>
class X <A, bool> {
public:
X() { Y<A, bool> y; y.i = 42; }
};
int main()
{
X<int, bool> x1;
// fails to compile.
X<int, int> x2;
}
在线样品 。
哪里有问题? 在问这个问题之前,您尝试过什么?
// Templated class X
template <class A, bool>
class X {
};
// Templated class Y
template <class A, bool>
class Y {
// Any specialized A is a friend of any specialized B
template <class B, bool> friend class X;
};
编辑:更新您在问题评论中提供的课程。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.