使用基本模板标识符时继承

我有两个模板 A 和 B，它们都具有相同的模板类型。A 始终从 B 继承，但它始终为 B 选择与 A 本身相同的模板。

这本身很好，但这需要我编写两次模板类型。是否可以以某种方式对 A 中的类型进行类型定义，并在从子类继承时引用泛型 typedef 名称？

下面是一些无法编译的示例代码，但应该清楚地了解我想做什么：

// #1
template <typename T>
struct A
{
    typename T type;
    // class details here
};
// #2
template <typename T>
struct B
{
    // class details here
};
// #3
template <>
struct A<int>
    : B<type> // Compiler complains here (type not defined)
    //: B<A::type> // Compiler complains here (type not defined)
    // I could write ": B<int>" instead, but this is repitition I want to avoid
{
    // class specialization details here
};

我愿意接受替代解决方案。这对我来说很重要的原因是我有大量的代码列表，例如 #3 的代码，我想减少重复(以避免错误(。