类型擦除场景下将擦除类型对象转为具体类型的问题排查

你的代码核心问题在于直接使用static_cast进行多态基类到派生类的指针转换，且未做类型检查，这会导致未定义行为（比如输出随机数字）。即使逻辑上你认为v[0]存储的是Obj1类型，一旦实际类型不匹配，static_cast会返回无效指针，访问其成员会触发未定义行为。

错误原因 #

Object::Concept是虚基类，Object::Model<T>是其派生类。对于多态类型的转换，static_cast不会进行运行时类型检查——如果指针实际指向的不是Model<Obj1>实例，转换结果是无效的，访问m1->object.i会读取错误内存地址的值，表现为随机数字。

正确解决方案 #

1. 先检查类型，再安全转换

在转换前，先调用getType()确认对象类型，再使用dynamic_cast（会进行运行时类型检查）转换，并验证转换结果：

std::vector<Object> v;
v.emplace_back(Object(Obj1(11)));
v.emplace_back(Object(Obj2("test")));

Object o1 = v[0];
if (o1.getType() == ObjType::ObjType1) {
    auto c1 = o1.object.get();
    auto m1 = dynamic_cast<Object::Model<Obj1>*>(c1);
    if (m1 != nullptr) {
        std::cout << m1->object.i << std::endl; // 输出11
    } else {
        std::cout << "类型转换失败" << std::endl;
    }
}

2. 封装安全的类型获取接口

在Object中添加模板成员函数，封装类型检查和转换逻辑，让使用更便捷：

struct Object
{
   // ... 原有代码 ...

    template<typename T>
    T* get() {
        // 先检查类型是否匹配
        if (object->getType() != T{}.getType()) {
            return nullptr;
        }
        // 动态转换并返回指针
        if (auto model = dynamic_cast<Model<T>*>(object.get())) {
            return &model->object;
        }
        return nullptr;
    }

    // 常量版本
    template<typename T>
    const T* get() const {
        if (object->getType() != T{}.getType()) {
            return nullptr;
        }
        if (auto model = dynamic_cast<const Model<T>*>(object.get())) {
            return &model->object;
        }
        return nullptr;
    }
};

使用方式：

if (auto obj1_ptr = o1.get<Obj1>()) {
    std::cout << obj1_ptr->i << std::endl; // 输出11
} else {
    std::cout << "不是Obj1类型" << std::endl;
}

3. 优化Model的构造效率

你的Model构造函数只支持拷贝构造，对于右值参数可以添加移动构造版本，避免不必要的拷贝：

template<typename T>
struct Model : Concept
{
    Model(const T& t) : object(t) {}
    Model(T&& t) : object(std::move(t)) {} // 移动构造
    T object;
    ObjType getType() const override { return object.getType(); }
};

补充说明 #

你原代码逻辑上如果没有其他错误，运行应该输出11，但出现随机数字大概率是因为实际类型不匹配（比如误将Obj2存入了v[0]）或编译环境的特殊情况。使用dynamic_cast并检查结果是保证类型安全的关键。

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