如何移除UI视图类pimpl实现中的static_cast？

我正在构建封装平台特定UI类的C++视图类层级，采用pimpl惯用法隐藏头文件实现细节。Impl结构体包含指向平台层级类的指针（PS为platform specific缩写）。当前所有View子类都需要大量使用static_cast转换平台特定类型，希望通过优化Impl结构体的定义，让编译器自动识别类型，省去这类重复转换。

现有代码示例 #

.hh 文件

class View {
public:
    virtual ~View() = default;
    // 其他公共方法
protected:
    struct Impl;
    Impl *impl;
    View();
    View(Impl *impl);
};

class Button: public View {
public:
    Button();
    void setText(const string &text);
};

.cc 文件

View::View() :impl(nullptr) {}
View::View(Impl *impl) :impl(impl) {}

struct View::Impl {
    PSView *psView;
};

// View类的其他实现
void View::doStuff() {
    // 直接使用impl->psView，无需转换
}

Button::Button() {
    PSButton *b = new PSButton();
    impl = new Impl{b};
}

void Button::setText(const string &text) {
    // 需要static_cast转换平台类型
    PSButton *myImpl = static_cast<PSButton*>(impl->psView);
    myImpl->setTitle(text);
}

解决方案：为子类定义专属Impl结构体 #

通过让每个View子类拥有自己的Impl结构体并继承基类的View::Impl，可以直接持有对应平台类型的指针，避免对平台对象的重复转换。

修改后的代码实现

调整.hh 文件（仅需为Button添加Impl前置声明）

class View {
    // 原有代码不变
};

class Button: public View {
public:
    Button();
    void setText(const string &text);
protected:
    struct Impl; // 子类专属Impl结构体声明
private:
    Impl* getImpl(); // 封装类型转换的辅助函数
};

修改.cc 文件

// 基类Impl添加虚析构，确保子类Impl能正确析构
struct View::Impl {
    virtual ~Impl() = default;
    PSView *psView;
};

// 子类Button的Impl结构体，继承自View::Impl
struct Button::Impl : public View::Impl {
    PSButton* psButton; // 直接持有PSButton指针，无需从psView转换
};

// 辅助函数：封装Impl指针的类型转换，避免重复写static_cast
Button::Impl* Button::getImpl() {
    return static_cast<Button::Impl*>(impl);
}

// Button构造函数：初始化子类Impl
Button::Button() {
    auto* psBtn = new PSButton();
    auto* btnImpl = new Button::Impl();
    btnImpl->psView = psBtn; // 基类成员赋值，保证View类的正常使用
    btnImpl->psButton = psBtn; // 直接持有子类平台对象指针
    impl = btnImpl;
}

// setText方法：直接使用子类Impl中的psButton，无需转换平台对象
void Button::setText(const string &text) {
    getImpl()->psButton->setTitle(text);
}

方案优势 #

1. 消除重复的平台类型转换：每个子类的Impl直接持有对应平台类型的指针，无需每次调用方法都对psView做static_cast。
2. 类型安全：通过子类专属的Impl结构体，编译器能在编译期检查类型正确性，避免错误的转换。
3. 代码简洁：将Impl指针的转换封装到getImpl()辅助函数中，子类方法实现更简洁。

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