C++中如何避免派生类重复覆写获取类类型的虚函数

针对每个派生类都要重复编写getClassType()的问题，有两种简洁的实现方式可以彻底避免代码重复：

方法一：使用CRTP（奇异递归模板模式） #

通过模板Mixin类复用getClassType()的实现，派生类只需继承该模板并定义自身的静态classType常量即可：

// 先定义类型枚举
enum ClassType { BaseType, DerivedType, AnotherDerivedType };

// 抽象基类，定义接口
class BaseClass {
public:
    virtual ClassType getClassType() const = 0;
    // 必须添加虚析构函数，避免多态场景下的内存泄漏
    virtual ~BaseClass() = default;
};

// CRTP模板Mixin，提供getClassType的通用实现
template<typename Derived>
class ClassTypeProvider : public BaseClass {
public:
    ClassType getClassType() const override {
        // 返回派生类的静态类型常量
        return Derived::classType;
    }
};

// 基类实例（如果需要直接使用BaseClass对象）
class BaseImpl : public ClassTypeProvider<BaseImpl> {
public:
    static constexpr ClassType classType = BaseType;
};

// 派生类1：无需重写getClassType，直接继承模板并定义静态常量
class DerivedClass : public ClassTypeProvider<DerivedClass> {
public:
    static constexpr ClassType classType = DerivedType;
};

// 派生类2：同样的方式快速扩展
class AnotherDerivedClass : public ClassTypeProvider<AnotherDerivedClass> {
public:
    static constexpr ClassType classType = AnotherDerivedType;
};

这种方式的优势在于：

• 完全消除了重复代码，新增派生类只需添加一行静态常量定义
• 编译期确定返回值，性能优于运行时判断
• 无需修改基类即可扩展新的派生类，扩展性极强

方法二：静态成员+基类统一判断（适合不想用模板的场景） #

如果不想使用模板，可以将classType设为每个类的静态成员，然后在基类中通过dynamic_cast识别类型并返回对应值：

enum ClassType { BaseType, DerivedType, AnotherDerivedType };

class BaseClass {
public:
    ClassType getClassType() const {
        if (dynamic_cast<const DerivedClass*>(this)) {
            return DerivedClass::classType;
        } else if (dynamic_cast<const AnotherDerivedClass*>(this)) {
            return AnotherDerivedClass::classType;
        }
        return BaseType;
    }

    static constexpr ClassType classType = BaseType;
    virtual ~BaseClass() = default;
};

class DerivedClass : public BaseClass {
public:
    static constexpr ClassType classType = DerivedType;
};

class AnotherDerivedClass : public BaseClass {
public:
    static constexpr ClassType classType = AnotherDerivedType;
};

注意：这种方式的缺点是每新增一个派生类，都需要修改基类的getClassType()函数，扩展性较差，仅适合派生类数量固定的场景。

额外提示 #

• 无论采用哪种方案，都必须给基类添加虚析构函数，否则通过BaseClass*指针删除派生类对象时会触发未定义行为。
• 如果你的场景中已经在使用dynamic_cast转换类型，其实可以直接用dynamic_cast的结果判断类型（转换成功则为对应派生类），甚至可以完全省去getClassType()函数——不过如果类型判断逻辑较多，保留类型枚举会更清晰。

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