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

Question

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

这本身很好，但这需要我编写两次模板类型。从子类继承时是否可以以某种方式对 A 中的类型进行 typedef 并引用泛型 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 这样的大量代码清单，我想减少重复（以避免错误）。

Answer 1

同一模板的两个不同特化是完全不相关的类型^*，因此您不能在特化A<int> 内使用基本模板中的A<>::type。即使您在 A<int> 特化中定义了 type，在定义类之前它也不可用，这发生在继承列表之后。

你可以并且你应该在那里使用: B<int>。它与B<type> 没有更多的重复，并明确表明A<int> 继承自B<int>，如果您通过间接方式，这些内容不会立即可见。

你的设计让我感到困扰的另一件事是A<>（通用的）与B<> 没有任何关系，但A<int> 继承自B<int>。虽然该语言允许在专业化中完全不相关的行为，但这可能会让其他程序员感到惊讶，因为他们可以将 A<T> 的对象传递给采用 B<T> 的函数以获取某些 T，但不能传递给其他程序员......

你想要解决的实际问题是什么？

---

^* 这意味着 specialization 不提供 special 行为（即仅与基础不同的位），但是所有该类型的行为。如果您只想覆盖部分行为，您应该考虑其他替代方案，例如将A<T>（通用）重构为基础，以便A<int>（或其他专业化）可以借用实现。或者，如果行为变化很小，您也许可以专门化一些成员函数...