Heredar una declaración de tipo en presencia de plantillas
¿Hay alguna manera de declarar tipos en una plantilla de clase base y reutilizar esas definiciones en la plantilla de clase secundaria?
Por ejemplo, considere el siguiente intento:
template <typename T_>
struct A {
using T=T_;
};
template <typename T_>
struct B: public A<T_> {
T a;
};
El compilador se queja de que usa el tipoT en la definición deB es ilegal. No espera la creación de instancias para ver que este tipo se hereda de A. Entonces, ¿hay alguna forma de declarar tipos en una plantilla de clase base y reutilizar esas definiciones en la plantilla de clase secundaria?