c++ - 在模板层次结构中继承类型声明

Question

考虑一下:

template <typename T>
struct A {
    using MyType1 = ...;
    using MyType2 = ...;
    using MyType3 = ...;
    using MyType4 = ...;
    using MyType5 = ...;
    ...
};

template <typename T>
struct B: A<T> {
    using MyType1 = typename A<T>::MyType1;
    using MyType2 = typename A<T>::MyType2;
    using MyType3 = typename A<T>::MyType3;
    using MyType4 = typename A<T>::MyType4;
    using MyType5 = typename A<T>::MyType5;
    ...
};

template <typename T>
struct C: A<T> {
    using MyType1 = typename A<T>::MyType1;
    using MyType2 = typename A<T>::MyType2;
    using MyType3 = typename A<T>::MyType3;
    using MyType4 = typename A<T>::MyType4;
    using MyType5 = typename A<T>::MyType5;
    ...
};

... // Many more classes in the hierarchy 
    // with all the type declarations duplicated in each of them.

有什么方法可以缩短它吗？

一个相关question被问到，但没有说明重复有多糟糕，也没有收到任何回复。

Answer 1

如果您不想在派生类中导入或重新声明类型名，您至少需要告诉编译器在派生类层次结构中查找类型名。

您可以使用派生类的名称作为限定范围来执行此操作:

typename B::MyType1 x;

如果 B 是一个长名字，或者你希望能够在 B 和 C 之间自由移动代码，你可以按照惯例添加类开头的 typedef:

template <typename T>
struct B: A<T> {
    using ThisType = B;
    // ...
    typename ThisType::MyType1 x;
};