C++实现Java风格EnumWrapper时模板参数访问未定义成员报错如何解决

• 你的实现采用了奇异递归模板模式（CRTP），派生类Planet作为模板参数传递给基类Enum时，Planet仅完成声明尚未完成定义，属于不完整类型。如果基类Enum的定义中存在需要完整类型才能执行的操作（比如访问派生类成员、计算派生类大小、定义派生类实例、调用派生类构造函数），就会触发「invalid use of incomplete Type」错误。

1. 调整基类成员实例化时机 #

把所有需要访问派生类完整类型的操作，从基类的类定义体挪到类外实现，或者放到成员函数内部（成员函数的实例化会推迟到被调用时，此时派生类已经完成定义）。
参考基类实现：

template<typename T, int len>
class Enum {
protected:
    // 仅声明构造，不涉及派生类操作
    explicit Enum(int value, const char* name) : m_value(value), m_name(name) {}
public:
    // 基础属性接口
    int value() const { return m_value; }
    const char* name() const { return m_name; }
    // 支持switch的int转换
    operator int() const { return m_value; }
    // 支持作为map键的比较运算符
    bool operator<(const Enum& other) const { return m_value < other.m_value; }
    
    // 枚举实例列表放在函数内部，实例化时机推迟到调用时
    static const T* values() {
        static T instances[len];
        return instances;
    }
private:
    int m_value;
    const char* m_name;
};

2. 派生类实现规则 #

派生类只需要定义自有属性和枚举项声明，所有静态实例的定义放到派生类完整定义之后，避免触发不完整类型检查：

// 派生类声明后即可作为CRTP参数传入基类
class Planet : public Enum<Planet, 3> {
public:
    // 自定义业务属性接口
    double mass() const { return m_mass; }
    double radius() const { return m_radius; }
private:
    // 开放构造权限给基类
    friend class Enum<Planet, 3>;
    Planet(int value, const char* name, double mass, double radius) 
        : Enum<Planet, 3>(value, name), m_mass(mass), m_radius(radius) {}
    double m_mass;
    double m_radius;
public:
    // 枚举项仅做声明
    static const Planet MERCURY;
    static const Planet VENUS;
    static const Planet EARTH;
};

// 派生类完整定义后，再初始化静态枚举实例，此时Planet是完整类型
const Planet Planet::MERCURY = Planet(0, "MERCURY", 3.303e23, 2.4397e6);
const Planet Planet::VENUS = Planet(1, "VENUS", 4.869e24, 6.0518e6);
const Planet Planet::EARTH = Planet(2, "EARTH", 5.976e24, 6.37814e6);

3. 功能验证 #

你要求的使用场景均可以正常支持：

#include <iostream>
#include <map>
int main() {
    // 支持switch语句
    Planet p = Planet::EARTH;
    switch(p) {
        case 0: std::cout << "水星" << std::endl; break;
        case 1: std::cout << "金星" << std::endl; break;
        case 2: std::cout << "地球" << std::endl; break;
    }
    // 支持作为map的键
    std::map<Planet, std::string> planet_map;
    planet_map[Planet::MERCURY] = "距离太阳最近";
    planet_map[Planet::VENUS] = "太阳系温度最高";
    // 支持访问自定义类属性
    std::cout << Planet::EARTH.name() << "质量：" << Planet::EARTH.mass() << "kg" << std::endl;
    return 0;
}

• 基类中不要定义派生类类型的非静态成员变量，否则计算基类内存布局时需要派生类大小，会触发不完整类型错误。
• 如果需要在基类中访问派生类的自定义成员，要把对应逻辑封装成基类的成员函数，调用时机放到派生类定义完成之后。

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