如何让子类继承模板基类的using类型声明并直接使用？

问题原因 #

你的代码编译失败，是因为Parent<CONFIG>属于依赖基类（其定义依赖于模板参数CONFIG）。在模板Child的定义阶段，C++编译器不会自动在依赖基类中查找非限定的名称（比如Type）——因为编译器无法提前确定不同的CONFIG实例会给Parent带来哪些成员，所以需要你显式告诉编译器这个名称来自依赖基类。

解决方案 #

有两种简洁的方式实现你的需求，让子类无需重复声明所有类型：

方案1：在子类中添加using声明（推荐） #

在Child中用using语句导入基类的类型别名，只需一次声明，就能在子类中直接使用所有导入的类型：

template<class CONFIG>
struct Parent
{
    using Type = typename CONFIG::Type;
    // 其他更多类型...
};

template<class CONFIG>
struct Child : public Parent<CONFIG>
{
    // 导入基类的Type类型，多个类型可以依次添加
    using typename Parent<CONFIG>::Type;
    // using typename Parent<CONFIG>::AnotherType; // 如果有其他类型

    void x(Type p){}     // 现在可以正常识别Type
};

struct Config
{
    using Type = int; 
    // 其他更多类型...
};

int main() 
{
    Child<Config> c;
    return 0;
}

方案2：使用时显式限定类型 #

如果不想添加using声明，也可以在使用类型时明确指定基类作用域，但这种方式需要每次使用都写限定符，不如方案1简洁：

template<class CONFIG>
struct Child : public Parent<CONFIG>
{
    void x(typename Parent<CONFIG>::Type p){}     // 显式限定类型
};

说明 #

方案1的优势在于，每个子类只需一次using声明就能复用基类中所有的类型定义，完全符合你“多个Child子类无需重复声明自己的using语句”的需求——基类中新增的类型，子类只要添加对应的using声明即可直接使用，无需在每个成员函数中重复限定。

内容的提问来源于stack exchange，提问作者user997112