如何设计嵌套类为同一类型的嵌套模板类

Question

对于我的家庭作业，我必须创建一个链表，它必须是一个模板类。分配调用一个名为 List 的模板类和另一个名为 Link 的嵌套模板类。

方法应该在类定义之外定义。

我首先创建了一个简单版本的作业，它正在运行，但我觉得我的设计有错误。

#include <iostream>
using namespace std;

template <class T1>
class A
{
public:
  template <class T2>
  class B;

  T1    _a;
};

template <class T1>
template <class T2>
class A<T1>::B
{
public:
  T2 _b;
};

int main()
{
  A<int> a;
  a._a = 5;

  A<int>::B<int> b;
  b._b = 10;

  cout << a._a << " " << b._b << "\n";


  return 0;
}

我的主要问题是，由于嵌套类将具有相同的类型，正如您从语句 A<int>::B<int> b; 中看到的那样，有没有办法让 B 类自动与 A 具有相同的类型？我的问题甚至有意义吗？换句话说，我可以将A<int>::B b; 和 b 自动与 A 类型相同吗？例如，我永远不会有A<double>::B<int>; 的情况。

Answer 1

是的，只是让B 不是模板。在B的定义中T1仍然引用A的模板参数。

template <class T1>
class A
{
public:
  class B;

  T1    _a;
}

现在，不是A<int>::B<int>，而是简单的A<int>::B。

List<int>::Link<double> 无论如何都没有意义，所以作为模板没有意义。

Answer 2

我不明白为什么你认为你的内部类需要一个模板。您是否尝试过将其声明为非模板类​​？例如

template <class T1>
class A
{
public:
  class B;
private:    
  T1    _a;
};

template <class T1>
class A<T1>::B
{
  T1 _b;
};

（另外，虽然我知道这只是一个示例，但我建议不要编写具有 public 数据成员的类）