通过基类继承隐藏实现是否合法？代码实现有效性问询

我写的类包含大量私有成员，每次修改私有实现都要改动头文件，这让我很烦。我写了下面这段代码，gcc和clang编译都没报错，但我对创建Oscar对象后在DoSomething里的类型转换部分存疑，不过已经加了static_assert来避免低级错误，想问问这段代码到底合法吗？

main.h #

class Oscar {
protected:
    int _a=0, _b=0;
public:
    //Common function that is used in many files
    int a() { return _a; }
    int a(int val) { return (_a=val); }
    int Work(int val) { _b += val; return _a + _b; }
};

main.cpp #

#include "main.h"
class OscarImpl : public Oscar {
public:
    //Complex and private functions only used in this file
    int MoreWork(int val) {
        return _a*val + _b;
    }
};
static_assert(sizeof(OscarImpl) == sizeof(Oscar));

int DoSomething(Oscar&o_) {
    auto&o=*(OscarImpl*)&o_;
    return o.MoreWork(25);
}

int main(int argc, char *argv[]) {
    Oscar obj;
    return DoSomething(obj);
}

这段代码不合法，属于C++标准定义的未定义行为，核心原因如下：

• C++只允许将派生类对象的指针/引用安全向上转型为基类类型；反过来把基类对象的指针/引用强制转换为派生类类型（向下转型），哪怕两个类内存大小一致，也完全不符合标准规范。
• static_assert(sizeof(OscarImpl) == sizeof(Oscar))只能保证内存占用相同，但无法规避类型转换的本质问题——编译器可能因优化策略、后续添加虚函数导致的虚表变化等因素，引发崩溃或逻辑混乱。
• 这种写法是强行绕过C++类型系统，当前编译运行可能看似正常，但后续维护或编译器版本更新时，极容易出现难以排查的问题。

如果想解决“修改私有实现就要改头文件”的痛点，更合理的方案是使用Pimpl（指针指向实现）惯用法：

• 头文件只公开类的对外接口，用一个私有指针指向内部实现类；
• 实现类的完整定义放在cpp文件中，后续修改实现细节时只需改动cpp文件，头文件保持不变，不会影响其他引用该头文件的代码。

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