在比较运算符中:
template<class R1, class R2>
bool operator==(Manager<R1> m1, Manager<R2> m2) {
return m1.internal_field == m2.internal_field;
}
有什么方法可以强制R1和R2必须有超类型或子类型关系？也就是说,我想允许R1从R2派生,或者R2从R1派生,但如果R1和R2是不相关的类型,则不允许比较.