c++ - 如何使多个模板类具有相同的类型

Question

有两个模板类A和B。如何强制它们被实例化为相同的类型而不是相互嵌套？例如如果我像下面这样定义这两个类:

template <class T> 
class A {};

template <class T> 
class B {};

那么用户可能会做这样的事情A<int> a;和 B<float> b;

我想强制 A 和 B 具有完全相同的类型，但我不希望它们相互嵌套。所以当有人使用这两个类时，A 和 B 必须具有相同的类型。有什么办法吗？设计此类类(class)的最佳做法是什么？

谢谢

Answer 1

您不必将它们嵌套在一起，但您可以将它们嵌套在第三种类型中:

template<class T>
struct C {

    typedef A<T> A;
    typedef B<T> B;

};

客户端只通过C访问:

C<T>::A a;
C<T>::B b;